COORDINATION 96 - Modèles et langages de coordination
Une nouvelle catégorie de modèles, de formalismes et de mécanismes utilisés pour décrire les calculs simultanés et distribués a vu le jour ces dernières années. Parmi les représentants importants de cette nouvelle catégorie figurent les modèles et les langages basés sur la communication (générative) par l'intermédiaire d'un espace de données partagé (par exemple Gamma, Linda, Swarm, Linear Objects, Polis et Tao).
Les modèles et langages de coordination font l'objet d'une étude par le projet de recherche fondamentale COORDINATION. Cette conférence a pour but de fournir un forum à la communauté des chercheurs qui sont de plus en plus nombreux à s'intéresser à ce domaine.
Parmi les thèmes spécifiques qui seront traités, citons:
- les problèmes de coordination qui se posent dans le cadre de la programmation simultanée, distribuée, orientée objets, fonctionnelle et logique
- l'informatique simultanée, la programmation des contraintes, les modèles de calcul reposant sur la métaphore des réactions chimiques et les domaines connexes
- les environnements logiciels pour le développement d'applications coordonnées
- la sémantique et la raisonnement en matière de coordination
- les études de cas revêtant un intérêt industriel.
Pour tout renseignement complémentaire, s'adresser à:
Imperial College London
Department of Computing
Chris Hankin
180 Queen's Gate
Londres SW7 2BZ
Royaume-Uni
Tél. +44-171-5948266; Fax +44-171-5818024
E-mail: coord@doc.ic.ac.uk