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:15-11:15
| Benno van den Berg (Utrecht), An introduction to topos theory
|
|---|
| 11:30-12:30
| Julia Ilin (Amsterdam), An introduction to algebraic set theory
|
|---|
| 12:30-14:00
| LUNCH BREAK
|
|---|
| 14:00-15:00
|
Zuzana Haniková (Prague),
Set theory in many-valued logics
|
|---|
| 15:30-16:30
|
Sourav Tarafder (Kolkata), The Boolean-valued model construction with algebras of non-standard
logics
|
|---|
| 17:00-18:00
|
Philipp Kleppmann (Cambridge),
How to break the Axiom of Choice: Fraenkel-Mostowski models.
|
|---|
- Monday, 24 June 2013.
Talks, discussion and lunch in the
Vondelzaal (Room C1.08 in the University Library).
|
