Logic List Mailing Archive

Nordic Spring School in Logic 2013

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