Arbeitsgruppe Theoretische Informatik

Theorietag - Einladung

Einladung zum 67. Theorietag am 22./23. Mai 2014 an der Christian-Albrechts-Universität in Kiel

Die Theorietage ermöglichen einen intensiven Dialog zwischen Nachwuchswissenschaftlern und erfahrenen Forschern auf dem Gebiet der Theoretischen Informatik. Die Vorträge decken ein breites Spektrum ab zwischen Resultaten noch nicht abgeschlossener Projekte, die erstmals einem breiteren Publikum vorgestellt werden, und abgeschlossenen Forschungsarbeiten, die später auch auf Konferenzen präsentiert werden.

Wir würden uns freuen, wenn Sie mit einem Vortrag zum Programm des Workshops beitragen könnten. Teilen Sie uns dies gegebenfalls bitte mit und senden Sie bis zum 8.05.14 einen einseitigen Abstract als LaTeX-Datei per E-Mail an henning.schnoor@email.uni-kiel.de. Da immer mehr nicht-deutschsprachige  Gastwissenschaftler an den Theorietagen interessiert sind, erbitten wir Vorträge in englischer Sprache.

Professor Heribert Vollmer aus Hannover wird einen Einladungsvortrag zum Thema "Team-based logics over Kripke structures" halten.

Die Teilnahme am Workshop ist kostenlos. Details zur Anreise, Unterkunft und das Programm werden rechtzeitig auf dieser Seite bekannt gegeben.

Über eine rege Beteiligung am Workshop freuen wir uns sehr!

Henning Schnoor