Dear Colleagues,

Please tell your students that we still have places left in the SLS Summer School in Logic 2015, taking place in Helsinki July 27-31.

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

We also have funding for students, from various sources (including the ASL).

Courses in Logic and Quantum Information, Proof Theory and Proof Mining, Reflection Principles and Large Cardinals, Logical Completeness (its history and philosophy), Classification Theory, Order-Invariant Logics, and Automata-Theoretic Verification are taught by:

Samson Abramsly, Jeremy Avigad, Laura Fontanella, Curtis Franks, Asa Hirvonen, Nicole Schweikardt and Moshe Vardi.

Course descriptions can be found here: http://www.helsinki.fi/sls2015/program.html

Note that the meeting is co-located with the LC2015 and the LMPS, both taking place in Helsinki August 3rd-8th:

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

If you need any further information, please do not hesitate to contact me.

All the best,
Juliette Kennedy

Helsinki Collegium for Advanced Studies
Fabianinkatu 24 (P.O. Box 4)
00014 University of Helsinki

and

Department of Mathematics and Statistics
P.O. Box 68 (Gustaf Hällströmin katu 2b)
FI-00014 University of Helsinki, Finland
tel. (+358-9)-191-51446, fax (+358-9)-191-51400
www.m