27-31 May 2013
Nordfjordeid, Norway
NORDIC LOGIC SPRING '2013 Nordic Spring School in Logic, http://scandinavianlogic.org/school May 27-31, 2013, Sophus Lie Conference Center, Nordfjordeid, Norway The first Nordic Spring School in Logic is organized under the auspices of the Scandinavian Logic Society and is supported by the Department of Mathematics of the University of Oslo. The Sophus Lie Conference Center http://www.mn.uio.no/math/english/about/collaboration/nordfjordeid/ is located with a view to one of the famous fjords of Norway, in an area particularly attractive with its nordic exotic nature and bright nights at that time of the year. Nordfjordeid can be reached by plane from Oslo, Bergen, or Trondheim to Sandane airport, or by coach from each of these cities. COURSE PROGRAMME: ------------------------------ The school programme will comprise the following short courses on a variety of important topics in mathematical, computational, applied and philosophical logic, given by leading experts in their fields: - Alexandru Baltag and Sonja Smets (University of Amsterdam): Dynamic logics for interactive belief revision - Dag Normann (University of Oslo): The semantics of higher-order algorithms - Erich Graedel (RWTH Aachen): Logics for dependence and independence - Joan Bagaria (ICREA, University of Barcelona): Set theory - Katrin Tent (University of Muenster): Model theory - Kim Larsen (Aalborg University): Logic and formal verification - Michael Rathjen (University of Leeds): Proof theory: From arithmetic to set theory - Nina Gierasimczuk (University of Amsterdam) and Jakub Szymanik (University of Groningen): Logic, computability and cognition - Thierry Coquand (University of Gothenburg): Type theory and univalent foundations - Wolfgang Thomas (RWTH Aachen): Logic, automata and games - Øystein Linnebo (University of Oslo and Birkbeck, University of London): Philosophy of logic: The problem of absolute generality The program will be divided into two parallel streams, one mainly on mathematical logic and the other mainly on computational, applied and philosophical logic. The courses will target mainly PhD students, but will also be of interest for young (and not so young) researchers in logic and its applications. Some of the courses will be accessible to advanced master students, too. Besides the series of courses, the school program will also include a half-day excursion to the famous glacier Briksdalsbreen, on Wednesday, May 29. REGISTRATION FOR PARTICIPATION ------------------------------ The registration for the school will commence on January 15, 2013. The number of participants will be limited, and requests for participations will be accepted in the order of registration until the limit is reached. However, 50 of the available places will be reserved for master and PhD students until the early registration deadline. REGISTRATION DEADLINES: Early registration: MARCH 15, 2013. Late registration: MAY 1, 2013 ACCOMMODATION AND REGISTRATION FEES: The students accommodation will be provided in the conference center, mostly in double rooms. These are located in 9 pavilions with 4 double + 2 single rooms each. Each pavilion has common kitchen and bathroom facilities. The cost of accommodation in a double room with full board in the center, from (arrival) Sunday, March 26 until (latest departure on) Saturday, June 1 is NOK 3490. There are also alternative possibilities for accommodation in hotels or guest houses nearby. The registration fees, covering the scientific programme, conference facilities, refreshments, and the excursion, are as follows: Early Registration: Student fees: NOK 1500. Regular fees: NOK 2000 Late Registration: Student fees: NOK 2000. Regular fees: NOK 2500 Instructions on the registration procedure will be posted on the school website: http://scandinavianlogic.org/school SCHOOL ORGANIZATION ------------------------------ Organizing Committee: Dag Normann (University of Oslo, Norway): Chair Elisabeth H. Seland (University of Oslo, Norway): Administrative support Fredrik Engström (University of Gothenburg, Sweden): Website Valentin Goranko (Technical University of Denmark) Scientific Committee: Benedikt Loewe (Universities of Amsterdam and Hamburg) Erik Palmgren (University of Stockholm, Sweden) Juliette Kennedy (University of Helsinki, Finland) Marc Bezem (University of Bergen, Norway) Patrick Blackburn (University of Roskilde, Denmark) Valentin Goranko (Technical University of Denmark), Chair CONTACT AND ENQUIRIES Enquiries on registration and logistics: nord-logic@math.uio.no Enquiries on the scientific programme: NordicLogic@gmail.com