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 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
|
|
27 March - 4 April 2004, ETAPS 2004, Barcelona, Spain
The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics related to Software Science. It is a confederation of five main conferences, a number of satellite workshops and other events.
For more information, see the ETAPS website at http://www.lsi.upc.es/etaps04/
1 April 2004, Logic Tea, Francien Dechesne, Universiteit Tilburg/TU Eindhoven
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Hartmut Fitz (hfitz at hum.uva.nl).
27 March - 4 April 2004, ETAPS 2004, Barcelona, Spain
The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics related to Software Science. It is a confederation of five main conferences, a number of satellite workshops and other events.
For more information, see the ETAPS website at http://www.lsi.upc.es/etaps04/
2 April 2004, ILLC Meeting on Intuitionism
It happens that at the ILLC there are presently 6 persons who have some actual relation with intuitionism. A meeting is organized in which they present their interests in an introductory way to each other; other ILLC members are welcome as well.
For a preliminary program, see here
2 April 2004, Computing with LLI Seminar, Caterina Caracciolo and Sebastian Brand
/ Qualitative Spatial Reasoning
For abstracts and more information, see http://lit.science.uva.nl/News/seminar04-1.html#Apr02.
2 April 2004, DIP Colloquium, Anna Mlynarczyk
For abstracts and more information, see https://www.illc.uva.nl/dip/.
27 March - 4 April 2004, ETAPS 2004, Barcelona, Spain
The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics related to Software Science. It is a confederation of five main conferences, a number of satellite workshops and other events.
For more information, see the ETAPS website at http://www.lsi.upc.es/etaps04/
27 March - 4 April 2004, ETAPS 2004, Barcelona, Spain
The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics related to Software Science. It is a confederation of five main conferences, a number of satellite workshops and other events.
For more information, see the ETAPS website at http://www.lsi.upc.es/etaps04/
6 April 2004, Zuidelijk Interuniversitair Colloquium (ZIC), Gilles Dowek
For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Francien Dechesne (f.dechesne at uvt.nl).
15-16 April 2004, Workshop on MODELS IN SCIENCE AND TECHNOLOGY
The goal of the workshop is to inform PhD-students about the standard philosophical views on the logical and methodological function of models in science and technology. Furthermore, it is our objective to confront these views with the ways in which scientists and engineers use models in their everyday scientific work.
This workshop will be held in the context of the Dutch-Flemish Network for Philosophy of Science and Technology. Speakers include Wilfrid Hodges, Marcel Boumans, Peter van Oosterom, Michiel Korthals and Sjoerd Zwart.
Participants should register before April 1st,by sending an e-mail to filosofie at tbm.tudelft.nl and by paying the workshop fee of Euro 185. The fee covers accommodation, meals and course material. Registration is definitive only after the workshop fee has been received.
For more specific information turn to: Sjoerd Zwart (s.d.zwart at tbm.tudelft.nl, tel: 015-2785906).
15 April 2004, Logic Tea, Sieuwert van Otterloo
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Merlijn Sevenster (sevenstr at science.uva.nl) or Hartmut Fitz (hfitz at hum.uva.nl).
15-16 April 2004, Workshop on MODELS IN SCIENCE AND TECHNOLOGY
The goal of the workshop is to inform PhD-students about the standard philosophical views on the logical and methodological function of models in science and technology. Furthermore, it is our objective to confront these views with the ways in which scientists and engineers use models in their everyday scientific work.
This workshop will be held in the context of the Dutch-Flemish Network for Philosophy of Science and Technology. Speakers include Wilfrid Hodges, Marcel Boumans, Peter van Oosterom, Michiel Korthals and Sjoerd Zwart.
Participants should register before April 1st,by sending an e-mail to filosofie at tbm.tudelft.nl and by paying the workshop fee of Euro 185. The fee covers accommodation, meals and course material. Registration is definitive only after the workshop fee has been received.
For more specific information turn to: Sjoerd Zwart (s.d.zwart at tbm.tudelft.nl, tel: 015-2785906).
16 April 2004, Computing with LLI Seminar, Jan Hidders
(ADReM, University of Antwerp)
For abstracts and more information, see http://lit.science.uva.nl/News/seminar04-1.html#Apr16.
16 April 2004, Colloquium on Mathematical Logic, Nick Bezhanishvili
(Tram 9 from Central Station, to Plantage Badlaan.)
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
16 April 2004, DIP Colloquium, Andreas Haida
For abstracts and more information, see https://www.illc.uva.nl/dip/.
20 April 2004, ILLC 'TEST-TALKS' MOSAIEK, Fenrong Liu, Reut Tsarfati, Loredana Afanasiev
NWO organized three workshops to guide and evaluate the candidates and their proposals. On the 23rd of April the third workshop will take place and it involves talks by the candidates that will be play a role in evaluating the candidates and their proposals for this final round of selection. In this preparatory meeting, the three ILLC candidates will present their talks and invite comments.
Max duration is 1 hour 30 minutes, up to 30 minutes per candidate.
The candidates and titles of talks:
1) Fenrong Liu; Logic of Social behavior
2) Reut Tsarfati; Beyond Trees: Morphological and Syntactic Ambiguity Resolution for Hebrew
3) Loredana Afanasiev;Model checking based algorithms for efficient query
evaluation on XML documents
20 April 2004, Zuidelijk Interuniversitair Colloquium (ZIC), Jesper Carlström
(Stokholm/Nijmegen)
For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Georgi Jojgov (G.I.Jojgov at tue.nl).
22 April 2004, Logic Tea, Alessandra Palmigiano
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Merlijn Sevenster (sevenstr at science.uva.nl) or Hartmut Fitz (hfitz at hum.uva.nl).
23 April 2004, Computing with LLI Seminar, Arjen P. de Vries
(CWI, Amsterdam)
For abstracts and more information, see http://lit.science.uva.nl/News/seminar04-1.html#Apr23.
23 April 2004, DIP Colloquium, Henriette de Swart
For abstracts and more information, see https://www.illc.uva.nl/dip/.
26-29 April 2004, Ciber@RT Bilbao 2004: "Challenges for a Ubiquitous Identity", Valencia, España
Focus on the challenges posed by cyberculture and the new artistic practices that use digital technologies and emerging technologies for their development. These technologies and the discussions, which they generate, have a wide-reaching social repercussion.
For more information, see here or http://www.ciberart-bilbao.net/congreso_en.htm
26-29 April 2004, Ciber@RT Bilbao 2004: "Challenges for a Ubiquitous Identity", Valencia, España
Focus on the challenges posed by cyberculture and the new artistic practices that use digital technologies and emerging technologies for their development. These technologies and the discussions, which they generate, have a wide-reaching social repercussion.
For more information, see here or http://www.ciberart-bilbao.net/congreso_en.htm
26-29 April 2004, Ciber@RT Bilbao 2004: "Challenges for a Ubiquitous Identity", Valencia, España
Focus on the challenges posed by cyberculture and the new artistic practices that use digital technologies and emerging technologies for their development. These technologies and the discussions, which they generate, have a wide-reaching social repercussion.
For more information, see here or http://www.ciberart-bilbao.net/congreso_en.htm
26-29 April 2004, Ciber@RT Bilbao 2004: "Challenges for a Ubiquitous Identity", Valencia, España
Focus on the challenges posed by cyberculture and the new artistic practices that use digital technologies and emerging technologies for their development. These technologies and the discussions, which they generate, have a wide-reaching social repercussion.
For more information, see here or http://www.ciberart-bilbao.net/congreso_en.htm