# Research Seminar

in

Finite Model Theory

## General information

This research seminar in
FMT
is a joint seminar of the
Department of Mathematics
at the
University of Helsinki
and the
Department
of Mathematics, Statistics and Philosophy
at the
University of Tampere.
The gatherings are held every second Friday at 12-14 (13-15 in Tampere)
so that in principle every second gathering is held in Helsinki and every
second in Tampere - see the weekly schedule
below.
The possible changes in timetables and the titles are announced on this
page before each gathering. The gatherings are open to everyone
interested
in the field or the current topic.

The seminar has been active also
in
the spring 2001
and during the academic years
2001-2002,
2002-2003,
2003-2004 and
in the fall 2004.
Unfortunately some of the previous web pages are available only in
Finnish.

## Contents during the academic year 2004-2005

The theme of the seminar during the year 2004-05 is
"Connections of Finite Model Theory with Classical
Model Theory and Combinatorics."
### Supervisors:

### Meeting time and place:

- 13 - 15, Pinni ls. A 2088 (Tampere)
- 12 - 14, Exactum C123 (Helsinki)

- Fri 14.1.2005, Helsinki, Exactum, room C123;

Hannu Niemistö: *Combining local quantifiers*
- Fri 28.1.2005, Tampere, Pinni ls. A 2088;

Lauri Hella: *Logic with aggregate operators*
- Fri 11.2.2005, Helsinki, Exactum, room C123;

Kerkko Luosto: *Reconstruction problem and EF-game*
- Fri 25.2.2005, Tampere, Pinni ls. A 2088;

Jari Kivelä: *Connections between modal logic and Boolean functions*
- Fri 18.3.2005, Helsinki, Exactum, room C123;

Ilkka Norros: *Hierarchy architectures in random graphs*
- Fri 8.4.2005, Tampere, Pinni ls. A 2088;

Miguel Couceiro: *On Function Class Composition and Normal Forms of Boolean functions*
- Fri 22.4.2005, Helsinki, Exactum, room C123;

Hannu Niemistö: *A survey on the graph isomorphism problem*
- Fri 6.5.2005, Tampere, Pinni ls. A 2088;

TBA
- Fri 20.5.2005, Helsinki, Exactum, room C123;

TBA