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.
| << November 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 October - 1 November 2003, The Logic of Time and Modality, PHILOG, Roskilde University (RUC)
Arthur Norman Prior (1914-69) was the founding father of the modern logic of time and modality. There is still a lot to learn from Prior's writings, and of Prior's last book Papers on Time and Tense. The conference "The Logic of Time and Modality", organized by PHILOG, aims to discuss the modern challenges, problems, and applications of the Priorean approach to the logic of time and modality.
For more information, see http://www.philog.ruc.dk/phiconf3.html
4 November 2003, Zuidelijk Interuniversitair Colloquium (ZIC), Suzana Andova
(Twente)
For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Francien Dechesne (f.dechesne at uvt.nl).
4 November 2003, Meeting of the Spatial Reasoning Group, Spencer Gerhardt
This week Spencer will tell us about his new proof of completeness of temporal logic with interior operator interpreted over rationals, and the relation of this logic to betweenness modality.
For more information, contact Darko S. at sarenac at stanford.edu
5 November 2003, DIP Colloquium, Barteld Kooi
For abstracts and more information, see https://www.illc.uva.nl/dip/.
6-8 November 2003, SPR-03; 2nd Int. Workshop on Semantics, Pragmatics and Rhetoric
SPR-03 is organized by the Institute for Logic, Cognition, Language and Information (ILCLI) of the University of the Basque Country (UPV-EHU).
For more information, see here or http://www.sc.ehu.es/ilwlaanj/SPR/SPR03.html, email ylplaanj at sf.ehu.es or call +34-943-017451
6 November 2003, CWI INS4 seminar, Peter Grunwald
(joint work with Joe Halpern, Cornell University, Ithaca, NY)
As examples such as the Monty Hall and the 3-prisoners puzzle show, applying conditioning to update a probability distribution on a ``naive space'', which does not take into account the protocol used, can often lead to counterintuitive results. We give a detailed explanation of this phenomenon. A criterion known as CAR (``coarsening at random'') in the statistical literature characterizes when ``naive'' conditioning in a naive space works. We provide two new characterizations of CAR. First we show that in many situations, CAR essentially *cannot* hold, so that naive conditioning must give the wrong answer. Second, we provide a procedural characterization of CAR, giving a randomized algorithm that generates all and only distributions for which CAR holds. Both results complement earlier work by Gill, van der Laan and Robins.
We also consider more generalized notions of update such as Jeffrey conditioning and minimizing relative entropy (MRE). We give a generalization of the CAR condition that characterizes when Jeffrey conditioning leads to appropriate answers, and show that there exist some very simple settings in which MRE essentially never gives the right results. This generalizes and interconnects previous results obtained in the literature on CAR and MRE.
6 November 2003, Logic Tea, Evangelos Tzanis, ILLC
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Merlijn Sevenster (sevenstr at science.uva.nl) or Hartmut Fitz (hfitz at hum.uva.nl).
6-8 November 2003, SPR-03; 2nd Int. Workshop on Semantics, Pragmatics and Rhetoric
SPR-03 is organized by the Institute for Logic, Cognition, Language and Information (ILCLI) of the University of the Basque Country (UPV-EHU).
For more information, see here or http://www.sc.ehu.es/ilwlaanj/SPR/SPR03.html, email ylplaanj at sf.ehu.es or call +34-943-017451
7 November 2003, On the Role of Sense, Tapio Korte, University of Turku
Tapio Korte will argue, against Carnap, Church and Dummett, that the role of sense in Frege's theory of meaning is to act as a bearer of reference, not to mediate between expression and object.
For the full abstract and more information, see http://www.ph.vu.nl/~arianna/TapioKorte.pdf or contact A.Betti at ph.vu.nl.
7 November 2003, ILLC Lectures (Special), Mark Steedman
Grote Vergaderzaal, Herengracht 182, Amsterdam
This talk discusses some interactions of scope alternation with syntactic phenomena including coordination, binding, and word-order in Germanic languages.
For more information, see here
6-8 November 2003, SPR-03; 2nd Int. Workshop on Semantics, Pragmatics and Rhetoric
SPR-03 is organized by the Institute for Logic, Cognition, Language and Information (ILCLI) of the University of the Basque Country (UPV-EHU).
For more information, see here or http://www.sc.ehu.es/ilwlaanj/SPR/SPR03.html, email ylplaanj at sf.ehu.es or call +34-943-017451
13 November 2003, Logic Tea, Allard Tamminga, Groningen
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Merlijn Sevenster (sevenstr at science.uva.nl) or Hartmut Fitz (hfitz at hum.uva.nl).
14 November 2003, Computing with LLI Seminar & LIT/MoL Meeting, Juan Heguiabehere
Juan Heguiabehere will talk about the importance of implementation and benchmarking in automated reasoning, especially as concerns modal and hybrid theorem proving, and the use of Dynamic Predicate Logic (DPL) and extensions as a programming language.
Afterwards there will be a meeting of the LIT group with the students from the Master of Logic program. This meeting will be held at the Herengracht 182, starting at 16.00. The meeting is only accessible for LIT and/or MOL members.
For abstracts and more information, see http://lit.science.uva.nl/News/seminar03-2.html#Nov14.
14 November 2003, Colloquium on Mathematical Logic, Sonja Smets
on the Logicality of Quantum Systems
Joint meeting with IHFS
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
14 November 2003, DIP Colloquium, Hedde Zeijlstra
For abstracts and more information, see https://www.illc.uva.nl/dip/.
19 November 2003, CSCA Lecture, Johan van Benthem
(Amsterdam)
from formal information analysis to writing social software
For more information see the CSCA website at http://www.csca.uva.nl/.
20-22 November 2003, 50 years of Studia Logica: Trends in Logic II, The Carlsberg Academy, Copenhagen, Denmark
This is the second of two conferences on the occasion of the 50th Anniversary of the leading journal in symbolic logic Studia Logica. The aim of the conference is to bring together scholars of philosophy, logic, mathematics, and computer science and other discplines who have contributed significantly to what Studia Logica is today. The conference will include lectures by distinguished scholars covering topics within the aim and scope of the journal.
For more information, see http://www.50yrs.philog.ruc.dk/conference2.html
20 November 2003, Logic Tea, Felix Bou Moliner
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Merlijn Sevenster (sevenstr at science.uva.nl) or Hartmut Fitz (hfitz at hum.uva.nl).
25 November 2003, Zuidelijk Interuniversitair Colloquium (ZIC), Paul Harrenstein
(Utrecht)
For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Francien Dechesne (f.dechesne at uvt.nl).
27 November 2003, Logic Tea, Lorenz Halbeisen
The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Merlijn Sevenster (sevenstr at science.uva.nl) or Hartmut Fitz (hfitz at hum.uva.nl).
28 November 2003, DIP Colloquium, Fabio Paglieri,
For abstracts and more information, see https://www.illc.uva.nl/dip/.
28 November 2003, CEPON colloquia, Vrije Universiteit Amsterdam, Main Building, Room 13A-11/13
A Colloquium on the Philosophy and History of Logic and Language. Speakers include Jan Wolenski (Cracow/NIAS Wassenaar), Sandra Lapointe (Québec/CNRS Paris), Willem R. de Jong (VU Amsterdam) and Wojciech Zelaniec (Zielona Gora).
For more information, see http://www.ph.vu.nl/~arianna/AS.html
28 November 2003, Colloquium on Mathematical Logic, Clemens Kupke, Philipp Gerhardy
(Bus 12 from Utrecht Central Station).
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
30 November 2003, ILLC-Day in Bonn
The ILLC-Day in Bonn will be the second part of a pair of one-day workshops connecting logical research in Bonn and at the ILLC in Amsterdam. The first event was the LiB-Day in Amsterdam (June 30, 2003). We hope that several researchers from the Bonn Forschergruppe Wissensformate will be present for discussions.
All researchers, graduate students and undergraduate students are cordially invited to join us for the talks.
For more information, see http://staff.science.uva.nl/~bloewe/ILLC-Day.html