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:
  - Accommodation for the nights of Sunday, 7 July and Monday, 8 July.
  - Reception on Sunday evening.
  - Breakfast and lunch on Monday and Tuesday, as well as dinner on
    Monday evening.
  - Coffee and Tea breaks.
  - A copy of all course materials.

The meeting is supported by a grant from the London Mathematical
Society through the MathFit  programme.

For further information contact:   Anuj Dawar
                                   Department of Computer Science
                                   Univeristy of Wales Swansea
                                   Swansea SA2 8PP.
                                   e-mail: a.dawar@swansea.ac.uk
                                   Tel.: +44 (0)1792 205678 ext.4805
                                   Fax.: +44 (0)1792 295708.



Sunday, 7 July 1996

 18:00--22:00 Registration and Welcome Reception.

Monday, 8 July 1996

        8:45 Opening Remarks

        9:00 Capturing Complexity Classes.
             Iain A. Stewart, University of Leicester.

       10:30 Coffee break.

       11:00 Model Theory on Finite Structures.
             Anuj Dawar, University of Wales Swansea.

       12:30 Lunch break.

       14:00  Logical Reductions.
              Iain A. Stewart

       15:30 Tea break.

       16:00 Finite Variable Logics.
             Anuj Dawar

       18:30 Dinner followed by informal social.

Tuesday, 9 July 1996

        9:00 Finite Model Theory and Databases.
             Stephane Grumbach, INRIA, Rocquencourt.

       10:30 Coffee break.

       11:00 Logics and Complexity in Finite Model Theory.
             Ian Hodkinson, Imperial College, London.

       12:30 Lunch break.

       14:00 Playing Ehrenfeucht Games.
             Clemens Lautemann, Universitaet Mainz.

       15:30 Tea break.

       16:00 Model Checking Games and Other Games.
             Colin Stirling, Edinburgh University.


                    Finite Model Theory Tutorial
                       Swansea 7--9 July 1996
                         Registration Form






Please specify any dietary restrictions:

Indicate amount enclosed (tick one):
                      Student 340 GBP    []
                      Other   380 GBP    []

Return this registration form with the appropriate payment to:

                      Anuj Dawar
                      Department of Computer Science
                      Univeristy of Wales Swansea
                      Swansea SA2 8PP
		      United Kingdom.

                      e-mail: a.dawar@swansea.ac.uk
                      Tel.: 01792 205678 ext.4805
                      Fax.: 01792 295708.

(Cheques should be made payable to the University of Wales Swansea)