Le but de la conférence CONCUR est de rassembler les chercheurs,
les développeurs et les étudiants interessés dans la théorie du parallélisme
(concurrency en anglais), et dans ses applications. L'interêt de ce
domaine va grandissant, de pair avec l'importance des systèmes et
applications distribués et le besoin induit de fondements scientifiques.
Les sujets d'interêt de CONCUR'98 couvrent tous les aspects de la sémantique,
de la logique et des méthodes de modélisation et d'analyse des systèmes
parallèles. La liste non-exhaustive des thèmes particuliers comprend:
modèles de comportements et domaines sémantiques,
algèbres de processus, réseaux de Petri, structures d'évènement,
systèmes temps-réel, réactifs, hybrides,
décidabilité, analyse par modèle, techniques de vérification,
techniques de raffinage, réécriture de termes et de graphes,
programmation distribuée, programmation logique avec contraintes,
programmation par objets, systèmes de typage et algorithmes,
applications, études de cas, outils logiciels et environnements de
programmation et de vérification.
Les papiers soumis ne doivent pas excéder 15 pages. Les
soumissions électroniques en Postscript(tm) sont
préférées. Suivez les instructions de la procédure de
soumission électronique (en englais) ou envoyez un courrier
électronique à c98-subm@sophia.inria.fr
avec, pour sujet, les mots
submission information. En cas de
soumission par courrier physique, cinq exemplaires de
l'article seront envoyés à l'adresse:
Concur'98,
INRIA Sophia-Antipolis,
BP 93,
F-06902 Sophia-Antipolis Cedex
France
Nice
est idéalement située sur la
Côte d'Azur française. Septembre
est encore une période de baignade estivale, sans les excès d'affluence
touristique des mois précédents.
L'aéroport
international de Nice est le second aérogare de France,
connecté à des villes importantes du monde entier.
L'hôtel Novotel est idéalement placé, en plein centre ville et
à proximité de la Vieille Ville.
M. Abadi (Digital, Systems Research Center)
A. Asperti (University of Bologna)
J. Bradfield (University of Edinburgh)
E. Clarke (Carnegie Mellon University)
R. de Simone (INRIA Sophia-Antipolis, co-chair)
J. Esparza (Technische Universitat Munchen)
P. Gastin (University of Paris 7)
R. van Glabbeek (Stanford University)
G. Gonthier (INRIA Rocquencourt)
M. Hennessy (Sussex University)
O. Maler (Verimag Grenoble)
F. Moller (Uppsala University)
U. Montanari (University of Pisa)
M. Mukund (SMI Madras)
M. Nielsen (University of Aarhus)
P. Panangaden (Mc Gill University)
J. Parrow (Royal Institute of Technology)
A. Rensink (University of Hildesheim)
D. Sangiorgi (INRIA Sophia-Antipolis, co-chair)
C. Talcott (Stanford University)
J. Winkowski (Polish Academy of Sciences)
Steering Committee
Le Steering Committee de la conférence CONCUR est composé de
Jos Baeten (chair, Eindhoven), Eike Best (Oldenburg),
Kim Larsen (Aalborg), Ugo Montanari (Pisa), Scott Smolka (Stony Brook) et
Pierre Wolper (Liege).
Actes
Les Actes de la Conférence seront publiés par Springer-Verlag
dans la série LNCS.
Le comité d'organisation se compose d'Amar Bouali,
Gérard Boudol, Ilaria Castellani, Silvano Dalzilio et Massimo Merro,
aidés par Dany Sergeant et Catherine Juncker.
Pour plus d'informations n'hésitez pas à nous contacter
par courrier électronique :
concur98@sophia.inria.fr.