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 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
|
31 October - 2 November 2002, Self-reference, PHILOG, Roskilde, Denmark
PHILOG - The Danish Network for Philosophical Logic and Its Applications, is organizing a conference on self-reference. The aim of the conference is to bring together researchers in the fields of philosophy, mathematics, and computer science to present theories of and related to self-reference - especially pertaining to theories that explain and resolve the above paradoxes and thereby advance new theories for the involved fields.
All lectures will be of such a nature that they can be followed by students and scholars of philosophy, computer science, linguistics etc. without deep professional training in epistemic logic but provided with general knowledge of foundational issues.
For more information, see here or the PHILOG website at http://www.philog.ruc.dk
1 November 2002, Colloquium on Mathematical Logic, Andreas Weiermann
(first session)
(Bus 12 from Utrecht Central Station).
Andreas Weiermann starts a mini-course of three lectures, which will take place on Friday afternoons, on November 1, November 8, and November 22.
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
1 November 2002, DIP Colloquium, Gerhard Jäger
For abstracts and more information, see https://www.illc.uva.nl/dip/.
31 October - 2 November 2002, Self-reference, PHILOG, Roskilde, Denmark
PHILOG - The Danish Network for Philosophical Logic and Its Applications, is organizing a conference on self-reference. The aim of the conference is to bring together researchers in the fields of philosophy, mathematics, and computer science to present theories of and related to self-reference - especially pertaining to theories that explain and resolve the above paradoxes and thereby advance new theories for the involved fields.
All lectures will be of such a nature that they can be followed by students and scholars of philosophy, computer science, linguistics etc. without deep professional training in epistemic logic but provided with general knowledge of foundational issues.
For more information, see here or the PHILOG website at http://www.philog.ruc.dk
8 November 2002, Computing with LLI Seminar, Rick Sommer
(EPGY Stanford)
For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-2.html#Nov8.
8 November 2002, Colloquium on Mathematical Logic, Andreas Weiermann
(second session)
(Bus 12 from Utrecht Central Station).
Andreas Weiermann starts a mini-course of three lectures, which will take place on Friday afternoons, on November 1, November 8, and November 22.
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
8 November 2002, DIP/LEGO Colloquium, Craige Roberts
For abstracts and more information, see https://www.illc.uva.nl/dip/.
12 November 2002, Zuidelijk Interuniversitair Colloquium (ZIC), Jesse Hughes
For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Francien Dechesne (f.dechesne at uvt.nl).
15 November 2002, Utrecht-Münster Seminar on Provability Algebras
(second session)
In 2002/2003 a joint Compact Seminar on Provability Algebras is organized by L. Beklemishev and W. Pohlers. Altogether, four sessions, alternating in Utrecht (Department of Philosophy) and in Münster (Institute for Mathematical Logic and Foundations Research), will take place.
Graded provability algebras (GPA) are modal algebras developed to provide an abstract algebraic approach to proof-theoretic analysis. This subject brings together traditional methods of proof theory and methods developed in provability logic.
For more information, see here, or contact Lev Beklimishev at lev at phil.uu.nl.
15 November 2002, Computing with LLI Seminar, Rosella Gennari
(Amsterdam)
For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-2.html#Nov15.
15 November 2002, DIP Colloquium, Hans-Martin Gärtner
For abstracts and more information, see https://www.illc.uva.nl/dip/.
19 November 2002, Amsterdam-Utrecht Workshops
On Tuesday November 19, 2002, there will be an Amsterdam-Utrecht workshop entitled "Meaning and Intonation". Everyone is welcome.
For more information, see here or http://www-uilots.let.uu.nl/events/conflinks.htm.
20 November 2002, Logic Tea, Evan Goris, UvA
Amsterdam
The Logic Tea homepage can be found at http://staff.science.uva.nl/~debruin/logic_tea.html. For further information please contact Mark Theunissen at mailto:mtheunis at science.uva.nl, or Boudewijn de Bruin at mailto:debruin at science.uva.nl.
22 November 2002, Colloquium on Mathematical Logic, Andreas Weiermann
(third session)
(Bus 12 from Utrecht Central Station).
Andreas Weiermann starts a mini-course of three lectures, which will take place on Friday afternoons, on November 1, November 8, and November 22.
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
22 November 2002, Activating Epistemology, Vincent F. Hendericks
For more information, see here or Vincent Hendericks' page at http://www.ruc.dk/~vincent/.
26 November 2002, Zuidelijk Interuniversitair Colloquium (ZIC), Marc Pauly
For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Francien Dechesne (f.dechesne at uvt.nl).
27-28 November 2002, Linguistic Corpora and Logic Based Grammar Formalisms
28/11: Kromme Nieuwegracht 29, Room: 0.23 "Curatorenkamer")
The workshop brings together a number of research groups working on
annotated corpora and their linguistic exploitation. The common emphasis is on
semantically relevant, 'deep' annotation (in the form of dependency structures,
type structures, ...) in addition to purely
syntactic information. The annotation approach taken in the
CGN (Spoken Dutch Corpus) project is compared with that of the visiting
groups.
The workshop is supported by CoLogNet and LOT/OTS.
For more information, see http://www.let.uu.nl/~ctl/workshops/programme.html
27-28 November 2002, Linguistic Corpora and Logic Based Grammar Formalisms
28/11: Kromme Nieuwegracht 29, Room: 0.23 "Curatorenkamer")
The workshop brings together a number of research groups working on
annotated corpora and their linguistic exploitation. The common emphasis is on
semantically relevant, 'deep' annotation (in the form of dependency structures,
type structures, ...) in addition to purely
syntactic information. The annotation approach taken in the
CGN (Spoken Dutch Corpus) project is compared with that of the visiting
groups.
The workshop is supported by CoLogNet and LOT/OTS.
For more information, see http://www.let.uu.nl/~ctl/workshops/programme.html
28 November 2002, GLLC
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. The seventh edition of the workshop on Games in Logic, Language and Computation (GLLC7) will be held on Thursday November 28, 2002.
For more information on the workshop, including schedule, abstracts and travel information, see https://www.illc.uva.nl/lgc/gllc7/.
29 november 2002, Herfstsymposium 'Moderne Perspectieven op de Pioniers', Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
De Nederlandse Vereniging voor Wetenschapsfilosofie, Nederlandse Vereniging voor Logica, Evert Willem Beth Stichting en Stichting Wiener Kreis Archief organizeren een gezamenlijk herfstsymposium over Wetenschapsfilosofie en Logica: Moderne Perspectieven op de Pioniers.
Sprekers: Dirk van Dalen (Utrecht) over Brouwers anti-realisme en het wiskundig universum, Shahid Rahman (Lille) met 'Some reflections on the Vienna Circle program', Henk Visser (Maastricht) over Beth als wetenschapsfilosoof, en Michel ter Hark (Groningen) over Popper en de vroege cognitieve psychologie en pedagogie. Aan het eind volgt een discussie over de moderne relevantie van de pioniers voor het huidige interface van wetenschapsfilosofie en logica.
Voor meer information, see here or http://www.cwi.nl/vvl/toekomst.html.