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.

<< March 2006 >>
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.

2 March 2006, GLoRiClass Seminar, Krzysztof Apt

Date & Time: Thursday 2 March 2006, 11:15-13:00
Speaker: Krzysztof Apt
Title: Games and Computer Science
Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

2 March 2006, PROSE Colloquium, Irek Ulidowski

Date & Time: Thursday 2 March 2006, 15:30-17:00
Speaker: Irek Ulidowski
Title: Reversing Algebraic Process Calculi
Location: Room 6.96, HG (Main Building), TU Eindhoven

For more information, see http://www.win.tue.nl/prose/

3 March 2006, Colloquium on Mathematical Logic, Bob Lubarsky

Date & Time: Friday 3 March 2006, 16:00-17:00
Speaker: Bob Lubarsky (Florida)
Title: Notions of Reals in Constructive ZF
Location: Room P.016, Euclides Building (P), Plantage Muidergracht 24, Amsterdam
(Tram 9 from Central Station, to Plantage Badlaan.)

For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

6 March 2006, Curious Minds: scientific reasoning in early youth, KNAW-gebouw, Kloveniersburgwal 29, Amsterdam

Date: Monday 6 March 2006
Location: KNAW-gebouw, Kloveniersburgwal 29, Amsterdam
Costs: Free

The goal of this symposium is to give an overview of current research into the reasoning abilities of preschool children, both in the Netherlands and outside. Which talents, potentials and abilities do children aged 3-5 have, how are talents in different fields interconnected, and how can these talents be developed further? The main focus will be on talents that could be considered part of the fields of mathematics, physics, technique and logic.

For more information, including a preliminary program, see http://www.talentenkracht.nl/

7 March 2006, Logic Tea, Taotao Xing

Date & Time: Tuesday 7 March 2006, 17:15-18:15
Speaker: Taotao Xing (Würzburg University)
Title: A Fine Reading of the White Horse Discourse
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 Olivier Roy () or Hartmut Fitz ().

8 - 10 March 2006, Workshop on Constructive Set Theory, Room G103, Nieuwe Prinsengracht 130, Amsterdam / Room K11, Budapestlaan 6, Utrecht

Date: 8 - 10 March 2006
Location: Room G103, Nieuwe Prinsengracht 130, Amsterdam / Room K11, Budapestlaan 6, Utrecht

An informal workshop on constructive set theory (Aczel's CZF in particular), with speakers including Peter Aczel, Michael Rathjen and Robert Lubarsky.

For more information, see http://www.math.uu.nl/people/vdberg/workshop/

8 March 2006, Computational Linguistics Seminar, Rens Bod

Date & Time: Wednesday 8 March 2006, 15:30
Speaker: Rens Bod
Title: Unsupervised Data-Oriented Parsing
Location: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam

For more information and abstracts, see http://staff.science.uva.nl/~jzuidema/CLS/

8 - 10 March 2006, Workshop on Constructive Set Theory, Room G103, Nieuwe Prinsengracht 130, Amsterdam / Room K11, Budapestlaan 6, Utrecht

Date: 8 - 10 March 2006
Location: Room G103, Nieuwe Prinsengracht 130, Amsterdam / Room K11, Budapestlaan 6, Utrecht

An informal workshop on constructive set theory (Aczel's CZF in particular), with speakers including Peter Aczel, Michael Rathjen and Robert Lubarsky.

For more information, see http://www.math.uu.nl/people/vdberg/workshop/

9 March 2006, GLoRiClass Seminar, Robert van Rooij

Date & Time: Thursday 9 March 2006, 11:15-13:00
Speaker: Robert van Rooij
Title: Games in Linguistics
Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

8 - 10 March 2006, Workshop on Constructive Set Theory, Room G103, Nieuwe Prinsengracht 130, Amsterdam / Room K11, Budapestlaan 6, Utrecht

Date: 8 - 10 March 2006
Location: Room G103, Nieuwe Prinsengracht 130, Amsterdam / Room K11, Budapestlaan 6, Utrecht

An informal workshop on constructive set theory (Aczel's CZF in particular), with speakers including Peter Aczel, Michael Rathjen and Robert Lubarsky.

For more information, see http://www.math.uu.nl/people/vdberg/workshop/

10 March 2006, ILPS Seminar, Valentijn Visch

Date & Time: Friday 10 March 2006, 13:30-14:30
Speaker: Valentijn Visch (VU Amsterdam)
Title: Recognition of film genre by actor movements
Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#Mar10.

10 March 2006, Computational Social Choice Seminar, Ulle Endriss

Date & Time: Friday 10 March 2006, 16:00
Speaker: Ulle Endriss
Title: Introduction to Social Welfare Orderings
Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

For more information, see here or https://www.illc.uva.nl/~ulle/seminar/, or contact either Krzysztof Apt () or Ulle Endriss ().

13 March 2006, Colloquium on Mathematical Logic, Alexey Romanov

Date & Time: Monday 13 March 2006, 16:00-17:00
Speaker: Alexey Romanov
Title: De Jongh's theorem for equality theories
Location: T.B.A. (Amsterdam)

We may think of propositional formulas as schemas for formulas of a first-order language. The question which then naturally arises is, "What schemas are valid in a given theory?" De Jongh's theorem settles this question for HA. Since then, mostly extensions of HA have been considered in this context. This talk will deal with much weaker theories of equality instead.

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

13 March 2006, Maagdenhuis op Maandag, Tine Wilde

Date & Time: Monday 13 March 2006, 17:30-18:00
Speaker: Tine Wilde (ILLC)
Title: Een kunstenaar op kennispad
Location: Maagdenhuis, UvA, Spui 21, Amsterdam

For more information, see http://www.hum.uva.nl/actueel/.

14 March 2006, ACG Colloquium, Stephanie Kemper

Date & Time: Tuesday 14 March 2006, 13:30
Speaker: Stephanie Kemper (CWI)
Title: SAT-based Verification for Abstraction Refinement
Location: Room M279, CWI, Kruislaan 413, Amsterdam

14 March 2006, GLoRiClass Opening Afternoon

Date & Time: Tuesday 14 March 2006, 13:30-17:00
Location: Bondsraadzaal, De Burcht, Henri Polaklaan 9, 1018 CP Amsterdam

The new Marie Curie Research Training Site GLoRiClass is officially being launched with an afternoon of public lectures and drinks. The new research training site focuses on the interaction of mathematics, computer science, linguistics and philosophy in the investigation of games. One particular goal is to provide a theoretical and conceptual embedding of game theory as it is practiced in economics.

For more information, see https://www.illc.uva.nl/GLoRiClass/

14 March 2006, Zuidelijk Interuniversitair Colloquium (ZIC), Henk Barendregt
,

Date & Time: Tuesday 14 March 2006, 16:00-17:00
Speaker: Henk Barendregt
(Nijmegen), <em>postponed</em>
Title: Topics in Typed Lambda Calculus (250th and final ZIC!)
Location: Dorgelozaal (Traversegebouw), TU Eindhoven

The ZIC colloquium started in september 1986, and this talk will be the 250th talk in the series. Because it is always good to end on a high note, we have decided to let this 250th talk be the final one. We are very happy that Henk Barendregt, who has been a regular speaker at the ZIC from the very start, has accepted our invitation to give this very last lecture.

We would like to say goodbye to the ZIC and celebrate its succesful history in the company of the people who have been interested and involved in the ZIC over the past 20 years. We therefore warmly invite you to attend this last talk and have a drink with us afterwards.

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

15 March 2006, Computational Linguistics Seminar, Ton van der Wouden

Date & Time: Wednesday 15 March 2006, 15:30
Speaker: Ton van der Wouden (Leiden)
Title: Dutch as a Construction Language
Location: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam

For more information and abstracts, see http://staff.science.uva.nl/~jzuidema/CLS/

16 March 2006, Amsterdam-London Workshop on Modal Logic, Room I. 401, Nieuwe Achtergracht 168-178, Amsterdam

Date: Thursday 16 March 2006
Location: Room I. 401, Nieuwe Achtergracht 168-178, Amsterdam

The first Amsterdam-London Workshop on Modal Logic will take place on 16th of March, 2006 at the ILLC. The speakers include:

Ian Hodkinson (Imperial College London)
Robin Hirsch (University College London)
Roman Kontchakov (Birkbeck College London)
Mikhail Sheremet (Birkbeck College London)
Mai Gehrke (New Mexico State University)
Guram Bezhanishvili (New Mexico State University)
Johan van Benthem (University of Amsterdam)
Yde Venema (University of Amsterdam)
Balder ten Cate (University of Amsterdam)

For more information, see http://staff.science.uva.nl/~nbezhani/workshop/ or contact Nick Bezhanishvili at

16 March 2006, PROSE Colloquium, Adam Koprowski

Date & Time: Thursday 16 March 2006, 15:30-17:00
Speaker: Adam Koprowski
Title: Topics in termination of term rewriting
Location: Room 6.96, HG (Main Building), TU Eindhoven

For more information, see http://www.win.tue.nl/prose/

21 March 2006, Logic Tea, Leigh M. Smith

Date & Time: Tuesday 21 March 2006, 17:15-18:15
Speaker: Leigh M. Smith (ILLC)
Title: Modelling Rhythmic Strata by Continuous Time-Frequency Analysis
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 Olivier Roy () or Hartmut Fitz ().

22 March 2006, Computational Linguistics Seminar, Antal van den Bosch

Date & Time: Wednesday 22 March 2006, 15:30
Speaker: Antal van den Bosch (Tilburg)
Title: Implicit computational linguistics
Location: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam

For more information and abstracts, see http://staff.science.uva.nl/~jzuidema/CLS/

24 March 2006, ILPS Seminar, Canceled

Date & Time: Friday 24 March 2006, 13:30-14:30
Speaker: Canceled (Edgar Meij)
Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#Mar24.

24 March 2006, DIP Colloquium, Adrian Brasoveanu

Date & Time: Friday 24 March 2006, 16:00-17:30
Speaker: Adrian Brasoveanu (Rutgers U/Stuttgart)
Title: Representing Content and Meaning in Discourse
Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

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

30 March 2006, GLoRiClass Seminar, Benedikt Löwe

Date & Time: Thursday 30 March 2006, 11:15-13:00
Speaker: Benedikt Löwe
Title: Games in Mathematics
Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

31 March 2006, ILPS Seminar, Wouter Alink

Date & Time: Friday 31 March 2006, 13:30-14:30
Speaker: Wouter Alink
(UvA)
Title: Representing and Querying Multi-dimensional Markup for Question Answering
Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#Mar31.

31 March 2006, ACLC/ILLC Seminar on Psycholinguistics

Date & Time: Friday 31 March 2006, 14:00-17:00
Location: Grote Zaal, Herengracht 182, Amsterdam

On Friday March 31 there will be a special ACLC/IILLC seminar on Psycholinguistics. Speakers are Michiel van Lambalgen, Esther Parigger, Marian Counihan and Nivja de Jong.

For more information, see here or http://www.hum.uva.nl/aclc/object.cfm/