[Prev][Next][Index][Thread]
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.
---------------------------------------------------------------------------
PROGRAMME
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
Name:
Affiliation:
Address:
e-mail:
Telephone:
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)