All courses are taught by 1 or max. 2 lecturers. They typically consist of
five sessions (a one-week course) or ten sessions (a two-week course).
Each session lasts approximately 90 minutes.
Students that need a written confirmation of successfull participation
in a course should get into contact themselves with the relevant
course teachers to ask if such a confirmation can be provided.
Expect this only to be possible in case of a few exceptions.
The list of cancelled courses is at the bottom of this page.
| Logic and Computation|
| Advanced course|
- Constraint Satisfaction, Complexity, and Logic (Kolaitis, Phokion )
- Dynamic Epistemic Logic (van Ditmarsch, Hans, van der Hoek, Wiebe and Kooi, Barteld)
- Logic and Circuit Complexity (Vollmer, Heribert )
- Logical Methods in Combinatorial Computations (Makowsky, Johann A and tba (research assistant or collaborator))
- Bounded Arithmetic and Resolution-based Proof Systems (Beckmann, Arnold and Johannsen, Jan)
- Inductive and coinductive types (Uustalu, Tarmo )
| Introductory course|
- Boolean functions (Foldes, Stephan )
- Epistemic logic and multiagent systems (LC Verbrugge, Rineke and Hans van Ditmarsch (Computer Science, University of Otago))
- Description Logics for Conceptual Data Modeling in UML (Calvanese, Diego and De Giacomo, Giuseppe)
- Why Ordinals are Good for You (Moser, Georg and Lepper, Ingo)
- Computational Modal Logic (Areces, Carlos and de Rijke, Maarten)
- Concurrency Verification (de Roever, Willem-Paul and de Boer, Frank)
- Logical Foundations for the Semantic Web (Horrocks, Ian and Sattler, Ulrike)
| Language and Computation|
| Advanced course|
- Machine Learning for Automated Text Classification (Sebastiani, Fabrizio )
- Memory-Based Language Processing (van den Bosch, Antal and Daelemans, Walter)
- Probabilistic Parsing (Prescher, Detlef and Simaan, Khalil)
- Linearization Grammars (Müller, Stefan and Meurers, Detmar)
- Practical application of temporal and event based reasoning (Pustejovsky, James and Gaizauskas, Robert and Katz, Graham)
- Robust and empirical approaches to discourse structure (Schilder, Frank )
© 2002, 2003 Kurt Gödel Society, Norbert Preining.