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.
| << October 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
|
||||||
25 November 2004, Semantics in the Netherlands day, Radboud University Nijmegen
The Nijmegen Centre for Semantics (NCS) presents the third Semantics in the Netherlands day. SiN provides a platform for graduate students working on natural language semantics in the Netherlands. This year's edition is hosted by the NCS and will take place Thursday, November 25 at the Radboud University Nijmegen (deadline for submission of 1p PDF abstracts: October 1). The SiNday is the opportunity for graduate students to present their research in any area of natural language semantics and its interfaces with pragmatics, syntax, morphology, logic, computational linguistics, and the like. SiN III will be concluded with an invited lecture by Prof. dr Henriëtte de Swart (Utrecht University).
Deadline for submissions is October 1st, 2004. For more information, see here or point a browser at http://www.ru.nl/ncs/sin
26 March - 4 April 2005,
1st World Congress and School on Universal Logic (UNILOG-2005)
, Montreux - Switzerland
Many conferences have been organized on specific techniques (combination of logics, labelled deductive systems, tableaux, etc.) or on some specific classes of logics (nonmonotonic logics, many-valued logics, paraconsistent logics, etc.). The idea of this event is to put together these various activities in order to promote interaction and to provide access of these different fields to the non-specialist. The school is intended for advanced students and young researchers.
Invited speakers of the congress will include A.Avron, D.Batens, J.Corcoran, M.Dunn, D.Gabbay, R.Jansana, A.Koslow, V.de Paiva, K.Segerberg.
Contributed papers for the congress can be submitted before October 30, 2004. For more information, see here or the website at http://www.uni-log.org.
Journal of Applied Logic Special Issue on Methods for Modalities
The workshop `Methods for Modalities' (M4M) organized every two years aims to bring together researchers interested in developing proof tools and decision methods for modal logic broadly conceived, including description logic, hybrid logic, temporal logic, etc.
During 1993 M4M-3, the third instance of the workshop was organized in Nancy, France. We have been invited by the Journal of Applied Logic to prepare a Special Issue containing selected publications from the workshop, in addition to other articles that might fit within the topics of interest of M4M.
Deadline for submissions is October 31th, 2004. For more information, see here or contact areces at loria.fr.