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.

15 August 2008, Master of Logic defense, Thomas Icard

Date & Time: Friday 15 August 2008, 11:00

Title: Topological Interpretations of the Polymodal Provability Logic

Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam

Supervisor: Lev Beklemishev and Dick de Jongh

For more information, please contact T.Kassenaar at uva.nl

25 August 2008, Master of Logic defense, Fan Yang

Date & Time: Monday 25 August 2008, 13:00-15:00

Title: Subframe formulas, NNIL formulas and n-universal models

Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam

Supervisor: Dick de Jongh

Mentor: Dick de Jongh

For more information, see t.kassenaar at uva.nl

25 August 2008, Master of Logic defense, Martijn Pennings

Date & Time: Monday 25 August 2008, 15:00-17:00

Title: A Konolige bridge between default logic and autoepistemic logic

Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam

Supervisor: Frank Veltman and Sujata Ghosh

For more information, please contact T.Kassenaar at uva.nl

26 August 2008, Master of Logic defense, Simon Pauw

Date & Time: Tuesday 26 August 2008, 11:00

Title: A BiOT account of Grice

Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam

Supervisor: Paul Dekker

For more information, please contact T.Kassenaar at uva.nl