Nordic Spring School in Logic, May 27-31, 2013, Nordfjordeid, Norway: Last call for participation

[Valentin Goranko]

---------------------------------------------------------------------------

NORDIC LOGIC SPRING '2013
=========================
Last call for participation. Registration deadline: May 1.

Nordic Spring School in Logic, May 27-31, 2013, Sophus Lie Conference Center, Nordfjordeid, Norway
Website:
http://www.mn.uio.no/math/english/research/groups/logic/events/springschool-logic2013.html

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: an introduction to the world of large cardinals
- Katrin Tent (University of Muenster):
Model theory: simple and stable theories
- Kim Larsen (Aalborg University):
Logic and formal verification
- Michael Rathjen (University of Leeds):
Proof theory: from arithmetic to set theory
- Nina Gierasimczuk and Jakub Szymanik (University of Amsterdam):
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 course schedule is posted on the school website.
It is 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 is open and the online registration link
can be accessed from here:
http://www.mn.uio.no/math/english/research/groups/logic/events/springschool
-logic2013.html

The number of participants will be limited by the capacity of the
facilities, and requests for participations
will be accepted in the order of registration until the limit is reached.


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


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 at math.uio.no<mailto:nord-logic at math.uio.no>
Enquiries on the scientific programme: NordicLogic at gmail.com<mailto:NordicLogic at gmail.com>




-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20130414/5d75b4f9/attachment.html>