Information
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)