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.
| << May 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
|
31
|
|||||
10-11 July 2004, Knowledge and Games Workshop
The aim of this workshop is to bring together researchers from the multi-agent systems, logic, and game theory communities in order to discuss work that combines, in some way, formal theories of knowledge and games. The workshop will take place immediately after the European Agent Systems Summer School, which will also be held in Liverpool.
For more information, see here or http://www.csc.liv.ac.uk/~sieuwert/knowledgegames/
9-10 August 2004, Canceled: LAMAS 2 (Second Australasian Workshop on Logic and Multiagent Systems)
LAMAS 2 is one the workshops associated with the eighth Pacific Rim International Conference on Artificial Intelligence ( PRICAI ). It is a follow-up workshop to a previous workshop on logic and multiagent Systems ( LAMAS ) held at the University of Otago in October 2002. The workshop aims to provide a forum to foster lively and fruitful discussion on issues involved in logic and multiagent systems.
The LAMAS2 organizers are Hans van Ditmarsch, Stephen Cranefield, Thomas Meyer, and Guido Governatori. The submission deadline is 15 May 2004. Particular topics of interest are: (1) Specification, verification, and synthesis of multiagent systems (2) Belief revision, belief merging, and dynamic epistemic logics (3) Protocols concerning commitment and negotiation (4) Logics of institutional agency (5) Non-monotonic reasoning, automated reasoning, and model checking.
For more information, see http://www.cs.otago.ac.nz/lamas2/