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.
| << February 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
|
|
7 February 2003, Computing with LLI Seminar, Dirk Povel
For abstracts and more information, see http://lit.science.uva.nl/News/seminar03-1.html#Feb7.
11 February 2003, Zuidelijk Interuniversitair Colloquium (ZIC), Vincent van Oostrom and Dimitri Hendriks
For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Francien Dechesne (f.dechesne at uvt.nl).
11 February 2003, Logic Tea, Mart de Graaf
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.
13 February 2003, DIP Colloquium, Gabor Alberti
For abstracts and more information, see https://www.illc.uva.nl/dip/.
14 February 2003, Utrecht-Münster Seminar on Provability Algebras
(fourth 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.
14-17 February 2003, FotFS IV : The History of the
Concept of the Formal Sciences, Rheinische Friedrich-Wilhelms-Universitaet Bonn Mathematisches
Institut
Institut
"Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main goal is to reestablish the traditionally strong links between these areas of research that have been lost in the past decades.
This fourth meeting of the series will be devoted to a reflection on the object of interest: What are the Formal Sciences? How do they differ from the Natural Sciences and the Arts? How have they been perceived through history?
Deadline for submissions: November 1, 2002. For more information and submission guidelines, please see http://www.math.uni-bonn.de/people/fotfs/IV/, or contact the organizers at fotfs at math.uni-bonn.de.
14 February 2003, DIP Colloquium, Benjamin Spector
(
Laboratoire de Linguistique Formelle, Université de Paris 7;
Institut Jean-Nicod, Paris
)
For abstracts and more information, see https://www.illc.uva.nl/dip/.
14-17 February 2003, FotFS IV : The History of the
Concept of the Formal Sciences, Rheinische Friedrich-Wilhelms-Universitaet Bonn Mathematisches
Institut
Institut
"Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main goal is to reestablish the traditionally strong links between these areas of research that have been lost in the past decades.
This fourth meeting of the series will be devoted to a reflection on the object of interest: What are the Formal Sciences? How do they differ from the Natural Sciences and the Arts? How have they been perceived through history?
Deadline for submissions: November 1, 2002. For more information and submission guidelines, please see http://www.math.uni-bonn.de/people/fotfs/IV/, or contact the organizers at fotfs at math.uni-bonn.de.
14-17 February 2003, FotFS IV : The History of the
Concept of the Formal Sciences, Rheinische Friedrich-Wilhelms-Universitaet Bonn Mathematisches
Institut
Institut
"Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main goal is to reestablish the traditionally strong links between these areas of research that have been lost in the past decades.
This fourth meeting of the series will be devoted to a reflection on the object of interest: What are the Formal Sciences? How do they differ from the Natural Sciences and the Arts? How have they been perceived through history?
Deadline for submissions: November 1, 2002. For more information and submission guidelines, please see http://www.math.uni-bonn.de/people/fotfs/IV/, or contact the organizers at fotfs at math.uni-bonn.de.
14-17 February 2003, FotFS IV : The History of the
Concept of the Formal Sciences, Rheinische Friedrich-Wilhelms-Universitaet Bonn Mathematisches
Institut
Institut
"Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main goal is to reestablish the traditionally strong links between these areas of research that have been lost in the past decades.
This fourth meeting of the series will be devoted to a reflection on the object of interest: What are the Formal Sciences? How do they differ from the Natural Sciences and the Arts? How have they been perceived through history?
Deadline for submissions: November 1, 2002. For more information and submission guidelines, please see http://www.math.uni-bonn.de/people/fotfs/IV/, or contact the organizers at fotfs at math.uni-bonn.de.
20 February 2003, CWI INS4 Theory Day
Program
- 11.00
- Ilan Newman, Haifa University
Three results on graphs and Property Testing - 13.30
- Gabor Tardos, Renyi Institute, Budapest
Optimal probabilistic fingerprint codes - 14.30
- Maria Luisa Bonet, UPC Barcelona
tba - 16.00
- David Mix Barrington, U. of Massachusetts
Uniform Circuits for Division: Consequences and Problems
For more information, see http://www.cwi.nl/~roehrig/theory-day-20030220.html.
20 February 2003, Computing with LLI Seminar, Sisay Fissaha
(Saarland)
For abstracts and more information, see http://lit.science.uva.nl/News/seminar03-1.html#Feb20.
25 February 2003, Zuidelijk Interuniversitair Colloquium (ZIC), Mirna Bognar
(Deloitte & Touche, previous affiliation: VU)
For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Francien Dechesne (f.dechesne at uvt.nl).
28 February 2003, ACLC-ILLC Workshop
For both ACLC and ILLC understanding natural language is `core business', but hitherto contact between the two institutes has been limited. Recently several areas have been identified, where we would like to profit from each other's expertise. For example, the formal semanticists working on tense and aspect are very much interested in typology, and conversely functional linguists have become interested in formal models of discourse. During the afternoon, four speakers will introduce topics that might grow into areas of common research. Participants who want to discuss other such topics are most welcome to do so.
For more information, see the DIP Colloqium page at https://www.illc.uva.nl/dip/, or contact m.nilsenova at hum.uva.nl.