[FOM] SLS Summer School in Logic 2015, July 27-31

Kennedy, Juliette juliette.kennedy at helsinki.fi
Fri Apr 24 06:58:42 EDT 2015

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.


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:


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


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20150424/71c23cd1/attachment.html>

More information about the FOM mailing list