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.
| << July 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
|
||
22-23 September 2003, METHODS FOR MODALITIES 3 (M4M-3), Nancy, France
The workshop Methods for Modalities' (M4M) aims to bring together researchers interested in developing proof tools and reasoning methods for modal logic broadly conceived, including description logic, hybrid logics, feature logic, temporal logic, etc.
For more information, see the conference website at http://www.science.uva.nl/~m4m/.
We are inviting submissions of short, focussed presentations aimed at highlighting new developments and applications, and submissions of system demonstrations. Deadline for submissions: 7 July 2003
4-6 September 2003, DiaBruck 2003: 7th Workshop on the Semantics and Pragmatics of Dialogue (SEMDIAL)
DiaBruck 2003 will be the seventh in a series of workshops that
aims to bring together researchers working on the semantics and
pragmatics of dialogues in fields such as artificial intelligence,
formal semantics and pragmatics, computational linguistics,
philosophy, and psychology.
DiaBruck is endorsed by SIGSEM and SIGDial .
For more information, see the workshop website at http://www.coli.uni-sb.de/diabruck/.
We invite submissions on all topics related to the semantics and pragmatics of dialogues. We also invite abstracts describing software demonstrations and/or actual projects relevant to the semantics and pragmatics of dialogues. Submission instructions can be found on the workshop website. Deadline for submissions: 12 May 2003. Deadline for demo and project abstracts: 11 July 2003.
09-21 August 2004, ESSLLI-2004:
16th European Summer School in Logic, Language and Information, Nancy, France
The main focus of ESSLLI is on the interface between linguistics, logic and computation. Foundational, introductory and advanced courses together with workshops cover a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.
The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2004 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).
Extended deadline for early registration is May 7th, 2004. For more information and an online registration form, see the website at http://esslli2004.loria.fr/.
27 September 2003, 4th International Workshop on the Implementation of Logics
Following a series of successful workshops on the implementation of logics held in conjunction with the LPAR conference, there will be a fourth workshop on this topic, to be held in conjunction with LPAR'2003.
For more information, see the LPAR'2003 website at http://www.lpar.net/2003/
Researchers interested in participating are invited to send a short abstract, experimental paper, position paper, system description, or research paper of between 2 and 15 pages to B.Konev at csc.liv.ac.uk. Submissions will be refereed by the program committee, which will select a balanced program of high-quality contributions. Deadline for submissions: 27 July 2003.