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,
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