The workshop takes place in July 2014 from Wednesday 9 to Friday 11 at the KGRC and is centered around the following four themes:

1. Computations and Models

Invited speakers: Julia Knight, Russell Miller, Antonio Montalban.

2. Models and Sets

Invited speakers: John Baldwin, Tapani Hyttinen, Chris Laskowski.

3. Proofs and Sets

Invited speakers: Ulrik Buchholtz, Michael Rathjen, Andreas Weiermann.

4. Computations and Sets

Invited speakers: Arnold Beckmann, Sam Buss, Neil Thapen.

The workshop is part of the Vienna Summer of Logic 2014.

Participation is by invitation only, due to the limited capacity of the venue.

Contact: kwienmart at gmail dot com (Martin Koerwien)

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2014-07-08, 19:58.