|
Konferenzen und Workshops:
IEEE Symposium on Logic in Computer Science (LICS)
International Conference on Database Theory (ICDT)
24th Annual IEEE Symposium on Logic in Computer Science (LICS'09)
26th International Symposium on Theoretical Aspects of Computer Science (STACS'09)
12th International Conference on Database Theory (ICDT'09)
28th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'09)
36th International Colloquium on Automata, Languages and Programming (ICALP'09)
11th Workshop on Descriptional Complexity of Formal Systems (DCFS'09)
Colloquium Logicum 2008 der DVMLG (Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften)
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
Information, Control and Communication —
A Transdisciplinary Workshop (Berlin, April 10-12, 2008)
Arbeitsgruppen:
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:
Bundeswettbewerb Informatik
Leonid Libkin's Database Principles Column of SIGMOD Record
Die Folien zu meinem Vortrag "Die Grenzen der Berechenbarkeit — oder: Warum die Frage nach "dem Leben, dem Universum und dem ganzen Rest" nicht von Computern beantwortet werden kann" vom Studieninformationstag des Instituts für Informatik der HU Berlin am 07.02.2007 finden Sie hier.
|