|
Konferenzen und Workshops:
|
Algorithmic Model Theory Meeting (AlMoTh 2010), Frankfurt am Main, 25.-26. Februar 2010
IEEE Symposium on Logic in Computer Science (LICS)
International Conference on Database Theory (ICDT)
5th Federated Logic Conference (FLoC 2010)
16. Jahrestagung der GI-Fachgruppe "Logik in der Informatik",
Frankfurt am Main, 6.-7. November 2009
26th International Symposium on Theoretical Aspects of Computer Science (STACS'09)
Automata: From Mathematics to Applications (AutoMathA'09)
11th Workshop on Descriptional Complexity of Formal Systems (DCFS'09)
Colloquium Logicum 2008 der DVMLG
Information, Control and Communication —
A Transdisciplinary Workshop (Berlin, 10.-12. April, 2008)
Seminar on Circuits, Logic, and Games, Schloss Dagstuhl, 8.-10. November 2006
Workshop on Algorithms for Data Streams, IIT Kanpur, Indien, 18.-20. Dezember 2006
|
Arbeitsgruppen:
|
DAHU research group, Laboratoire Spécification et Vérification, ENS de Cachan (Dr. Luc Segoufin, Directeur de Recherche)
Logik in der Informatik, Humboldt-Universität zu Berlin (Prof. Dr. Martin Grohe)
Logik und Diskrete Systeme, Oxford University (Prof. Dr. Stephan Kreutzer)
Lehrstuhl für Logik in der Informatik, Universität Dortmund (Prof. Dr. Thomas Schwentick)
Laboratory for Foundations of Computer Science,
School of Informatics, University of Edinburgh,
Edinburgh
Theoretische Informatik,
Fachbereich Mathematik und Informatik,
Johannes Gutenberg-Universität, Mainz (Prof. Dr. Clemens Lautemann)
|
Sonstiges:
|