Logic and Database Theory Prof. Dr. Nicole Schweikardt

Logic in Computer Science, Dept. of Computer Science, Humboldt-University Berlin

Prof. Dr. Nicole Schweikardt Juniorprofessor for Logic and Database Theory at the Department of Computer Science, Humboldt-University Berlin

Research Interest:

Logic, Database Theory, Descriptive and Computational Complexity Theory, Finite Model Theory, Foundations of processing huge data sets and data streams

 

Publications:

List of publications Short abstracts of publications

 

Teaching:

Summer 2007: Logic and Complexity Course (Monday 1-3 p.m., room 1'305 and Wednesday 3-5 p.m., room 1'307, Erwin Schrödinger-Zentrum) Exercises in Logic and Complexity (Monday 3-5 p.m., room 1'305, Erwin Schrödinger-Zentrum) Research Seminar Logic in Computer Science (usually Fridays, 11 a.m. - 1 p.m., room 4.410, Johann von Neumann-Haus) Seminar ("Oberseminar") Theoretical Computer Science (usually Fridays, 1-3 p.m., room 3.101, Johann von Neumann-Haus) Teaching in previous terms

 

Activities:

Currently, I am a member in the ICDT-Council (International Conference on Database Theory) and publicity co-chair for the IEEE Symposium on Logic in Computer Science (LICS). Please send me an email if you wish to be added to the LICS mailing list or if you wish to submit an announcement to the LICS newsletter. I serve(d) on the program committees of the following conferences: 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) Since June 2005, I am a member of the Young Academy, a joint project of Germany's two oldest academies, the Berlin-Brandenburg Academy of Sciences and Humanities (Berlin-Brandenburgische Akademie der Wissenschaften – BBAW) and the German Academy of Natural Scientists Leopoldina (Deutsche Akademie der Naturforscher Leopoldina).

 

Links:

Conferences and 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, November 8-10, 2006 Workshop on Algorithms for Data Streams, IIT Kanpur, India, December 18-20, 2006 Research groups: Logic and Database Theory at Humboldt-University Berlin (Prof. Dr. Nicole Schweikardt) Logic in Computer Science at Humboldt-University Berlin (Prof. Dr. Martin Grohe) Logic and Discrete Systems at Humboldt-University Berlin (Prof. Dr. Stephan Kreutzer) Database Group at Saarland University (Prof. Dr. Christoph Koch) Logic in Computer Science at Dortmund University (Prof. Dr. Thomas Schwentick) Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Edinburgh Theoretical Computer Science, Department of Mathematics and Computer Science, Johannes Gutenberg-University, Mainz (Prof. Dr. Clemens Lautemann) Miscellaneous: Bundeswettbewerb Informatik Leonid Libkin's Database Principles Column of SIGMOD Record