Logic List Mailing Archive

Mini-workshop on realizability

15 Jan 2013
Utrecht, The Netherlands

Dear all,

following the PhD thesis defense of Wouter Stekelenburg on Monday, January 
14 (at 16:15), a mini-workshop on Realizability and related topics will be 
held on Tuesday, January 15 from 11:15 to 17:00 in room BBL 071 (Buys 
Ballot Lab, Princetonplein, close to the Math Building), Utrecht.

Participants include: Giuseppe Rosolini (Genova), Thomas Streicher 
(Darmstadt), Ieke Moerdijk, Wouter Stekelenburg, Jaap van Oosten, Benno 
van den Berg,...

Speakers include: Thomas Streicher, Benno van den Berg, Jaap van Oosten.

More detailed information will follow shortly before the meeting.

Best wishes, Jaap van Oosten