SLS Summer School in Logic 2015, July 27-31

Noticias Generales

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:

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

The headquarter for 2017-2018 is the University of Valladolid

This master’s degree gives direct access to the interuniversity PhD programme in Logic and Philosophy of Science.

Logic and Philosophy of Science alumni

Encyclopedias, journals, learned societies , virtual libraries

Learn about the latest books published by our teachers

Master's Theses on Logic and Philosophy of Science

Get to know the coordinators of every University

Our staff

All information in one file

Our regular conferences

Our intellectual honesty decalogue

Our quality assurance system