{{Menu IW14|Information}}

The workshop takes place in July 2014 from Wednesday 9 to Friday 11 at the [http://www.logic.univie.ac.at/Home.html 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 [http://vsl2014.at/ataglance/ 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)