mystery logo



Just like in 2008 and in 2009, the "campus du Bourget" will host a small realisability workshop at the beginning of June.

What started as an informal course on realisability (2008) is now becoming an official workshop (2009) with several of the best researchers in the field, as well as many younger researchers.

This year, there will be an invited course by Martin Hyland as well as two invited lectures by Thomas Streicher and Jaap van Oosten, both experts in realizability and logic.

The content of the course and lectures will be announced on the program page.

Just like the preceeding years, I am trying to keep this workshop "simple" and accessible to everyone who wants to attend. There are no fees and the university can provide students rooms for cheap. The consequence is that we are not really taking care about anything besides the actual courses and talks (with the occasional coffee). So, all the other expenses (breakfasts, meals, "social dinner") will be at the charge of the participants.


Invited course

Martin Hyland will have several sessions for a course. The description will be available on the program page at some point... This will most probably be during the first and second day of the workshop.

Invited Talks

Thomas Streicher and Jaap van Oosten will each have 3 hours for a subject of their liking. More details will be available on the page. This will probably take place on the second and third day of the workshop.


During the afternoons of the third and fourth day, we will have usual talks by participants. You are encouraged to submit a talk. Ideally, the talks would be 45 minutes + questions. If there are too many proposals, I'll try to chose objectively, giving priority to students.

Social event

To keep the cost for participants at a strict minimum, there is no official "social dinner". What will probably happen is that we decide on a restaurant, and everyone can attend (and pay for his own meal). Depending on the weather, we may also organize a barbecue at the Lac du Bourget...


Any question about the workshop, the organization, the webpage or anything else is best sent to me (Pierre Hyvernat).


The following institutions made the workshop possible: