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
|
||||||
29 May - 4 June 2002, Course on Component-Based Design of Intelligent Multi-Agent
Systems, Vrije Universiteit Amsterdam
In this 5-day course, the basic concepts and characteristics of agent systems will be addressed, and a systematic component-based design methodology for agent systems will be presented. The course consists of both lectures and practical work.
Course material and instructions are in English.
If you would like to participate in this course, please send in a registration form before April 27th, 2002.
For more information, see http://www.cs.vu.nl/~wai/demas.
29 May - 4 June 2002, Course on Component-Based Design of Intelligent Multi-Agent
Systems, Vrije Universiteit Amsterdam
In this 5-day course, the basic concepts and characteristics of agent systems will be addressed, and a systematic component-based design methodology for agent systems will be presented. The course consists of both lectures and practical work.
Course material and instructions are in English.
If you would like to participate in this course, please send in a registration form before April 27th, 2002.
For more information, see http://www.cs.vu.nl/~wai/demas.
29 May - 4 June 2002, Course on Component-Based Design of Intelligent Multi-Agent
Systems, Vrije Universiteit Amsterdam
In this 5-day course, the basic concepts and characteristics of agent systems will be addressed, and a systematic component-based design methodology for agent systems will be presented. The course consists of both lectures and practical work.
Course material and instructions are in English.
If you would like to participate in this course, please send in a registration form before April 27th, 2002.
For more information, see http://www.cs.vu.nl/~wai/demas.
29 May - 4 June 2002, Course on Component-Based Design of Intelligent Multi-Agent
Systems, Vrije Universiteit Amsterdam
In this 5-day course, the basic concepts and characteristics of agent systems will be addressed, and a systematic component-based design methodology for agent systems will be presented. The course consists of both lectures and practical work.
Course material and instructions are in English.
If you would like to participate in this course, please send in a registration form before April 27th, 2002.
For more information, see http://www.cs.vu.nl/~wai/demas.
5 June 2002, Information about the ABP-Pension Statement
Each year the employees of the University of Amsterdam receive from the ABP their Pension Statement. The last two years the ABP has, on request of the Board of the UvA, given some workshops to the UvA-employees in order to explain the Pension Statement. This year the ABP will give the workshop in English. All UvA-employees are free to come.
In extension to the earlier given workshops in Dutch there will be special attention to pension transfer from abroad to the Netherlands and vice versa, to surrender of your pension, to the AOW-benefits and to the possibilities for insurance considering IP (disability pension) and ANW (survivor pension).
For more information, or requests for points to be addressed in the workshop, please send an email to stjon at bdu.uva.nl.
6 June 2002, Logic Tea, Paul Égré
Modal Logic
Amsterdam
In this talk I offer to discuss more closely the links between the Knower Paradox and provability interpretations of modal logic. First, I bring together and compare the respective strength of several inconsistency results respectively involving truth predicates, provability predicates, up to knowledge and belief predicates. In a second part, I examine how provability interpretations of modal logic enable to bypass the limitations imposed by the Knower and related results. The discussion rests more specifically on an examination of the distinct treatments elaborated by B. Skyrms (1978), C.A. Anderson (1983), and R. Solovay (1976). imposed by the Knower and related results.
The Logic Tea homepage can be found at http://staff.science.uva.nl/~debruin/logic_tea.html
7 June 2002, ILLC talks, Khalil Sima'an
Empirical Validity and Technological Prospects
7 June 2002, ILLC talks, Wessel Kraaij
Information Retrieval
Abstract:
Although Cross-Language Information Retrieval (CLIR) is
available for more and more language pairs, based on MT
services, many languages are still not covered. An attractive
alternative is to construct translation models based on
parallel corpora mined from the web. Since these corpora are
noisy, embedding translation models in the retrieval model is
not without problems. However, experiments showed that
retrieval effectiveness can surpass MT systems in a CLIR
evaluation task.
7 June 2002, ILLC talks, Stefan Geschke
For an abstract, see here
7 June 2002, Computing with LLI Seminar, Rob Mokken
(Amsterdam)
For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#June7.
14 June 2002, Computing with LLI Seminar, Lena Belitskaya and Samuel Driessen
(Océ-Research)
For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#April26.
14 June 2002, DIP Colloquium, Malte Zimmermann
For abstracts and more information, see https://www.illc.uva.nl/dip/.
14 June 2002, CABS-colloquium, Mathijs de Weerdt
An abstract can be found at here. For more information, contact Cees Witteveen, witt at its.tudelft.nl
17 June 2002, ILLC talks, Benedikt Loewe
For an abstract, see here
20 June 2002, Games in Logic, Language and Computation 6
The sixth edition of the workshop on Games in Logic, Language and Computation (GLLC6) will be held on Thursday June 20, 2002, in De Uithof, Utrecht.
The informal workshop series "Games in Logic, Language and Computation" focuses on the application of game theory in linguistics, logic and computer science, as well as on the (logical) foundations of game theory. Earlier meetings have taken place in Amsterdam, Nunspeet and Groningen.
For more information, see https://www.illc.uva.nl/~bcate/gllc6
20 June 2002, What is the world of mathematics?, Joachim Lambek
Abstract:
It may be argued that the language of mathematics is {\it about the}
category of sets, although the definite article requires some justification. As
possible worlds of mathematics we may admit all models of type theory, by which
we mean all {\it local toposes}. For an intuitionist, there is a distinguished
local topos, namely the so-called {\it free topos}, which may be constructed as
the Tarski-Lindenbaum category of intuitionistic type theory. However, for a
classical mathematician, to pick a distinguished model may be as difficult as to
define the notion of truth in classical type theory, which Tarski has shown to
be impossible.
This event is coordinated with the Sixth Workshop on Games in Logic, Language and Computation, which will take place at the same location on the same date. For more information, see https://www.illc.uva.nl/~bcate/gllc6/ .
21 June 2002, Docentenbijeenkomst Logica voor informatici
On Friday June 21st, Josje Lodder (OU) and Hans van Ditmarsch (Otago) organize a teacher's conference to gather input for the upcoming revision of the book 'Logica voor Informatici' (Johan van Benthem et al.).
For more information, see the (dutch) invitation at here. Participants are requested to register beforehand with Josje Lodder, josje.lodder at ou.nl.
21 June 2002, Computing with LLI Seminar, Sjaak Verbeek
(Amsterdam)
For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#June21.
24-30 June, 2002,
North American Summer School in Logic, Language, and Information
(NASSLLI)
, Stanford, CA
The first North American Summer School in Logic, Language, and Information (NASSLLI) will take place at Stanford University from the 24th to the 30th of June. It will be followed by the eleventh Logic, Language, and Computation Colloquium (LLC) at CSLI, the program of which will be integrated with the school.
The thematic focus of NASSLLI is modeled on that of its European sister event, ESSLLI. As it is customary with schools of this nature, the classes will run from foundational and introductory to advanced. Each lecturer will give a set of five one hour lectures on a topic suitable for a broad audience interested in the interface of logic, language, and computation.
For more information, see http://www.stanford.edu/group/nasslli/ or contact Darko Sarenac at sarenac at stanfor.edu.
24-30 June, 2002,
North American Summer School in Logic, Language, and Information
(NASSLLI)
, Stanford, CA
The first North American Summer School in Logic, Language, and Information (NASSLLI) will take place at Stanford University from the 24th to the 30th of June. It will be followed by the eleventh Logic, Language, and Computation Colloquium (LLC) at CSLI, the program of which will be integrated with the school.
The thematic focus of NASSLLI is modeled on that of its European sister event, ESSLLI. As it is customary with schools of this nature, the classes will run from foundational and introductory to advanced. Each lecturer will give a set of five one hour lectures on a topic suitable for a broad audience interested in the interface of logic, language, and computation.
For more information, see http://www.stanford.edu/group/nasslli/ or contact Darko Sarenac at sarenac at stanfor.edu.
24-30 June, 2002,
North American Summer School in Logic, Language, and Information
(NASSLLI)
, Stanford, CA
The first North American Summer School in Logic, Language, and Information (NASSLLI) will take place at Stanford University from the 24th to the 30th of June. It will be followed by the eleventh Logic, Language, and Computation Colloquium (LLC) at CSLI, the program of which will be integrated with the school.
The thematic focus of NASSLLI is modeled on that of its European sister event, ESSLLI. As it is customary with schools of this nature, the classes will run from foundational and introductory to advanced. Each lecturer will give a set of five one hour lectures on a topic suitable for a broad audience interested in the interface of logic, language, and computation.
For more information, see http://www.stanford.edu/group/nasslli/ or contact Darko Sarenac at sarenac at stanfor.edu.
24-30 June, 2002,
North American Summer School in Logic, Language, and Information
(NASSLLI)
, Stanford, CA
The first North American Summer School in Logic, Language, and Information (NASSLLI) will take place at Stanford University from the 24th to the 30th of June. It will be followed by the eleventh Logic, Language, and Computation Colloquium (LLC) at CSLI, the program of which will be integrated with the school.
The thematic focus of NASSLLI is modeled on that of its European sister event, ESSLLI. As it is customary with schools of this nature, the classes will run from foundational and introductory to advanced. Each lecturer will give a set of five one hour lectures on a topic suitable for a broad audience interested in the interface of logic, language, and computation.
For more information, see http://www.stanford.edu/group/nasslli/ or contact Darko Sarenac at sarenac at stanfor.edu.
24-30 June, 2002,
North American Summer School in Logic, Language, and Information
(NASSLLI)
, Stanford, CA
The first North American Summer School in Logic, Language, and Information (NASSLLI) will take place at Stanford University from the 24th to the 30th of June. It will be followed by the eleventh Logic, Language, and Computation Colloquium (LLC) at CSLI, the program of which will be integrated with the school.
The thematic focus of NASSLLI is modeled on that of its European sister event, ESSLLI. As it is customary with schools of this nature, the classes will run from foundational and introductory to advanced. Each lecturer will give a set of five one hour lectures on a topic suitable for a broad audience interested in the interface of logic, language, and computation.
For more information, see http://www.stanford.edu/group/nasslli/ or contact Darko Sarenac at sarenac at stanfor.edu.
28 June 2002, ILLC talks, Martin Otto
Abstract:
Many model theoretic arguments for modal logics rely on bisimulation invariance which can be used to prepare nice tree-like models. The resulting tree model property of modal logics plays a major part in the usefulness and good algorithmic behaviour of modal logics. Tree models are in fact quite simply obtained as bisimilar unravellings of any given models. As bisimilar unravellings are typically infinite, however, they are not suited to the context of finite model theory. Instead, one needs other nice and manageable bisimilar companion structures that can be kept finite.
In this talk I shall discuss such constructions (and related open problems) primarily with applications to semantic characterisation theorems. Other applications, in particular also related to guarded logics, provide links with extension properties for partial isomorphisms and the finite model property of guarded logics. At the methodological level, these issues serve to illustrate the power of logic games in the model theoretic study of semantic invariances that go hand in hand with corresponding model constructions and model transformations.
28 June 2002, Computing with LLI Seminar, Michael Moortgat
(Utrecht)
For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#June28.
28 June 2002, DIP Colloquium, William Croft
For abstracts and more information, see https://www.illc.uva.nl/dip/.
24-30 June, 2002,
North American Summer School in Logic, Language, and Information
(NASSLLI)
, Stanford, CA
The first North American Summer School in Logic, Language, and Information (NASSLLI) will take place at Stanford University from the 24th to the 30th of June. It will be followed by the eleventh Logic, Language, and Computation Colloquium (LLC) at CSLI, the program of which will be integrated with the school.
The thematic focus of NASSLLI is modeled on that of its European sister event, ESSLLI. As it is customary with schools of this nature, the classes will run from foundational and introductory to advanced. Each lecturer will give a set of five one hour lectures on a topic suitable for a broad audience interested in the interface of logic, language, and computation.
For more information, see http://www.stanford.edu/group/nasslli/ or contact Darko Sarenac at sarenac at stanfor.edu.
29 June 2002, The Stanford Workshop on Mood and Modality
Organized by Cleo Condoravdi and Stefan Kaufmann. For more information, see here.
24-30 June, 2002,
North American Summer School in Logic, Language, and Information
(NASSLLI)
, Stanford, CA
The first North American Summer School in Logic, Language, and Information (NASSLLI) will take place at Stanford University from the 24th to the 30th of June. It will be followed by the eleventh Logic, Language, and Computation Colloquium (LLC) at CSLI, the program of which will be integrated with the school.
The thematic focus of NASSLLI is modeled on that of its European sister event, ESSLLI. As it is customary with schools of this nature, the classes will run from foundational and introductory to advanced. Each lecturer will give a set of five one hour lectures on a topic suitable for a broad audience interested in the interface of logic, language, and computation.
For more information, see http://www.stanford.edu/group/nasslli/ or contact Darko Sarenac at sarenac at stanfor.edu.