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)
|
|