Scandinavian Logic Symposium 2014

Museum Centre Vapriikki in Tampere, 25-27 August 2014

Koskipuisto

Symposium	Topics	Venue and dates	Committees	Contact
Hotels	Scientific programme	Social programme	Contributed talks	Registration

Invited talks

Mai Gehrke (LIAFA, Paris)	Stone duality in the theory of formal languages	[abstract]	[slides]
Volker Halbach (University of Oxford)	Truth Tellers	[abstract]	[slides]
Asger Törnquist (University of Copenhagen)	A descriptive set-theoretic view of classification problems in operator algebras	[abstract]	[slides]
Jouko Väänänen (University of Helsinki and University of Amsterdam)	Dependence and independence a logical approach	[abstract]	[slides]
Thomas Ågotnes (University of Bergen)	Groups, Knowledge and Announcements	[abstract]	[slides]

Contributed talks

Other talks have their own contributed talks page.

Instructions for the presentations

There is a beamer in both the auditorium and the meeting room 1 (for Session 2 of contributed talks). The aspect ratio of the display is 16:9, so if you use the LaTeX-class beamer, you might want to use the class option aspectratio=169 (\documentclass[aspectratio=169]{beamer}). You may use your own laptop, but we recommend that you have your slides also on a USB flash drive (memory stick) as a pdf-file.

In the auditorium, there is also a small white board. In both rooms, there is a flipchart or several ones.

If you wish, you may send the pdf-file of your slides to the organizers by email sls2014@sis.uta.fi, and that file will be uploaded on the conference webpage.

Outline of the programme

Download full programme as a pdf-file.

Monday, 25 Aug

9:30 - 17:30	Registration and information desk open

9:30 - 10:30	Coffee
10:30 - 11:30	Jouko Väänänen: Dependence and independence - a logical approach
11:30 - 12:30	Contributed talks
12:30 - 14:00	Lunch
14:00 - 15:00	Volker Halbach: Truth tellers
15:00 - 15:30	Coffee break
15:30 - 17:30	Contributed talks
19:30 - 21:00	City reception

Tuesday, 26 Aug

9:00 - 17:30	Registration and information desk open

9:30 - 10:30	Mai Gehrke: Stone duality in the theory of formal languages
10:30 - 11:00	Coffee break
11:00 - 12:30	Contributed talks
12:30 - 14:00	Lunch
14:00 - 15:00	Thomas Ågotnes: Groups, Knowledge and Announcements
15:00 - 15:30	Coffee break
15:30 - 16:30	Contributed talks
16:45 - 17:30	Business meeting [inaugural meeting] [agenda] [minutes of this meeting]
19:00 - 22:30	Conference dinner

Wednesday, 27 Aug

9:00 - 15:00	Registration and information desk open

9:30 - 10:30	Asger Törnquist: A descriptive set-theoretic view of classification problems in operator algebras
10:30 - 11:00	Coffee break
11:00 - 12:30	Contributed talks
12:30 - 13:30	Lunch
13:30 - 15:00	Contributed talks
15:00 - 15:30	Coffee break