# 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 13-15
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.

## Contents during the academic year 2006-2007

The themes of the seminar during the academic year 2006-2007 are
Boolean functions, circuits and related things.
### Supervisors:

### Meeting time and place:

- 13 - 15, Pinni (Tampere)
- 13 - 15, Exactum B322 (Helsinki)

- Fri 1.9.2006, Helsinki, Exactum B322

Lauri Hella: *Mathematics of Constraint Satisfaction
- a Workshop in Oxford*
- Fri 15.9.2006, Tampere, Pinni

Maurice Pouzet: *The profile of relations*
- Fri 6.10.2006, Helsinki, Exactum B322

Lauri Hella: *Mathematics of Constraint Satisfaction (cont.)*
- Fri 20.10.2006, Tampere, Pinni

Antti Kuusisto: *Multimodal Logics with Operations on Modalities*
- Fri 3.11.2006, Helsinki, Exactum B322

Juha Kontinen & Hannu Niemisto:
*Extensions of MSO and the monadic counting hierarchy*
- Fri 17.11.2006 at 14-16, Tampere, Pinni A2089

Merlijn Sevenster: *Partially ordered connectives and
\Sigma^1_1 on finite models*

## Program in previous years

The seminar has been active also