News and Events: Upcoming Events

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.

<< December 2004 >>
Sunday Monday Tuesday Wednesday Thursday Friday Saturday
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Click on an event to view details.

29 November - 3 December 2004, OzsL Schoolweek, Hotel Dennenhoeve, Nunspeet

Date: 29 November - 3 December 2004
Location: Hotel Dennenhoeve, Nunspeet

From Monday the 29th of November till Friday the 3rd of December the OzsL Schoolweek will be held in the forests of Nunspeet. The week will consist of two parts:

  • Lectures on Automated Theorem Proving [Aut], Provability Logic [PL], Proof Theory [PT] and Philosophy [Phil]
  • Accolade meeting. PhD students of the OzsL communicate on their research and share their experience as a doctoral student.

If you are a PhD-student of the ILLC or one of the other participating groups of the OzsL, the group wil pay your registration fee. For others, the fee is € 700. The registration fee includes 4 nights at Hotel Dennenhoeve, as well as Breakfast, lunch and dinner.

For more information, see the OzsL Schoolweek page at http://godot.phil.uu.nl/~pape/ozsl/schoolweek.php.

29 November - 3 December 2004, OzsL Schoolweek, Hotel Dennenhoeve, Nunspeet

Date: 29 November - 3 December 2004
Location: Hotel Dennenhoeve, Nunspeet

From Monday the 29th of November till Friday the 3rd of December the OzsL Schoolweek will be held in the forests of Nunspeet. The week will consist of two parts:

  • Lectures on Automated Theorem Proving [Aut], Provability Logic [PL], Proof Theory [PT] and Philosophy [Phil]
  • Accolade meeting. PhD students of the OzsL communicate on their research and share their experience as a doctoral student.

If you are a PhD-student of the ILLC or one of the other participating groups of the OzsL, the group wil pay your registration fee. For others, the fee is € 700. The registration fee includes 4 nights at Hotel Dennenhoeve, as well as Breakfast, lunch and dinner.

For more information, see the OzsL Schoolweek page at http://godot.phil.uu.nl/~pape/ozsl/schoolweek.php.

29 November - 3 December 2004, OzsL Schoolweek, Hotel Dennenhoeve, Nunspeet

Date: 29 November - 3 December 2004
Location: Hotel Dennenhoeve, Nunspeet

From Monday the 29th of November till Friday the 3rd of December the OzsL Schoolweek will be held in the forests of Nunspeet. The week will consist of two parts:

  • Lectures on Automated Theorem Proving [Aut], Provability Logic [PL], Proof Theory [PT] and Philosophy [Phil]
  • Accolade meeting. PhD students of the OzsL communicate on their research and share their experience as a doctoral student.

If you are a PhD-student of the ILLC or one of the other participating groups of the OzsL, the group wil pay your registration fee. For others, the fee is € 700. The registration fee includes 4 nights at Hotel Dennenhoeve, as well as Breakfast, lunch and dinner.

For more information, see the OzsL Schoolweek page at http://godot.phil.uu.nl/~pape/ozsl/schoolweek.php.

3 December 2004, OzsL Accolade 2004

Date: Friday 3 December 2004
Location: Nunspeet
Deadline: 15 November 2004

On friday, 3 december 2004 the annual Student Accolade of the OzsL, the Dutch research school in logic, is held, as part of the OzsL schoolweek. The Accolade is a day on which the PhD students of the OzsL communicate on their research and share their experience as a doctoral student. PhD students of the OzsL are hereby warmly invited to submit an abstract for a 15 minute presentation.

Submission deadline: November 15, 2004.
For more information, see here or contact H. J. Sander Bruggink () or Joost J. Joosten ().

3 December 2004, Colloquium on Mathematical Logic, Agatha Walczak-Typke

Date & Time: Friday 3 December 2004, 14:50-15:40
Speaker: Agatha Walczak-Typke (Leeds)
Title: Stable structures and their non-choice analogues
Location: Hotel Dennenhoeven, Nunspeet (<em>changed</em>)

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

6 December 2004, Ninth Workshop on Games in Logic, Language, and Computation

Date & Time: Monday 6 December 2004, 13:00-18:00
Location: Room A-102, UvA Building A, Roeterstraat 15, Amsterdam
Costs: entrance free

GLLC9 is an informal workshop about applications of game theory in logic, linguistics, and computer science, and on the logical foundations of game and decision theory. Speakers include Wlodek Rabinowicz (Lund University) and Marc Pauly (Toulouse).

For more information, a programme and abstracts, see http://staff.science.uva.nl/~debruin, or write to

8 December 2004, "Dynamic Semantics in Perspective", an afternoon dedicated to the work of Kees Vermeulen

Date & Time: Wednesday 8 December 2004, 13:30--17:00
Location: Sweelinckzaal, Drift 21, Utrecht

Lectures by Jan van Eijck & Albert Visser, Rick Nouwen and Frank Veltman.
The lectures are followed by drinks.

All are invited, but you are requested to preregister by sending an email to

For more information, please contact .

10 December 2004, Colloquium on Mathematical Logic, Guram Bezhanishvili

Date & Time: Friday 10 December 2004, 16:00-17:00
Speaker: Guram Bezhanishvili
Title: MacNeille completions in modal logic
Location: Room P.014, Euclides Building (P), Plantage Muidergracht 24, Amsterdam
(Tram 9 from Central Station, to Plantage Badlaan.)

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

10 December 2004 , DIP Colloquium, Jelle Zuidema

Date & Time: Friday 10 December 2004 <em>(changed)</em>, 16:00-17:30
Speaker: Jelle Zuidema (ILLC/Edinburgh)
Title: Language, Evolution & the Theory of Games
Location: Room D118c, Department of Philosophy, Vendelstraat 8

For abstracts and more information, see https://www.illc.uva.nl/dip/.

11 December 2004, Special ILLC Event

Date & Time: Saturday 11 December 2004, 14:00-19:00
Title: The Dynamics of Reason
Location: TIN auditorium, Herengracht 168, Amsterdam
With a workshop around this year's annual Beth Lecturer & Vienna Circle Lecturer Michael Friedman we start a new series of

*** SPECIAL ILLC EVENTS ***

You are cordially invited to attend this event that will take place Saturday December 11.

Michael Friedman (Bloomington & Stanford) is a well-known philosopher of science and historian of philosophy with special interests in Kant and the Vienna Circle. He will speak about his new book "The Dynamics of Reason" which brings together insights on scientific progress from Carnap and Kuhn, in a Kant-inspired perspective.

Further speakers are Boudewijn de Bruin, Henk de Regt, Jan-Willen Romeyn, Rens Bod, and Johan van Benthem.

For more information, see here or http://staff.science.uva.nl/~oroy/dynamic/

13-16 December 2004, ILLC's Stanford Visitors: Seminars, Room 3.27, Euclides Building (P),
Plantage Muidergracht 24, Amsterdam

Date: 13-16 December 2004
Location: Room 3.27, Euclides Building (P),
Plantage Muidergracht 24, Amsterdam

Four stanford Ph.D. students: Patrick Girard, Darko Sarenac, Josh Snyder, and Tomasz Sadzik, are visiting the ILLC this week and the week after. On this occasion, we are organizing a series of technical seminars on update, space-time, games and complexity. The seminars will be real working sessions (not 'sales talks'), consisting of a one hour talk followed by discussion among expert students and researchers.

You are welcome to join one or more of the sessions if you have an interest. Papers will be made available beforehand on the website.

For more information, a schedule of lectures, and papers, please visit the website at http://staff.science.uva.nl/~oroy/stanford/ For all other matters, contact Olivier Roy at .

13-16 December 2004, ILLC's Stanford Visitors: Seminars, Room 3.27, Euclides Building (P),
Plantage Muidergracht 24, Amsterdam

Date: 13-16 December 2004
Location: Room 3.27, Euclides Building (P),
Plantage Muidergracht 24, Amsterdam

Four stanford Ph.D. students: Patrick Girard, Darko Sarenac, Josh Snyder, and Tomasz Sadzik, are visiting the ILLC this week and the week after. On this occasion, we are organizing a series of technical seminars on update, space-time, games and complexity. The seminars will be real working sessions (not 'sales talks'), consisting of a one hour talk followed by discussion among expert students and researchers.

You are welcome to join one or more of the sessions if you have an interest. Papers will be made available beforehand on the website.

For more information, a schedule of lectures, and papers, please visit the website at http://staff.science.uva.nl/~oroy/stanford/ For all other matters, contact Olivier Roy at .

14 December 2004, Zuidelijk Interuniversitair Colloquium (ZIC), Francien Dechesne

Date & Time: Tuesday 14 December 2004, 14:15-16:00
Speaker: Francien Dechesne
Title: IF-logic from a game-theoretical perspective
Location: TU Eindhoven, HG 6.29

For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Georgi Jojgov ().

14 December 2004, Logic Tea, Alexandre Costa-Leite

Date & Time: Tuesday 14 December 2004, 17:15-18:15
Speaker: Alexandre Costa-Leite (Neuchatel)
Title: Paraconsistency and Knowability
Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Merlijn Sevenster () or Hartmut Fitz ().

13-16 December 2004, ILLC's Stanford Visitors: Seminars, Room 3.27, Euclides Building (P),
Plantage Muidergracht 24, Amsterdam

Date: 13-16 December 2004
Location: Room 3.27, Euclides Building (P),
Plantage Muidergracht 24, Amsterdam

Four stanford Ph.D. students: Patrick Girard, Darko Sarenac, Josh Snyder, and Tomasz Sadzik, are visiting the ILLC this week and the week after. On this occasion, we are organizing a series of technical seminars on update, space-time, games and complexity. The seminars will be real working sessions (not 'sales talks'), consisting of a one hour talk followed by discussion among expert students and researchers.

You are welcome to join one or more of the sessions if you have an interest. Papers will be made available beforehand on the website.

For more information, a schedule of lectures, and papers, please visit the website at http://staff.science.uva.nl/~oroy/stanford/ For all other matters, contact Olivier Roy at .

13-16 December 2004, ILLC's Stanford Visitors: Seminars, Room 3.27, Euclides Building (P),
Plantage Muidergracht 24, Amsterdam

Date: 13-16 December 2004
Location: Room 3.27, Euclides Building (P),
Plantage Muidergracht 24, Amsterdam

Four stanford Ph.D. students: Patrick Girard, Darko Sarenac, Josh Snyder, and Tomasz Sadzik, are visiting the ILLC this week and the week after. On this occasion, we are organizing a series of technical seminars on update, space-time, games and complexity. The seminars will be real working sessions (not 'sales talks'), consisting of a one hour talk followed by discussion among expert students and researchers.

You are welcome to join one or more of the sessions if you have an interest. Papers will be made available beforehand on the website.

For more information, a schedule of lectures, and papers, please visit the website at http://staff.science.uva.nl/~oroy/stanford/ For all other matters, contact Olivier Roy at .

17 December 2004, Cognitieve Linguïstiek Dag, Drift 21, Utrecht

Date: Friday 17 December 2004
Location: Drift 21, Utrecht
Deadline: 10 September 2004

In de afgelopen decennia is er in de taalwetenschap in toenemende mate aandacht besteed aan de relatie tussen taal en cognitie. De Cognitieve Linguïstiek, zoals die is ontwikkeld door o.a. Lakoff, Langacker, Talmy en Fauconnier, beschouwt het menselijk taalsysteem niet als een aparte module, maar als een systeem dat fundamenteel verbonden is met meer algemene aspecten van cognitie. In de analyse van taalverschijnselen wordt een centrale rol toebedeeld aan aspecten als taalgebruik, (culturele) ervaring, en algemene cognitieve processen (zoals analogie en 'image schemas').

Ook in Nederland en Vlaanderen is er steeds meer belangstelling voor deze benadering van taalwetenschap, ook in aangrenzende disciplines als taalbeheersing en psycholinguïstiek. Om die reden wordt op 17 december 2004 een (informele) lezingendag georganiseerd, de Cognitieve Linguïstiek Dag. Het doel van deze dag is om een platform te bieden voor het werk van cognitief georiënteerde taalwetenschappers.

Deadline for submissions: 10 september 2004. For more information, see http://www-uilots.let.uu.nl/events/coglingdag.htm

21 December 2004 21 December 2004, DIP Colloquium, Jelle Gerbrandy

Date & Time: 21 December 2004 Tuesday 21 December 2004, 16:00-17:30
Speaker: Jelle Gerbrandy
Title: Bisimulation versus Epistemic Equivalence
Location: Room 001 (MFR), Department of Philosophy, Vendelstraat 8, Amsterdam

For abstracts and more information, see https://www.illc.uva.nl/dip/.