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.
| << November 2001 | ||||||
|---|---|---|---|---|---|---|
| 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
|
|
12 oktober - 9 november 2001, Didactiek voor promovendi met onderwijstaken
time
For more information, please contact the coordinator of the Team Hoger Onderwijs, drs Carla Laan (tel: 020-5251287, email: carlalaan at educ.uva.nl) or visit the CNA website at http://www.cna.uva.nl/universitaire%20didact.%20ondersteuning.htm
12 oktober - 9 november 2001, Didactiek voor promovendi met onderwijstaken
time
For more information, please contact the coordinator of the Team Hoger Onderwijs, drs Carla Laan (tel: 020-5251287, email: carlalaan at educ.uva.nl) or visit the CNA website at http://www.cna.uva.nl/universitaire%20didact.%20ondersteuning.htm
2 November 2001, Computing with LLI seminar, Frank van Harmelen
others)
Amsterdam
For abstracts and more information, see http://lit.science.uva.nl/News/seminar01-2.html#November2.
2 November 2001, DIP Colloquium, Filip Buekens
15, Amsterdam
For abstracts and more information, see https://www.illc.uva.nl/dip/.
12 oktober - 9 november 2001, Didactiek voor promovendi met onderwijstaken
time
For more information, please contact the coordinator of the Team Hoger Onderwijs, drs Carla Laan (tel: 020-5251287, email: carlalaan at educ.uva.nl) or visit the CNA website at http://www.cna.uva.nl/universitaire%20didact.%20ondersteuning.htm
12 oktober - 9 november 2001, Didactiek voor promovendi met onderwijstaken
time
For more information, please contact the coordinator of the Team Hoger Onderwijs, drs Carla Laan (tel: 020-5251287, email: carlalaan at educ.uva.nl) or visit the CNA website at http://www.cna.uva.nl/universitaire%20didact.%20ondersteuning.htm
12 oktober - 9 november 2001, Didactiek voor promovendi met onderwijstaken
time
For more information, please contact the coordinator of the Team Hoger Onderwijs, drs Carla Laan (tel: 020-5251287, email: carlalaan at educ.uva.nl) or visit the CNA website at http://www.cna.uva.nl/universitaire%20didact.%20ondersteuning.htm
5 November 2001, Computing with LLI Seminar,
Peter Baumgartner
For abstracts and more information, see http://lit.science.uva.nl/News/seminar01-2.html#November5.
12 oktober - 9 november 2001, Didactiek voor promovendi met onderwijstaken
time
For more information, please contact the coordinator of the Team Hoger Onderwijs, drs Carla Laan (tel: 020-5251287, email: carlalaan at educ.uva.nl) or visit the CNA website at http://www.cna.uva.nl/universitaire%20didact.%20ondersteuning.htm
6 November 2001, Extra Talk,
Alexander Esenin Volpin
Alexander Esenin Volpin has worked from the seventies and eighties on a very radical approach to the Foundations of Mathematics: ultra-intuitionism (see e.g. "The ultra-intuitionistic criticism and the anti-traditional program for foundations of mathematics" in "Intuitionism and Proof Theory", Kino, Myhill, Vesley eds., North-Holland, 1970). Although highly onorthodox and never fully understood, his work did inspire a considerable number of people, among which Parikh, Ehrenfeucht, Vopenka to logical work realizing some of his ideas in formal settings.
12 oktober - 9 november 2001, Didactiek voor promovendi met onderwijstaken
time
For more information, please contact the coordinator of the Team Hoger Onderwijs, drs Carla Laan (tel: 020-5251287, email: carlalaan at educ.uva.nl) or visit the CNA website at http://www.cna.uva.nl/universitaire%20didact.%20ondersteuning.htm
7 November 2001, Computing with LLI Seminar,
Gwen Kerdiles
For abstracts and more information, see http://lit.science.uva.nl/News/seminar01-2.html#November7. The thesis of Gwen Kerdiles and an extended abstract of it are available online at http://www.science.uva.nl/~kerdiles.
12 oktober - 9 november 2001, Didactiek voor promovendi met onderwijstaken
time
For more information, please contact the coordinator of the Team Hoger Onderwijs, drs Carla Laan (tel: 020-5251287, email: carlalaan at educ.uva.nl) or visit the CNA website at http://www.cna.uva.nl/universitaire%20didact.%20ondersteuning.htm
12 oktober - 9 november 2001, Didactiek voor promovendi met onderwijstaken
time
For more information, please contact the coordinator of the Team Hoger Onderwijs, drs Carla Laan (tel: 020-5251287, email: carlalaan at educ.uva.nl) or visit the CNA website at http://www.cna.uva.nl/universitaire%20didact.%20ondersteuning.htm
9 November 2001, Computing with LLI seminar, Giovanna Corsi
modal logic.
Amsterdam
For abstracts and more information, see http://lit.science.uva.nl/News/seminar01-2.html#November9.
9 November 2001, Colloquium on Mathematical Logic, Ieke Moerdijk
(Bus 12 from Utrecht Central Station).
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
9 November 2001, DIP Colloquium,
Manfred Krifka
For abstracts and more information, see https://www.illc.uva.nl/dip/.
16 November 2001, Computing with LLI Seminar,
Dick de Jongh
For abstracts and more information, see http://lit.science.uva.nl/News/seminar01-2.html#November16.
16 November 2001, DIP Colloquium,
Fred Landman
For abstracts and more information, see https://www.illc.uva.nl/dip/.
16 November 2001, Colloquium on Mathematical Logic,
Bas Luttik
(Bus 12 from Utrecht Central Station).
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
23 November 2001, workshop "Learning Logic and Grammar"
On Friday, November 2001, a workshop "Learning Logic and Grammar" is held in Amsterdam. The aim of the workshop is to find and establish cross-connections between the OTS (Utrecht) and ILLC (Amsterdam) research groups.
For more information and a preliminary program, see https://www.illc.uva.nl/LLaG/.
23 November 2001, Computing with LLI seminar, canceled
23 November 2001, Colloquium on Mathematical Logic,
Bas Spitters
(Bus 12 from Utrecht Central Station).
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
29-30 November 2001, METHODS FOR MODALITIES 2 (M4M-2), Amsterdam
The workshop Methods for Modalities' (M4M) aims to bring together researchers interested in developing proof tools and reasoning methods for modal logic broadly conceived, including description logic, hybrid logics, feature logic, temporal logic, etc.
Deadline for submissions: 12 october 2001
For more information, see the conference website at http://staff.science.uva.nl/~m4m.
29-30 November 2001, METHODS FOR MODALITIES 2 (M4M-2), Amsterdam
The workshop Methods for Modalities' (M4M) aims to bring together researchers interested in developing proof tools and reasoning methods for modal logic broadly conceived, including description logic, hybrid logics, feature logic, temporal logic, etc.
Deadline for submissions: 12 october 2001
For more information, see the conference website at http://staff.science.uva.nl/~m4m.
30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf
The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001
For more information, contact Peter van Emde Boas at peter at science.uva.nl.
30 November 2001, DIP Colloquium, Elena Karagjosova
15, Amsterdam
For abstracts and more information, see https://www.illc.uva.nl/dip/.
30 November 2001, Colloquium on Mathematical Logic,
Jaco van de Pol
(Bus 12 from Utrecht Central Station).
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html