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 2003, Master of Logic defense, Guillaume Aucher

Date & Time: Tuesday 2 December 2003, 09:15-10:00

Title: A combined system for update logic and belief revision

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

Supervisor: Johan van Benthem

4 December 2003, PhD defense, Juan Heguiabehere

Date & Time: Thursday 4 December 2003, 12:00

Title: Building Logical Toolboxes

Location: Oude Lutherse Kerk, Singel 411, Amsterdam

Promotor: Prof. d. D.J.N. van Eijck

Copromotor: Dr. Maarten de Rijke

For more information, email Juan Heguiabehere (juanh at science.uva.nl)

11 december, 2003, PhD defense, Christof Monz

Date & Time: Thursday 11 december, 2003, 12:00

Title: From Document Retrieval to Question Answering

Location: Oude Lutherse Kerk, Singel 411, Amsterdam

Promotor: Prof.dr. Remko Scha (UvA), Prof.dr. Franciska de Jong (UT)

Copromotor: Dr. Maarten de Rijke (UvA)

For more information, email Christof Monz (christof at science.uva.nl)

12 December 2003, Master of Logic defense, Gilad Mishne

Date & Time: Friday 12 December 2003, 13:30-14:30

Title: Using Conceptual Graphs for Source Code Information Retrieval

Location: Room B2.35, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

Supervisor: Maarten de Rijke Maarten Marx

18 december 2003, Master of Logic defense, Loredana Afanasiev

Date & Time: Thursday 18 december 2003, 14:00

Title: XML query evaluation via CTL model checking

Location: Room 0.19 (<em>changed</em>), Euclides Building, Plantage Muidergracht 24, Amsterdam

Supervisor: M. Franceschet

For more information, please contact marx at science.uva.nl

22 December 2003, Master of Logic defense, Oren Tsur

Date & Time: 22 December 2003, 11:00-12:00

Title: Topic - definitional QA using trainable text classifiers

Location: Room B2.35, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

Supervisor: Dr. Maarten de Rijke Dr. Khalil Sima'an