SLS Summer School in Logic 2015

Scandinavian Logic Society Summer School in Logic will be organized 27-31 July (Monday-Friday on the week before Logic Colloquium 2015).

Web site of the SLS Summer School in Logic 2015

Organizers

Co-chairs: Juliette Kennedy and Dag Normann.

Programme committee: Patricia Blanchette, Thierry Coquand, Mai Gehrke, Erich Grädel, Rosalie Iemhoff, Erik Palmgren, Michael Rathjen  and Sonja Smets.