Prof. Dr. Nicole Schweikardt Arbeitsgruppe Theorie komplexer Systeme Institut für Informatik Johann Wolfgang Goethe-Universität Frankfurt am Main

Forschungsinteressen:

Logik, Datenbanktheorie, Komplexitätstheorie, endliche Modelltheorie, Grundlagen der Verarbeitung von großen Datenmengen und Datenströmen

 

Lehrveranstaltungen:

WS 2008/09: Vorlesung Diskrete Modellierung (mittwochs 8-11 Uhr im Magnus-Hörsaal) Vorlesung Logik in der Informatik (Vorlesung: dienstags 14-16 Uhr und donnerstags 16-18 Uhr, Übung: dienstags 16-18 Uhr, im Magnus-Hörsaal) Forschungsseminar Informatik und Mathematik (i.d.R. dienstags 12-14 Uhr in Raum SR 9) Lehrveranstaltungen in früheren Semestern

Sprechstunde:

Im WS 2008/09:   mittwochs 15-16 Uhr Während der vorlesungsfreien Zeit Termine bitte vorher per Email vereinbaren!

 

Publikationen:

Publikationsliste Kurze Zusammenfassungen der Publikationen

 

Aktivitäten:

Zur Zeit bin ich Mitglied im Council der International Conference on Database Theory (ICDT), Publicity Co-Chair für IEEE Symposium on Logic in Computer Science (LICS) und Beiratsvorsitzende des Bundeswettbewerb Informatik. Seit Juni 2005 bin ich Mitglied der Jungen Akademie an der Berlin-Brandenburgischen Akademie der Wissenschaften und der Deutschen Akademie der Naturforscher Leopoldina. Ich bin bzw. war Mitglied im Programm Komittee der folgenden Konferenzen: 24th Annual IEEE Symposium on Logic in Computer Science (LICS'09) 28th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'09) 12th International Conference on Database Theory (ICDT'09) 16th Annual European Symposium on Algorithms (ESA'08) 10th Workshop on Descriptional Complexity of Formal Systems (DCFS'08) 25th International Symposium on Theoretical Aspects of Computer Science (STACS'08) 16th EACSL Annual Conference on Computer Science and Logic (CSL'07) 22nd Annual IEEE Symposium on Logic in Computer Science (LICS'07) 12. GI-Fachtagung für Datenbanksysteme in Business, Technologie und Web (BTW'07) 33rd International Colloquium on Automata, Languages and Programming (ICALP'06), Track B 25th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'06) 4th International Symposium on the Foundations of Information and Knowledge Systems (FoIKS'06) 10th International Symposium on Database Programming Languages (DBPL'05)

 

Links:

Konferenzen und Workshops: IEEE Symposium on Logic in Computer Science (LICS) International Conference on Database Theory (ICDT) 26th International Symposium on Theoretical Aspects of Computer Science (STACS'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.