Sprungmarken

Servicenavigation

Hauptnavigation

Sie sind hier:

Hauptinhalt

1st Workshop on Theory and Application of Bisimulations

Der Lehrstuhl für Software-Technologie (Informatik X) veranstaltet in Kooperation mit der Logik-Gruppe des Dipartimento di Matematica e Informatica der Universität Triest am 3. Juli 2009 auf dem Campus Gorizia der Universität Triest einen Workshop zum Thema "Bisimulationen in Softwaretechnik und Logik".

Der Workshop wird vom DAAD und vom italienischen Wissenschaftsministerium im Rahmen der "Deutsch-Italienischen Forschungskooperation" gefördert. Die Vorträge deutscher und italienischer Wissenschaftler stellen neue Forschungsergebnisse zum Thema vor, wobei formale Methoden zur Konstruktion sicherer nebenläufiger Programme im Vordergrund stehen .

EED_WS
Für detaillierte Informationen steht Herr Dr. Christoph Schubert, Lehrstuhl 10 ( ) gerne zur Verfügung. Die Vortragstitel sowie Abstracts der Vorträge finden Interessierte hier: