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.

2 December 2010, PhD defense, Marc Staudacher

Date & Time: Thursday 2 December 2010, 12:00

Title: Use theories of meaning: between conventions and social norms

Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam

Promotor: prof.dr. M.J.B. Stokhof

Copromotor: dr. P.J.E. Dekker and dr. R.A.M. van Rooij

For more information, contact M.Staudacher at uva.nl

9 December 2010, PhD defense, Gaëlle Fontaine

Date & Time: Thursday 9 December 2010, 10:00

Title: Modal fixpoint logic: some model theoretic questions

Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam

Promotor: Johan van Benthem and Yde Venema

Associated workshop: http://homepages.inf.ed.ac.uk/agheerbr/flirt.html. For more information, contact G.M.M.Fontaine at uva.nl

9 December 2010, PhD defense, Amélie Gheerbrant

Date & Time: Thursday 9 December 2010, 12:00

Title: Fixed-Point Logics on Trees

Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam

Promotor: Johan van Benthem

Copromotor: Balder ten Cate

Associated workshop: http://homepages.inf.ed.ac.uk/agheerbr/flirt.html. For more information, contact A.Gheerbrant at uva.nl

14 December 2010, PhD defense, Jacob Vosmaer

Date & Time: Tuesday 14 December 2010, 14:00

Title: Logic, Algebra and Topology. Investigations into canonical extensions, duality theory and point-free topology

Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam

Promotor: Mai Gehrke, Yde Venema

For more information, see http://www.jacobvosmaer.nl/phd.php.

14 December 2010, Master of Logic defense, Alexandru Marcoci

Date & Time: Tuesday 14 December 2010, 16:30

Title: The Surprise Examination Paradox in Dynamic Epistemic Logic

Location: Room C1.05, Oudemanhuispoort, Amsterdam

Supervisor: Johan van Benthem and Sonja Smets

15 December 2010, Master of Logic defense, Chris Regenboog

Date & Time: Wednesday 15 December 2010, 14:00

Title: Reactive Valuations

Location: Room A1.08, Science Park 904, Amsterdam

Supervisor: Alban Ponse

17 December 2010, PhD defense, Nina Gierasimczuk

Date & Time: Friday 17 December 2010, 14:00

Title: Knowing One's Limits. Logical Analysis of Inductive Inference

Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam

Promotor: Johan van Benthem and Dick de Jongh

For more information, see http://staff.science.uva.nl/~ngierasi/nina_defence.html