COORDINATION'96 Koordinationsmodelle und sprachen

COORDINATION'96, die erste internationale Konferenz über Koordinationsmodelle und sprachen, wird vom 15. bis 17. April 1996 in Cesena, Italien, veranstaltet. Die Veranstaltung erfolgt durch das COORDINATION-Projekt, das im Rahmen des spezifischen Forschungsprogramms der Europäischen Kommission auf dem Gebiet der Informationstechnologien (ESPRIT) finanziert wird.

In den letzten Jahren hat sich eine neue Klasse von Modellen, Formalismen und Mechanismen für die Beschreibung von konkurrierenden Modellen und verzweigten Rechnungen herausgebildet. Einige wichtige Vertreter dieser neuen Klasse sind Modelle und Sprachen auf der Basis der (generativen) Kommunikation über gemeinsam genutzte Datenräume (z.B. Gamma, Linda, Swarm, lineare Objekte, Polis und Tao).

Koordinationsmodelle und sprachen werden als Teil des COORDINATION Grundforschungsprojekts untersucht. Ziel dieser Konferenz ist die Schaffung eines Forums für eine wachsende Gemeinschaft von Forschern, die auf diesem Gebiet tätig sind.

Spezifische Themen sind unter anderem:

Koordinationsprobleme bei der konkurrierenden, verzweigten, objektbezogenen, funktionalen und logischen Programmierung;
Konkurrierende Rechnungsmethoden, gezwungene Programmierung, Rechnungsmodelle auf der Basis des chemischen Reaktionsmetaphors und verbundene Bereiche;
Softwareumgebung für die Entwicklung koordinierter Anwendungen;
Semantik und Argumentation über Koordination;
Einzelfallstudien von industrieller Relevanz.

Weitere Auskünfte erhalten Sie von:

Imperial College London
Department of Computing
Chris Hankin
180 Queen's Gate
London SW7 2BZ
GB
Tel. +44-171 5948266; Fax +44 171 5818024
E Mail:coord@doc.ic.ac.uk