turing100.nl
De Nederlandse Vereniging voor Logica &
Wijsbegeerte der Exacte Wetenschappen
Openbare Bibliotheek Amsterdam
Amsterdam, 5 October 2012
Organizers. Benedikt Löwe (Amsterdam & Hamburg) & Rineke Verbrugge (Groningen)
| 11:30-12:15 | Antonina Kolokolova (St.
John's, Canada): How hard is proving hardness? A logic approach to barriers in complexity |
|---|---|
| 12:15-13:30 | Lunch & VvL Ledenvergadering |
| 13:30-14:15 |
Liesbeth
De Mol (Gent, Belgium): The mathematics of Homo Sapiens and its limitations: Emil Post's views on symbolic logic and computation |
| 14:15-15:00 | Jan van Leeuwen
(Utrecht, The Netherlands): Turing's impact on understanding computation |
| 15:00-15:30 | Tea Break |
| 15:30-16:15 | Andrew
Hodges (Oxford, U.K.): Alan Turing: Not only a beautiful mind |
| 16:15-16:30 | Tea Break |
| 16:30-17:15 | Bennie Mols (Amsterdam,
The Netherlands): From Turing's Test to Turing's Tango |
| 17:15-19:30 | Dinner Break |
| 19:30-21:30 | Theatre Performance University Players Hamburg Breaking the Code by Hugh Whitemore Open for everyone; no registration required: please bring friends and family! |