ACSD 2005: Appel à communications
Téléchargez l'appel à communications
en PDF ou texte (en anglais).
La date limite de soumission des article est repoussée au 17 décembre
Dates importantes et informations diverses
6-9 Juin 2005, Palais du Grand Large, St Malo, France
Thèmes de la conférence
La Conférence Internationale sur l'application de la
concurrence au design de systèmes (ACSD) est un forum pous la
dissémination de résultats théoriques, de
méthodes et d'outils servant à la conception de
systèmes concurrents et complexes. Bien que le domaine de
recherche ait enregistré plusieurs succès importants ces
dernières années, il reste nécessaire re
rapprocher théorie et pratique. Le but de la conférence
est que ces deux types de recherches s'alimentent mutuellement,
notamment sur les sujets suivants:
- Méthodes pour la conception de systèmes synchrones
et asynchrones fondées sur des modèles de concurrence
(flots de données, automates communicants, réseaux de
Petri,algèbres de processus, statecharts, MSCs etc.).
- Méthodes de conception correctes par construction, et
intégration de techniques de vérification dans le
processus de conception.
- Conception Synchrone / asynchrone et interfaces de communication
: Systèmes globalement Asynchrones et localement synchrones.
- Co-design Hardware / software à partir de
spécifications communes.
- Problèmes de concurrence dans les systèmes sur
silicium (en particulier, l'utilisation de méthodes formelles pour la
conception et la vérificatication de protocoles).
Organisation
- Benoît
Caillaud (IRISA / INRIA Rennes), responsable de l'organisation
- Jörg Desel (Katholische Universität
Eichstätt-Ingolstadt, Germany), président du comité
de programme
- Yosinori Watanabe (Cadence, USA), vice président du
comité de programme
Comité de pilotage
- A. Yakovlev (Univ. of Newcastle upon Tyne, UK), président
- J. Cortadella (Univ. Politecnica de Catalunya, Spain)
- J. Desel (Katlische Univ. Eichstatt, Germany)
- A. Kondratyev (Cadence, USA)
- L. Lavagno (Politecnico di Torino, Italy)
- A. Valmari (Tampere Univ. of Technology, Finland)
Comité de Programme
- Jörg Desel (Katholische Universität
Eichstätt-Ingolstadt, Germany), président du comité
de programme
- Yosinori Watanabe (Cadence, USA), vice président du
comité de programme
- D.K. Arvind (University of Edinburgh, Scotland)
- Twan Basten (Eindhoven University of Technology, The Netherlands)
- Jonathan Billington (University of South Australia, Australia)
- Marius Bozga (VERIMAG, France)
- Franck van Breugel (York University, Canada)
- Manfred Broy (Technische Universität München, Germany)
- Paul Caspi (VERIMAG, France)
- Werner Damm (Universität Oldenburg, Germany)
- Heiko Dörr (DaimlerChrysler Research, Germany)
- Stephen Edwards (Columbia University, USA)
- Javier Esparza (Universität Stuttgart, Germany)
- Ursula Goltz (Technische Universität Braunschweig, Germany)
- Radu Grosu (SUNY at Stony Brook, USA)
- Thomas Henzinger (EPFL Lausanne, Switzerland)
- Ryszard Janicki (McMaster University, Canada)
- Kurt Jensen (University of Aarhus, Denmark)
- Bengt Jonsson (Uppsala University, Sweden)
- Mark Josephs (London South Bank UNiversity, England)
- Sri Kanajan (General Motors Research, USA)
- Michael Kishinevsky (INTEL, USA)
- Erwin de Kock (Philips Research, The Netherlands)
- Robert Kurshan (Cadence, USA)
- Luciano Lavagno (Politecnico de Torino, Italy)
- Johan Lilius (TUCS and Aabo Akademi University, Finland)
- Ricardo Machado (Universidade do Minho, Portugal)
- Miroslaw Malek (Humboldt-Universität zu Berlin, Germany)
- John Moondanos (INTEL, USA)
- Laure Petrucci (Université Paris Nord, France)
- Jan Rabaey (University of California at Berkeley, USA)
- Anders Ravn (Aalborg University, Denmark)
- Enric Pastor (Universitat Politecnica de Catalunya, Spain)
- Wojciech Penczek (Polish Academy of Science and University of
Podlasie, Poland)
- P.S. Thiagarajan (National University of Singapore)
- Antti Valmari (Tampere University of Technology, Finland)
- Alex Yakovlev (University of Newcastle upon Tyne, England)
- Tomohiro Yoneda (National Institute of Informatics, Japan)
- Qiang Zhu (Fujitsu Labs, Japan)
- Wlodek Zuberek (Memorial University of Newfoundland, Canada)
Actes
Les actes de la conférence seront le plus probablement
publiés par la IEEE Computer Society
Press.
Contributions
Les contributions doivent se faire de préférence au
format IEEE CS Press, double colonne, (voir le lien //pubftp.computer.org/Press/Outgoing/proceedings/instruct.pdf),
et ne doivent pas dépasser 10 pages. La page de garde doit
indiquer l'adresse postale et le courriel de l'auteur à
contacter, ses numéros de téléphone, de fax, et
présenter un résumé de 60 mots. La date limite
pour la soumission d'une contribution est le 10
Décembre 2004. Les soumission de contributions seront faites de
manière électronique. Des informations
complémentaires seront bientot disponibles sur le site web de la
conférence.
Les articles acceptés apparaîtront dans les actes de la
conférence, et seront le plus probablement publiés par la
IEEE Computer Society Press.
Démonstrations d'outils
Les soumissions concernant des démonstrations d'outils ne
doivent pas excéder 2 pages, et doivent être
envoyées à Hervé
Marchand
<Herve.Marchand@irisa.fr> pour le 4 Février 2005.
Comité d'organisation
- Edith Blin (IRISA / INRIA Rennes)
- Benoît Caillaud (IRISA / INRIA Rennes),
Responsable de l'organisation
- Myriam David (IRISA / INRIA Rennes)
- Loïc Hélouët, (IRISA / INRIA
Rennes), pages web, communication
- Elisabeth Lebret (IRISA / INRIA Rennes)
- Hervé Marchand, (IRISA / INRIA Rennes),
demonstrations d'outils
- Laure Petrucci, (LIPN / Univ. Paris Nord),
conférences associées
- Sophie Pinchinat, (IRISA / Univ. Rennes 1)
Sponsors et Coopérations
La conférence est organisée en collaboration avec ACM SIGDA and SIGSOFT. Elle est
sponsorisée par l'INRIA
et probablement dans un futur proche par les institutions suivantes
: University
of Rennes 1, Conseil
général d'Ille et
Vilaine, Conseil
régional de Bretagne et la and Ville de St
Malo.
Dates importantes
- Date limite de soumission: 17 décembre 2004
- Date limite pour la soumission d'une démonstration
d'outil: 8 avril 2005
- Notification d'acceptation: 24 mars 2005
- Date limite pour la version finale: 8 avril 2005
- Conférence: 6-9 juin 2005
Liens