The Scandinavian Logic Society (SLS) Summer School in Logic 2015
July 27, 2015 - August 1, 2015
Department of Mathematics and Statistics, University of Helsinki
Fabianinkatu 24
Helsinki
Finland
Sponsor(s):
- Association for Symbolic Logic (limited), for student members; University of Helsinki
Speakers:
Samson Abramsky
Oxford University
Jeremy Avigad
Carnegie Mellon University
Laura Fontanella
Hebrew University of Jerusalem
Curtis Franks
University of Notre Dame
Åsa Hirvonen
University of Helsinki
Nicole Schweikardt
Humboldt-University, Berlin
Moshe Vardi
Rice University
Topic areas
Talks at this conference
Add a talkDetails
The School offers 7 tutorials aimed at graduate students. The topics are: Logic and Quantum Information (Abramsky), Proof Theory and Proof Mining (Avigad), Reflection Principles and Large Cardinals (Fontanella), Logical Completeness (Philosophy, Franks), Classification Theory (Model Theory, Hirvonen), Automata-Theoretic Verification (Vardi), TBA (Schweikardt)
Who is attending?
No one has said they will attend yet.
Will you attend this event?