27-31 Jul 2015
Helsinki, Finland
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 being in Helsinki 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 Spread the word! And also, join the Scandinavian Logic Society! (You don't have to be from Scandinavia to join.)