Venue.
University Library of the Universiteit van Amsterdam, Singel 425
1012 WP Amsterdam.
Sunday:
 Potgieterzaal (C0.01)


Monday:
 Vondelzaal (C1.08)


Organizer. Prof. Dr. Benedikt Löwe.
Participants / Speakers.
 Alexander Block, Universiteit van Amsterdam, The Netherlands.
 Zuzana Haniková, Academy of Sciences of the Czech Republic, Czech Republic.
 Julia Ilin, Universiteit van Amsterdam, The Netherlands.
 David Matthai, University of Cambridge, England.
 Philipp Kleppmann, University of Cambridge, England.
 Zachiri McKenzie, University of Cambridge, England.
 Sourav Tarafder, University of Calcutta, India.
 Benno van den Berg, Universiteit Utrecht, The Netherlands.
Schedule (to be specified).
 Saturday, 22 June 2013.
We are meeting informally for drinks between 16:30 and 19:00 in the SkyLounge of the DoubleTree
Amsterdam Centrral Station. The SkyLounge is located on the 11th floor of the hotel and has beautiful views over
the city. The hotel is located right next to Central Station (google maps). We
have reserved a table at the Tibetan restaurant Tibet (Lange
Niezel 24; google maps) for 19:30. The plan is to walk to Tibet from the
SkyLounge. Dinner is ordered and paid individually; Tibet has a decent selection of vegetarian dishes.
 Sunday, 23 June 2013.
Talks, discussion and lunch in the
Potgieterzaal (Room C0.01 in the
University Library).
10:1511:15
 Benno van den Berg (Utrecht), An introduction to topos theory


11:3012:30
 Julia Ilin (Amsterdam), An introduction to algebraic set theory


12:3014:00
 LUNCH BREAK


14:0015:00

Zuzana Haniková (Prague),
Set theory in manyvalued logics


15:3016:30

Sourav Tarafder (Kolkata), The Booleanvalued model construction with algebras of nonstandard
logics


17:0018:00

Philipp Kleppmann (Cambridge),
How to break the Axiom of Choice: FraenkelMostowski models.


 Monday, 24 June 2013.
Talks, discussion and lunch in the
Vondelzaal (Room C1.08 in the University Library).
