🚀 go-pugleaf

Lecture Series ``Collegium Logicum''
Kurt Goedel Society

University of Technology, Vienna, Austria

Christian Doppler Laboratory for Expert Systems


Course Announcement
-------------------

===================
FINITE MODEL THEORY
===================

YURI GUREVICH
=============
University of Michigan, Ann Arbor
[gurevich@zip.eecs.umich.edu]


TOPICS:  
-------
*  The failure of first order logic in the finite case.
*  Tailoring logic for complexity (This is the largest part.)
*  Datalog vs first-order logic
*  Ehrenfeucht-Fraisse' Games and Finite Structures.
*  Fixed points
*  Zero-one laws

PREREQUISITES:
--------------
Good knowledge of predicate logic. Basic knowledge of
Complexity Theory (e.g. familiarity with the complexity
classes PTime, NPTime, LogSpace, NLogspace, PSpace, and NC).
For those not familiar with complexity theory, there will
be a preparatory lecture by Dr. Thomas Eiter; for registration
and more information, contact Katrin Seyr,
phone: (+43 1) 588 01-6120,
email: seyr@vexpert.dbai.tuwien.ac.at.


PLACE:
------
Seminarraum SEM 181A, Institut fuer Informationssysteme,
Paniglgasse 16, 1. Stock (= 3rd floor), 1040 Wien.

DATES:
------
The lectures will be allocated with some flexibility within the 
following slots. The definitive schedule will be communicated 
at the first lecture, Monday, June 13, 11.00h. 

 Mon June 13:  11.00 - 13.00  |   Mon June 20:  11.00 - 13.00
 Tue June 14:  12.00 - 14.00  |   Tue June 21:  12.00 - 14.00
 Wed June 15:  09.00 - 13.00  |   Wed June 22:  10.00 - 13.00
 Thu June 16:  09.00 - 13.00  |   Thu June 23:  11.00 - 13.00
 Fri June 17:  09.00 - 13.00  |   

REGISTRATION:
-------------
There are no fees for attendance. Registration is 
necessary for persons not affiliated with TU Wien. Please
register with Katrin Seyr, Institut fuer Informationssysteme,
Technische Universitaet Wien, Paniglgasse 16, A-1040 Wien,
Tel: (+43 1) 588 01-6112, fax: (+43 1) 505 5304, 
email: seyr@vexpert.dbai.tuwien.ac.at.


------------------------
Kurt-Goedel-Gesellschaft
Technische Universitaet Wien
Institut fuer Computersprachen E185.2
Resselgasse 3/1, A-1040 Wien

Tel: (+43 1) 588 01/4088
Fax: (+43 1) 504 15 89
email: kgs@logic.tuwien.ac.at

Mit Unterstuetzung des
Bundesministeriums fuer Wissenschaft und Forschung