Finite Model Theory Tutorial

[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]

                        FINITE MODEL THEORY

                 Problems, Methods and Applications
                          - A Tutorial -

                       Second Announcement.

            University of Wales Swansea, 7--9 July, 1996.

Finite model theory has emerged in recent years as a very active
area of research, on the frontier of logic, combinatorics and computer
science.  The two-day tutorial to be held in Swansea will present
an in-depth introduction to the field aimed at postgraduate students
and postdoctoral researchers (though open to all).

Topics covered will include the central problems and methods of finite
model theory, as well as applications in complexity theory, databases
and computer aided verification.

The detailed programme and a registration form are attached.

The cost of registration is 380 GBP.  A limited number of subsidised
places are available for postgraduate students at 340 GBP.  These will
be awarded on a first come first served basis, so early registration
is recommended.

Registration includes: