CONCUR'98


9ième Conférence Internationale sur la Théorie du Parallélisme

Du 8 au 11 Septembre 1998,
Hotel Novotel, Nice, France

Premier Appel à Contributions



Dates Importantes But et Sujets d'interêt Soumissions (en englais) Lieu de la manifestation et Inscriptions Organisateurs et Comité de Programme

DATES IMPORTANTES


CONCUR'98 : BUT ET SUJETS D'INTERÊT

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:

SOUMISSIONS

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

LIEU DE LA CONFÉRENCE ET INSCRIPTIONS

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.


ORGANISATION SCIENTIFIQUE:

Robert de Simone
Davide Sangiorgi

COMITÉ DE PROGRAMME

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.



Web master