Seminar aus theoretischer Informatik
SE 181.185 (2.0) Wintersemester 2011/12
Reinhard Pichler and Mantas Simkus
|
Registration in TISS is now open. |
General information
- Language. This course will possibly be held in English since it is part of the European Master's Program in Computational Logic (EMCL) curriculum.
- Place. Has to be decided yet (depending on the number of participants).
- Time. The course has a regular meeting time. All classes will be held Wednesdays, 14:15 - 16:00.
- First class. The first class meets on Wednesday, 5 October, 14:15 - 15:00 in the Gödel Seminarraum. This class will be held jointly with the "Seminar in Complexity Theory" (184.678).
Prerequisites
The lecture "Komplexitätstheorie" (181.142, VU 2.0) is highly recommended for this seminar.Registration
Registration in TISS is required for this seminar!!
(Attention: registration != subscription)
Contents
This seminar builds upon the lecture "Komplexitätstheorie" (181.142, VU 2.0). Its topic is Finite Model Theory. In this seminar, we shall jointly read and discuss selected chapters of the following book:
Leonid Libkin:
"Elements of Finite Model Theory"
Springer, 2004
Assessment
Presence in the classes is compulsory. Assessment will be based on the presentations and the active participation in the discussions. The details will be fixed in the first class.| Last modified 26 September, 2011 |