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.
| << May 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
|
|||
2 May 2006, ACG Colloquium, Frank Atanassow
For more information, see http://www.cwi.nl/htbin/acg/ACG.php4?mode=future
4 May 2006, GLoRiClass Seminar, Peter van Emde Boas
For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=4
4 May 2006, PROSE Colloquium, Aad Mathijssen
Note that the date has changed. For more information, see http://www.win.tue.nl/prose/
9 May 2006, ACG Colloquium, Einar Broch Johnsen
For more information, see http://www.cwi.nl/htbin/acg/ACG.php4?mode=future
11 May 2006, GLoRiClass Seminar, Theo Janssen
For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=4
12 May 2006, Leve de Wiskunde!
(dutch only)
Op vrijdag 12 mei 2006 organiseren het Korteweg-de Vries Instituut voor Wiskunde (KdVI) en het Institute for Logic, Language & Computation (ILLC) een open dag voor docenten wiskunde, scholieren en andere belangstellenden. Wiskundigen en logici van de Universiteit van Amsterdam vertellen er over hun onderzoek.
For more information, see http://www.science.uva.nl/actueel/object.cfm/
12 May 2006, ILPS Seminar, Yoav Seginer
(ILLC)
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#May12.
12 May 2006, Colloquium on Mathematical Logic, Joost J. Joosten
+ statements
(Bus 12 from Utrecht Central Station).
For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html
12 May 2006, Colloquium on Mathematical Logic, Marek Kwiatkowski
(Tram 9 from Central Station, to Plantage Badlaan.)
For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html
12 May 2006, DIP Colloquium, Corien Bary
For abstracts and more information, see https://www.illc.uva.nl/dip/.
16 May 2006, Mini Meeting in Medieval Logic, ILLC
Everyone is invited to this informal workshop in medieval logic. The workshop will take place in rooms P3.27 & P0.14 at the Euclides Building (Plantage Muidergracht 24, Amsterdam)
For more information, email Sara Uckelman (suckelma at illc.uva.nl), or go to http://staff.science.uva.nl/~suckelma/may16meeting.html
18 May 2006, GLoRiClass Seminar, Yde Venema
For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=4
18 May 2006, Computational Social Choice Seminar, Andreas Witzel
Hedonic games are a special form of cooperative games where the payoff to each player only depends on the identity of the other members of his coalition. I will present stability notions and according existence results discussed in the paper by Bogomolnaia and Jackson.
For more information, see https://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle at illc.uva.nl).
19 May 2006, DIP Colloquium, Postponed
For abstracts and more information, see https://www.illc.uva.nl/dip/.
19 May 2006, ILPS Seminar, Canceled
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#May19.
23 May 2006, Logic Tea, Joe Salerno
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Olivier Roy (oroy at science.uva.nl) or Hartmut Fitz (h.fitz at uva.nl).
24 May 2006, Computational Linguistics Seminar, Canceled
For more information and abstracts, see http://staff.science.uva.nl/~jzuidema/CLS/
26 May 2006, Gödel Centenary Celebration, Jaarbeurs Utrecht
Registration for the Gödel Centenary Celebration on Friday May 26 is open. The symposium is free of charge. The program is as follows.
10:00 Arrival, tea and coffee
10:20-10:30 Opening: Albert Visser (Utrecht)
10:30-11:45 Juliette Kennedy (Helsinki) & Mark van Atten (Paris):
A Life Dedicated to the Fundamental
11:45-12:00 Tea break
12:00-13:00 Dick de Jongh (Amsterdam) & Albert Visser (Utrecht):
The Incompleteness Theorems: What They Say and What They do not Say.
13:00-14:00 Lunch break
14:00-15:00 Benedikt Löwe (Amsterdam):
Gödel's Contribution to Set Theory
15:00-15:30 Tea break
15:30-16:30 Dennis Dieks (Utrecht):
Gödel on Time and Relativity
Update (2006/05/22): Due to large interest in the symposium there is only a limited number of seats left. Please sign up before the conference hall is full and registration closed.
For more information, see http://ozsl.uu.nl/goedel/.
30 May 2006, ACG Colloquium, Marcello Bonsangue
Note that the date has changed. For more information, see http://www.cwi.nl/htbin/acg/ACG.php4?mode=future