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.
| << June 2002 | ||||||
|---|---|---|---|---|---|---|
| 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
|
||||||
14-18 October 2002, 9th International Conference on Logic for Programming Artificial
Reasoning (LPAR) 2002, Tbilisi, Georgia
For more information and a CFP, see http://rpc25.cs.man.ac.uk/lpar2002/
Deadline for submissions: June 10. Submitted papers must be original and not submitted concurrently for publication to a journal or to another conference. Both "regular" papers and "experimental" papers are welcome.The proceedings will be published by Springer-Verlag in the LNAI series and available at the conference.
Journal of Logic and Algebraic Programming, Special issue on
Annotated Terms
This special issue intends to cover aspects such as theory and foundations, implementation issues, and applications involving underlying ideas on Annotated Terms.
We look for original, unpublished contributions of high quality which are not submitted elsewhere. The deadline for submissions is June 30, 2002.
Guest editor is Mark van den Brand (CWI).
For more information, see http://www.cwi.nl/~markvdb/JLAP-AT/ and http://www.elsevier.com/locate/jlap.