SLS Summer School in Logic 2015, July 27-31

Categoría: 
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.

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

En el curso 2021-2022 la sede del máster es la Universidad de Valladolid

El máster da acceso al doctorado interuniversitario en Lógica y Filosofía de la Ciencia

Aquí puedes conocer a nuestros alumnos

Enciclopedias, revistas, sociedades, bibliotecas virtuales

Encuentra aquí los últimos libros publicados por nuestros profesores

Trabajos fin de máster realizados por nuestros alumnos

Conoce a los coordinadores de cada Universidad

Conoce a nuestros profesores

Toda la información en un solo texto

Ciclo de conferencias anual

Nuestro decálogo de honestidad intelectual

Nuestro sistema de garantía de calidad