These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.

The calender view is not available on the mobile version of the website. You can view this information as a list.

You can also view this information as a list or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.

Click on an event to view details.

17 November 2009, Master of Logic defense, Karel van Oudheusden

Date & Time: Tuesday 17 November 2009, 11:00

Title: The Advent of Recursion & Logic in Computer Science.

Location: Room A1.08 Science Park 904, Amsterdam

Supervisor: Gerard Alberts

30 November 2009, Master of Logic defense, Sam van Gool

Date & Time: Monday 30 November 2009, 15:30

Title: Methods of Canonicity

Location: Room C3.158, Science Park 904, Amsterdam

Supervisor: Alessandra Palmigiano

If you want to visit this defense and you do not own a UvAcard, please tell the receptionist of the Science Park building that you are there to attend the defense of Sam van Gool at 15.30 in room C3.158. That way you should get a visitors card to enter the elevators.