Logik und Datenbanktheorie Prof. Dr. Nicole Schweikardt

Logik in der Informatik, Institut für Informatik, Humboldt-Universität zu Berlin

Prof. Dr. Nicole Schweikardt Juniorprofessorin für Logik und Datenbanktheorie am Institut für Informatik der Humboldt-Universität zu Berlin

Forschungsinteressen:

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

 

Publikationen:

Publikationsliste Kurze Zusammenfassungen der Publikationen

 

Lehrveranstaltungen:

SoSe 2007: Vorlesung Logik und Komplexität (montags 13-15 Uhr in Raum 1'305 und mittwochs 15-17 Uhr in Raum 1'307, Erwin Schrödinger-Zentrum) Übung Logik und Komplexität (montags 15-17 Uhr in Raum 1'305, Erwin Schrödinger-Zentrum) Mitarbeiterseminar Logik in der Informatik (i.d.R. freitags, 11-13 Uhr, Raum 4.410, Johann von Neumann-Haus) Oberseminar Theoretische Informatik (i.d.R. freitags, 13-15 Uhr, Raum 3.101, Johann von Neumann-Haus) Lehrveranstaltungen in früheren Semestern

 

Aktivitäten:

Zur Zeit bin ich Mitglied im Council der International Conference on Database Theory (ICDT) und Publicity Co-Chair für IEEE Symposium on Logic in Computer Science (LICS). Falls Sie in die LICS Mailing Liste aufgenommen werden oder eine Nachricht für den LICS Newsletter einreichen wollen, schicken Sie mir bitte eine Email. Ich bin bzw. war Mitglied im Programm Komittee der folgenden Konferenzen: 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) Seit Juni 2005 bin ich Mitglied der Jungen Akademie an der Berlin-Brandenburgischen Akademie der Wissenschaften und der Deutschen Akademie der Naturforscher Leopoldina.

 

Links:

Konferenzen und Workshops: IEEE Symposium on Logic in Computer Science (LICS) 22nd Annual IEEE Symposium on Logic in Computer Science (LICS'07) 34th International Colloquium on Automata, Languages and Programming (ICALP'07) 26th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'07) 11th International Conference on Database Theory (ICDT'07) 2006 Federated Logic Conference (FLoC'06) 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: Logik und Datenbanktheorie, Humboldt-Universität zu Berlin (Prof. Dr. Nicole Schweikardt) Logik in der Informatik, Humboldt-Universität zu Berlin (Prof. Dr. Martin Grohe) Logik und Diskrete Systeme, Humboldt-Universität zu Berlin (Prof. Dr. Stephan Kreutzer) Lehrstuhl für Informationssysteme, Universität des Saarlandes (Prof. Dr. Christoph Koch) 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.