Summer School in Logic 2015 - Helsinki

The Scandinavian Logic Society is very pleased to announce the next
summer school in logic, taking place July 27-31 in Helsinki this
summer of 2015. Notice that the school takes place exactly the week
before both the ASL European Summer Meeting and the LMPS, both of
which are being held in Helsinki the week starting August 3rd.

http://www.helsinki.fi/sls2015/index.html

Course are offered by a very distinguished group of lecturers:

Samson Abramsky (Oxford)
Jeremy Avigad (Carnegie Mellon)
Laura Fontanella (Hebrew University)
Curtis Franks (Notre Dame)
Åsa Hirvonen (Helsinki)
Nicole Schweikardt (Berlin)
Moshe Vardi (Rice University)

in: Automata-Theoretic Verification (Moshe Y. Vardi), Logic and
Quantum Information (Samson Abramsky), Reflection principles and Large
Cardinals (Laura Fontanella), Proof Theory and Proof Mining (Jeremy
Avigad), Stability Theory (Asa Hirvonen), Philosophy of Mathematics
(Curtis Franks) and a course by the excellent Nicole Schweikardt (as
yet TBA).

There may be funds for students. Also: note the inexpensive registration fee.

Contact person: Juliette Kennedy, jkennedy 'at' mappi.helsinki.fi