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.
| << January 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
|
31
|
|
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/.
You are invited to submit an extended abstract, not to exceed 10 pages, on related research or case study. We invite both completed work as well as work in progress; the aim of the workshop is to stimulate discussion and to bring together people with varying backgrounds from disparate communities.
23-25 June 2003, CONTEXT'03, Stanford, California (USA)
Context affects a wide range of activities in humans and animals as well as in artificial agents and other computer programs. The importance of context is widely acknowledged, and "context" has become an area of study in its own right, as evidenced by the numerous workshops, symposia, seminars, and conferences held recently. The Fourth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'03), will provide a high-quality forum, for discussions about context among researchers active in artificial intelligence and other areas of computer science, cognitive science, linguistics, the organizational sciences, philosophy, and psychology, with a strong emphasis on interdisciplinary research.
For more information, an online registration form, and a preliminary program, see http://context.umcs.maine.edu/CONTEXT-03/
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.