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 2003 | ||||||
|---|---|---|---|---|---|---|
| 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
|
|||
5-13 April 2003, ETAPS 2003, Warsaw, Poland
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.
Registration deadline is March 31, 2003. For more information, see here or the ETAPS website at http://www.mimuw.edu.pl/etaps03/
5-13 April 2003, ETAPS 2003, Warsaw, Poland
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.
Registration deadline is March 31, 2003. For more information, see here or the ETAPS website at http://www.mimuw.edu.pl/etaps03/
5-13 April 2003, ETAPS 2003, Warsaw, Poland
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.
Registration deadline is March 31, 2003. For more information, see here or the ETAPS website at http://www.mimuw.edu.pl/etaps03/
5-13 April 2003, ETAPS 2003, Warsaw, Poland
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.
Registration deadline is March 31, 2003. For more information, see here or the ETAPS website at http://www.mimuw.edu.pl/etaps03/
8 April 2003, Zuidelijk Interuniversitair Colloquium (ZIC), Maarten Marx
(UvA)
For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Francien Dechesne (f.dechesne at uvt.nl).
5-13 April 2003, ETAPS 2003, Warsaw, Poland
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.
Registration deadline is March 31, 2003. For more information, see here or the ETAPS website at http://www.mimuw.edu.pl/etaps03/
5-13 April 2003, ETAPS 2003, Warsaw, Poland
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.
Registration deadline is March 31, 2003. For more information, see here or the ETAPS website at http://www.mimuw.edu.pl/etaps03/
5-13 April 2003, ETAPS 2003, Warsaw, Poland
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.
Registration deadline is March 31, 2003. For more information, see here or the ETAPS website at http://www.mimuw.edu.pl/etaps03/
11 April 2003, Colloquium on Mathematical Logic, Georg Moser
(Bus 12 from Utrecht Central Station).
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
11 April 2003, DIP Colloquium, Benjamin Shaer
For abstracts and more information, see https://www.illc.uva.nl/dip/.
5-13 April 2003, ETAPS 2003, Warsaw, Poland
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.
Registration deadline is March 31, 2003. For more information, see here or the ETAPS website at http://www.mimuw.edu.pl/etaps03/
12 April 2003, Second International Workshop on Automatic Analysis of Infinite-State Systems (AVIS'03)
This workshop is a forum for researchers, students, and practitioners interested in the application of formal methods and tools for the automatic verification of large practical systems.
For more information, see here or visit http://chacs.nrl.navy.mil/AVIS03/.
12 April 2003, Formal Approaches to Multi-agent Systems (FAMAS'03)
In recent years, multi-agent systems have come to form one of the key technologies for software development. This workshop aims at bringing together researchers from the fields of logic, theoretical computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems.
FAMAS'03 is affiliated with ETAPS 2003, April 5-13, 2003, Warsaw, Poland
For more information, see http://www.ai.rug.nl/conf/famas or here.
5-13 April 2003, ETAPS 2003, Warsaw, Poland
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.
Registration deadline is March 31, 2003. For more information, see here or the ETAPS website at http://www.mimuw.edu.pl/etaps03/
16 April, Logic Tea,
The Logic Tea homepage can be found at http://staff.science.uva.nl/~debruin/logic_tea.html
23-25 April 2003, 8th International Workshop on Parsing Technologies
Nancy, "City of Art and History", the historical capital of Lorraine (the north-eastern part of France) welcomes you to the 8th International Workshop on Parsing Technologies. The Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) in Nancy, France will host the 8th International Workshop on Parsing Technologies (IWPT'03) from 23 to 25 April, 2003. IWPT'03 continues the tradition of biennial workshops on parsing technology organised by SIGPARSE, the Special Interest Group on Parsing of the Association for Computational Linguistics (ACL).
For more information, see http://iwpt03.loria.fr/.
23-25 April 2003, 8th International Workshop on Parsing Technologies
Nancy, "City of Art and History", the historical capital of Lorraine (the north-eastern part of France) welcomes you to the 8th International Workshop on Parsing Technologies. The Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) in Nancy, France will host the 8th International Workshop on Parsing Technologies (IWPT'03) from 23 to 25 April, 2003. IWPT'03 continues the tradition of biennial workshops on parsing technology organised by SIGPARSE, the Special Interest Group on Parsing of the Association for Computational Linguistics (ACL).
For more information, see http://iwpt03.loria.fr/.
23-25 April 2003, 8th International Workshop on Parsing Technologies
Nancy, "City of Art and History", the historical capital of Lorraine (the north-eastern part of France) welcomes you to the 8th International Workshop on Parsing Technologies. The Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) in Nancy, France will host the 8th International Workshop on Parsing Technologies (IWPT'03) from 23 to 25 April, 2003. IWPT'03 continues the tradition of biennial workshops on parsing technology organised by SIGPARSE, the Special Interest Group on Parsing of the Association for Computational Linguistics (ACL).
For more information, see http://iwpt03.loria.fr/.