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 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
|
|||||
7-11 July 2003, SWIFT 2003 "Summer Workshop In Finestructure Theory"
The SWIFT Summer Workshop will consist of an intense one-week tutorial course on a simplified finestructure theory for Goedel's constructible universe, and of invited and contributed talks. The workshop is equally directed towards specialists in constructibility theory and towards researchers in logic who are interested in a compact introduction to the constructible universe and its finestructure.
For more information, see here or http://www.math.uni-bonn.de/people/logic/Events/SWIFT/
Contributed talks of 30 minutes from all fields of mathematical logic are welcome. Deadline for contributions is 1 June 2003.
17-21 June 2003, Reasoning about Space
Recent years have seen lots of exciting work in spatial reasoning in computer science, AI, and philosophy. The motivation for this work ranges from image analysis and geographical information systems in CS through attempts to exploit properties of space in diagrammatic reasoning, to purely mathematical issues of expressivity of languages with respect to particular spatial domains. As of now, much of the research has been carried out within the respective fields and without much interaction with researchers in other fields.
The aim of this workshop is to present some recent advances in the field with a particular emphasis on bringing researchers in various fields together for purposes of looking at unifying logical frameworks (such as, for instance, modal logic) and getting a better sense of the most fruitful avenues for further research.
The workshop is held in the context of the Second North American Summer School in Logic, Language and Information. For more information, see http://www.dit.unitn.it/~aiellom/nasslli03/.