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.
| << April 2002 | ||||||
|---|---|---|---|---|---|---|
| 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
|
||||
4 April 2002, Computing with LLI Seminar, Maarten Marx
(Amsterdam)
For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#April4.
5 April 2002, Colloquium on Mathematical Logic, Pieter Hofstra
(Bus 12 from Utrecht Central Station).
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
10 April 2002, SIKS/Ontoweb Master Class, Peter Patel-Schneider
, Pat Hayes
(Bell Labs Research and Pat Hayes, University of West-Florida)
Pat Hayes (University of West-Florida)
(opposite Artis zoo)
The World-Wide Web Consortium has started, as part of its Semantic Web activity, a new working group to develop a web ontology language The second meeting of this group will be held at CWI in Amsterdam on April 8-9. Ontoweb and SIKS have taken this opportunity to organize a master class on the logical foundations of the semantic web. The two invited speakers, Peter Patel-Schneider and Pat Hayes, are members of the working group and experts in this field.
For more information and registration, see here or http://www.w3.org/2001/sw/WebOnt/, or contact enserink at swi.psy.uva.nl.
11 April 2002, Logic Tea, Balder ten Cate
The Logic Tea homepage can be found at http://staff.science.uva.nl/~debruin/logic_tea.html.
12 April 2002, Computing with LLI Seminar (Double Session), Enrico Franconi /
Thom Frühwirth
Thom Frühwirth (LMU Munich)
/
Description Logics in CHR
For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#April12.
19 April 2002, Computing with LLI Seminar, Stefan Schlobach
(Amsterdam)
For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#April19.
19 April 2002, Colloquium on Mathematical Logic, Yde Venema
(Bus 12 from Utrecht Central Station).
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
26 April 2002, CABS-colloquium, Nico Roos
For more information, see ftp://ftp.let.uu.nl/pub/colibri/logic/dutch/cabs.15-2002
27 April 2002, Celebration of the 60th Birthday of Per Martin-Löf
In May, Per Martin-Löf will have his 60th birthday. To celebrate that special occasion, we organise a special afternoon, dedicated to the work of Per Martin-Löf. This event will take place on Saturday afternoon, April 27 in Hotel-Conference centre Erica, Berg en Dal, NL (near Nijmegen). The afternoon is part of the TYPES 2002 meeting, but people are cordially invited to come just for this special celebration.
For more information and registration, see http://www.cs.kun.nl/fnds/TYPES2002/martin-lof.html