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.
| << August 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
|
20 July - 1 August 2002, FLoC 2002: The Third Federated Logic Conference, Copenhagen, Denmark
In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted the first Federated Logic Conference (FLoC). It was modeled after the successful Federated Computer Research Conference (FCRC), and synergetically brought together conferences that apply logic to computer science.
The third Federated Logic Conference (FLoC'02) will be held in Copenhagen, Denmark, in July 2002, jointly hosted jointly by the IT University of Copenhagen, the Technical University of Denmark and the University of Copenhagen. The conference will be held at the University of Copenhagen.
The following conferences, as well as a large number of workshops, will participate in FLoC.
- Conference on Automated Deduction (July 27-30)
- Conference on Computer-Aided Verification (July 27-31)
- Formal Methods Europe (July 22-24)
- International Conference on Logic Programming (July 29th - August 1st)
- IEEE Symposium on Logic in Computer Science (LICS) (July 22-25)
- Conference on Rewriting Techniques and Applications (July 22-24)
- Automated Reasoning with Analytic Tableaux and Related Methods (July 30th - August 1st)
Deadline for early registration: 15 June 2002
For more information, an online registration form and preliminary programs, see http://floc02.diku.dk/
3-10 August 2002, Logic Colloquium '02 (ASL European Summer Meeting), Münster, Germany
The ASL makes available modest travel grants to graduate students
in logic and recent Ph.D's: the deadline for applications is
be April 1st, 2002.
For more information
3-10 August 2002, Logic Colloquium '02 (ASL European Summer Meeting), Münster, Germany
The ASL makes available modest travel grants to graduate students
in logic and recent Ph.D's: the deadline for applications is
be April 1st, 2002.
For more information
3-10 August 2002, Logic Colloquium '02 (ASL European Summer Meeting), Münster, Germany
The ASL makes available modest travel grants to graduate students
in logic and recent Ph.D's: the deadline for applications is
be April 1st, 2002.
For more information
5-16 August 2002, ESSLLI 2002:
14th European Summer School in Logic, Language and Information, Trento, Italy
The ESSLLI Summer Schools are organised under the auspices of FoLLI, the European Association for Logic, Language and Information.
The main focus of ESSLLI is on the interface between linguistics, logic and computation. The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals interested in the interdisciplinary study of Logic, Language and Information.
In previous editions of ESSLLI the courses covered a wide variety of topics within six areas of interest: Logic, Computation, Language, Logic and Computation, Computation and Language, Language and Logic. The novelty of the 14th edition is the special emphasis on the interface between the basic areas (Logic, Language, and Computation). So, this edition offers about 50 courses, organised into three interdisciplinary areas (Language & Computation, Language & Logic, and Logic & Computation), at a variety of levels (foundational, introductory, advanced), as well as a number of workshops.
Deadline for registration: 30 June 2002. Early registration closes on 15 May 2002.
For more information, an online registration form and a preliminary program, see http://www.esslli2002.it/.
5-16 August 2002, ESSLLI-2002 Student Session, Trento (Italy)
For more information, see http://www.iccs.informatics.ed.ac.uk/~malvi/esslli02.
3-10 August 2002, Logic Colloquium '02 (ASL European Summer Meeting), Münster, Germany
The ASL makes available modest travel grants to graduate students
in logic and recent Ph.D's: the deadline for applications is
be April 1st, 2002.
For more information
5-16 August 2002, ESSLLI 2002:
14th European Summer School in Logic, Language and Information, Trento, Italy
The ESSLLI Summer Schools are organised under the auspices of FoLLI, the European Association for Logic, Language and Information.
The main focus of ESSLLI is on the interface between linguistics, logic and computation. The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals interested in the interdisciplinary study of Logic, Language and Information.
In previous editions of ESSLLI the courses covered a wide variety of topics within six areas of interest: Logic, Computation, Language, Logic and Computation, Computation and Language, Language and Logic. The novelty of the 14th edition is the special emphasis on the interface between the basic areas (Logic, Language, and Computation). So, this edition offers about 50 courses, organised into three interdisciplinary areas (Language & Computation, Language & Logic, and Logic & Computation), at a variety of levels (foundational, introductory, advanced), as well as a number of workshops.
Deadline for registration: 30 June 2002. Early registration closes on 15 May 2002.
For more information, an online registration form and a preliminary program, see http://www.esslli2002.it/.
5-16 August 2002, ESSLLI-2002 Student Session, Trento (Italy)
For more information, see http://www.iccs.informatics.ed.ac.uk/~malvi/esslli02.
3-10 August 2002, Logic Colloquium '02 (ASL European Summer Meeting), Münster, Germany
The ASL makes available modest travel grants to graduate students
in logic and recent Ph.D's: the deadline for applications is
be April 1st, 2002.
For more information
5-16 August 2002, ESSLLI 2002:
14th European Summer School in Logic, Language and Information, Trento, Italy
The ESSLLI Summer Schools are organised under the auspices of FoLLI, the European Association for Logic, Language and Information.
The main focus of ESSLLI is on the interface between linguistics, logic and computation. The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals interested in the interdisciplinary study of Logic, Language and Information.
In previous editions of ESSLLI the courses covered a wide variety of topics within six areas of interest: Logic, Computation, Language, Logic and Computation, Computation and Language, Language and Logic. The novelty of the 14th edition is the special emphasis on the interface between the basic areas (Logic, Language, and Computation). So, this edition offers about 50 courses, organised into three interdisciplinary areas (Language & Computation, Language & Logic, and Logic & Computation), at a variety of levels (foundational, introductory, advanced), as well as a number of workshops.
Deadline for registration: 30 June 2002. Early registration closes on 15 May 2002.
For more information, an online registration form and a preliminary program, see http://www.esslli2002.it/.
5-16 August 2002, ESSLLI-2002 Student Session, Trento (Italy)
For more information, see http://www.iccs.informatics.ed.ac.uk/~malvi/esslli02.
3-10 August 2002, Logic Colloquium '02 (ASL European Summer Meeting), Münster, Germany
The ASL makes available modest travel grants to graduate students
in logic and recent Ph.D's: the deadline for applications is
be April 1st, 2002.
For more information
5-16 August 2002, ESSLLI 2002:
14th European Summer School in Logic, Language and Information, Trento, Italy
The ESSLLI Summer Schools are organised under the auspices of FoLLI, the European Association for Logic, Language and Information.
The main focus of ESSLLI is on the interface between linguistics, logic and computation. The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals interested in the interdisciplinary study of Logic, Language and Information.
In previous editions of ESSLLI the courses covered a wide variety of topics within six areas of interest: Logic, Computation, Language, Logic and Computation, Computation and Language, Language and Logic. The novelty of the 14th edition is the special emphasis on the interface between the basic areas (Logic, Language, and Computation). So, this edition offers about 50 courses, organised into three interdisciplinary areas (Language & Computation, Language & Logic, and Logic & Computation), at a variety of levels (foundational, introductory, advanced), as well as a number of workshops.
Deadline for registration: 30 June 2002. Early registration closes on 15 May 2002.
For more information, an online registration form and a preliminary program, see http://www.esslli2002.it/.
5-16 August 2002, ESSLLI-2002 Student Session, Trento (Italy)
For more information, see http://www.iccs.informatics.ed.ac.uk/~malvi/esslli02.
3-10 August 2002, Logic Colloquium '02 (ASL European Summer Meeting), Münster, Germany
The ASL makes available modest travel grants to graduate students
in logic and recent Ph.D's: the deadline for applications is
be April 1st, 2002.
For more information
5-16 August 2002, ESSLLI 2002:
14th European Summer School in Logic, Language and Information, Trento, Italy
The ESSLLI Summer Schools are organised under the auspices of FoLLI, the European Association for Logic, Language and Information.
The main focus of ESSLLI is on the interface between linguistics, logic and computation. The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals interested in the interdisciplinary study of Logic, Language and Information.
In previous editions of ESSLLI the courses covered a wide variety of topics within six areas of interest: Logic, Computation, Language, Logic and Computation, Computation and Language, Language and Logic. The novelty of the 14th edition is the special emphasis on the interface between the basic areas (Logic, Language, and Computation). So, this edition offers about 50 courses, organised into three interdisciplinary areas (Language & Computation, Language & Logic, and Logic & Computation), at a variety of levels (foundational, introductory, advanced), as well as a number of workshops.
Deadline for registration: 30 June 2002. Early registration closes on 15 May 2002.
For more information, an online registration form and a preliminary program, see http://www.esslli2002.it/.
5-16 August 2002, ESSLLI-2002 Student Session, Trento (Italy)
For more information, see http://www.iccs.informatics.ed.ac.uk/~malvi/esslli02.
9-11 August 2002, Colloquium Logicum, Münster (Germany)
This event, a satellite meeting of Logic Colloquium 2002,is also the biannual meeting of the German Logic Society (DVMLG). Invited speakers include: T. Arai, J. Bagaria, A. Nies, M. Otto, C. Parsons, A. Pillay, M. Rathjen, and J. van Benthem.
For more information, an online registration form and a preliminary program, see http://www.math.uni-muenster.de/LC2002/CL2002.html
3-10 August 2002, Logic Colloquium '02 (ASL European Summer Meeting), Münster, Germany
The ASL makes available modest travel grants to graduate students
in logic and recent Ph.D's: the deadline for applications is
be April 1st, 2002.
For more information
5-16 August 2002, ESSLLI 2002:
14th European Summer School in Logic, Language and Information, Trento, Italy
The ESSLLI Summer Schools are organised under the auspices of FoLLI, the European Association for Logic, Language and Information.
The main focus of ESSLLI is on the interface between linguistics, logic and computation. The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals interested in the interdisciplinary study of Logic, Language and Information.
In previous editions of ESSLLI the courses covered a wide variety of topics within six areas of interest: Logic, Computation, Language, Logic and Computation, Computation and Language, Language and Logic. The novelty of the 14th edition is the special emphasis on the interface between the basic areas (Logic, Language, and Computation). So, this edition offers about 50 courses, organised into three interdisciplinary areas (Language & Computation, Language & Logic, and Logic & Computation), at a variety of levels (foundational, introductory, advanced), as well as a number of workshops.
Deadline for registration: 30 June 2002. Early registration closes on 15 May 2002.
For more information, an online registration form and a preliminary program, see http://www.esslli2002.it/.
5-16 August 2002, ESSLLI-2002 Student Session, Trento (Italy)
For more information, see http://www.iccs.informatics.ed.ac.uk/~malvi/esslli02.
9-11 August 2002, Colloquium Logicum, Münster (Germany)
This event, a satellite meeting of Logic Colloquium 2002,is also the biannual meeting of the German Logic Society (DVMLG). Invited speakers include: T. Arai, J. Bagaria, A. Nies, M. Otto, C. Parsons, A. Pillay, M. Rathjen, and J. van Benthem.
For more information, an online registration form and a preliminary program, see http://www.math.uni-muenster.de/LC2002/CL2002.html
5-16 August 2002, ESSLLI 2002:
14th European Summer School in Logic, Language and Information, Trento, Italy
The ESSLLI Summer Schools are organised under the auspices of FoLLI, the European Association for Logic, Language and Information.
The main focus of ESSLLI is on the interface between linguistics, logic and computation. The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals interested in the interdisciplinary study of Logic, Language and Information.
In previous editions of ESSLLI the courses covered a wide variety of topics within six areas of interest: Logic, Computation, Language, Logic and Computation, Computation and Language, Language and Logic. The novelty of the 14th edition is the special emphasis on the interface between the basic areas (Logic, Language, and Computation). So, this edition offers about 50 courses, organised into three interdisciplinary areas (Language & Computation, Language & Logic, and Logic & Computation), at a variety of levels (foundational, introductory, advanced), as well as a number of workshops.
Deadline for registration: 30 June 2002. Early registration closes on 15 May 2002.
For more information, an online registration form and a preliminary program, see http://www.esslli2002.it/.
5-16 August 2002, ESSLLI-2002 Student Session, Trento (Italy)
For more information, see http://www.iccs.informatics.ed.ac.uk/~malvi/esslli02.
9-11 August 2002, Colloquium Logicum, Münster (Germany)
This event, a satellite meeting of Logic Colloquium 2002,is also the biannual meeting of the German Logic Society (DVMLG). Invited speakers include: T. Arai, J. Bagaria, A. Nies, M. Otto, C. Parsons, A. Pillay, M. Rathjen, and J. van Benthem.
For more information, an online registration form and a preliminary program, see http://www.math.uni-muenster.de/LC2002/CL2002.html
5-16 August 2002, ESSLLI 2002:
14th European Summer School in Logic, Language and Information, Trento, Italy
The ESSLLI Summer Schools are organised under the auspices of FoLLI, the European Association for Logic, Language and Information.
The main focus of ESSLLI is on the interface between linguistics, logic and computation. The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals interested in the interdisciplinary study of Logic, Language and Information.
In previous editions of ESSLLI the courses covered a wide variety of topics within six areas of interest: Logic, Computation, Language, Logic and Computation, Computation and Language, Language and Logic. The novelty of the 14th edition is the special emphasis on the interface between the basic areas (Logic, Language, and Computation). So, this edition offers about 50 courses, organised into three interdisciplinary areas (Language & Computation, Language & Logic, and Logic & Computation), at a variety of levels (foundational, introductory, advanced), as well as a number of workshops.
Deadline for registration: 30 June 2002. Early registration closes on 15 May 2002.
For more information, an online registration form and a preliminary program, see http://www.esslli2002.it/.
5-16 August 2002, ESSLLI-2002 Student Session, Trento (Italy)
For more information, see http://www.iccs.informatics.ed.ac.uk/~malvi/esslli02.
5-16 August 2002, ESSLLI 2002:
14th European Summer School in Logic, Language and Information, Trento, Italy
The ESSLLI Summer Schools are organised under the auspices of FoLLI, the European Association for Logic, Language and Information.
The main focus of ESSLLI is on the interface between linguistics, logic and computation. The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals interested in the interdisciplinary study of Logic, Language and Information.
In previous editions of ESSLLI the courses covered a wide variety of topics within six areas of interest: Logic, Computation, Language, Logic and Computation, Computation and Language, Language and Logic. The novelty of the 14th edition is the special emphasis on the interface between the basic areas (Logic, Language, and Computation). So, this edition offers about 50 courses, organised into three interdisciplinary areas (Language & Computation, Language & Logic, and Logic & Computation), at a variety of levels (foundational, introductory, advanced), as well as a number of workshops.
Deadline for registration: 30 June 2002. Early registration closes on 15 May 2002.
For more information, an online registration form and a preliminary program, see http://www.esslli2002.it/.
5-16 August 2002, ESSLLI-2002 Student Session, Trento (Italy)
For more information, see http://www.iccs.informatics.ed.ac.uk/~malvi/esslli02.
5-16 August 2002, ESSLLI 2002:
14th European Summer School in Logic, Language and Information, Trento, Italy
The ESSLLI Summer Schools are organised under the auspices of FoLLI, the European Association for Logic, Language and Information.
The main focus of ESSLLI is on the interface between linguistics, logic and computation. The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals interested in the interdisciplinary study of Logic, Language and Information.
In previous editions of ESSLLI the courses covered a wide variety of topics within six areas of interest: Logic, Computation, Language, Logic and Computation, Computation and Language, Language and Logic. The novelty of the 14th edition is the special emphasis on the interface between the basic areas (Logic, Language, and Computation). So, this edition offers about 50 courses, organised into three interdisciplinary areas (Language & Computation, Language & Logic, and Logic & Computation), at a variety of levels (foundational, introductory, advanced), as well as a number of workshops.
Deadline for registration: 30 June 2002. Early registration closes on 15 May 2002.
For more information, an online registration form and a preliminary program, see http://www.esslli2002.it/.
5-16 August 2002, ESSLLI-2002 Student Session, Trento (Italy)
For more information, see http://www.iccs.informatics.ed.ac.uk/~malvi/esslli02.
5-16 August 2002, ESSLLI 2002:
14th European Summer School in Logic, Language and Information, Trento, Italy
The ESSLLI Summer Schools are organised under the auspices of FoLLI, the European Association for Logic, Language and Information.
The main focus of ESSLLI is on the interface between linguistics, logic and computation. The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals interested in the interdisciplinary study of Logic, Language and Information.
In previous editions of ESSLLI the courses covered a wide variety of topics within six areas of interest: Logic, Computation, Language, Logic and Computation, Computation and Language, Language and Logic. The novelty of the 14th edition is the special emphasis on the interface between the basic areas (Logic, Language, and Computation). So, this edition offers about 50 courses, organised into three interdisciplinary areas (Language & Computation, Language & Logic, and Logic & Computation), at a variety of levels (foundational, introductory, advanced), as well as a number of workshops.
Deadline for registration: 30 June 2002. Early registration closes on 15 May 2002.
For more information, an online registration form and a preliminary program, see http://www.esslli2002.it/.
5-16 August 2002, ESSLLI-2002 Student Session, Trento (Italy)
For more information, see http://www.iccs.informatics.ed.ac.uk/~malvi/esslli02.
5-16 August 2002, ESSLLI 2002:
14th European Summer School in Logic, Language and Information, Trento, Italy
The ESSLLI Summer Schools are organised under the auspices of FoLLI, the European Association for Logic, Language and Information.
The main focus of ESSLLI is on the interface between linguistics, logic and computation. The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals interested in the interdisciplinary study of Logic, Language and Information.
In previous editions of ESSLLI the courses covered a wide variety of topics within six areas of interest: Logic, Computation, Language, Logic and Computation, Computation and Language, Language and Logic. The novelty of the 14th edition is the special emphasis on the interface between the basic areas (Logic, Language, and Computation). So, this edition offers about 50 courses, organised into three interdisciplinary areas (Language & Computation, Language & Logic, and Logic & Computation), at a variety of levels (foundational, introductory, advanced), as well as a number of workshops.
Deadline for registration: 30 June 2002. Early registration closes on 15 May 2002.
For more information, an online registration form and a preliminary program, see http://www.esslli2002.it/.
5-16 August 2002, ESSLLI-2002 Student Session, Trento (Italy)
For more information, see http://www.iccs.informatics.ed.ac.uk/~malvi/esslli02.
23 August 2002, PRIMES is in P, Troy Lee
Abstract:
We shall present the remarkable proof [Agarwal-Kayal-Saxena '02] that $PRIMALITY \in P$
For more information, contact Hein Roehrig (roehrig at cwi.nl).
25-30 August 2002, Second International Summer School in Computational Logic, Basilicata, Italy
The School is aimed at graduate students as well as other interested researchers, both from university and from industry. It will consist of several lectures on different aspects of CL; covering both the theoretical framework and relevant practical perspectives. Each lecture will provide the basic notions of its topic before proceeding to more advanced issues. Final exams in the topics studied will be available to participants on request.
Deadline for early registration: 15 May 2002
For more information, an online registration form and a preliminary program, see http://www.cs.unipr.it/ISCL02/
25-30 August 2002, Second International Summer School in Computational Logic, Basilicata, Italy
The School is aimed at graduate students as well as other interested researchers, both from university and from industry. It will consist of several lectures on different aspects of CL; covering both the theoretical framework and relevant practical perspectives. Each lecture will provide the basic notions of its topic before proceeding to more advanced issues. Final exams in the topics studied will be available to participants on request.
Deadline for early registration: 15 May 2002
For more information, an online registration form and a preliminary program, see http://www.cs.unipr.it/ISCL02/
26-29 August 2002, Seventh Symposium on Logic and Language, Pecs, Hungary
The Seventh Symposium on Logic and Language will be held in
Pécs from 26th to 29th of August, 2002.
Special themes are:
1. Logic and Computation - Internal Information Increase
2. Syntax and Semantics
- Word Order, Intonation and Interpretation
Invited speakers include L. Kalman, T. Reinhart, and J. van Eijck. Tutorials will be offred by T. Reinhart and K. Szendroi (Syntax-Semantics Interface) and J. van Eijck (Semantics); a third tutorial on information structure also is planned.
For more information, see http://maya.btk.pte.hu/~kata/lola7.html
25-30 August 2002, Second International Summer School in Computational Logic, Basilicata, Italy
The School is aimed at graduate students as well as other interested researchers, both from university and from industry. It will consist of several lectures on different aspects of CL; covering both the theoretical framework and relevant practical perspectives. Each lecture will provide the basic notions of its topic before proceeding to more advanced issues. Final exams in the topics studied will be available to participants on request.
Deadline for early registration: 15 May 2002
For more information, an online registration form and a preliminary program, see http://www.cs.unipr.it/ISCL02/
26-29 August 2002, Seventh Symposium on Logic and Language, Pecs, Hungary
The Seventh Symposium on Logic and Language will be held in
Pécs from 26th to 29th of August, 2002.
Special themes are:
1. Logic and Computation - Internal Information Increase
2. Syntax and Semantics
- Word Order, Intonation and Interpretation
Invited speakers include L. Kalman, T. Reinhart, and J. van Eijck. Tutorials will be offred by T. Reinhart and K. Szendroi (Syntax-Semantics Interface) and J. van Eijck (Semantics); a third tutorial on information structure also is planned.
For more information, see http://maya.btk.pte.hu/~kata/lola7.html
25-30 August 2002, Second International Summer School in Computational Logic, Basilicata, Italy
The School is aimed at graduate students as well as other interested researchers, both from university and from industry. It will consist of several lectures on different aspects of CL; covering both the theoretical framework and relevant practical perspectives. Each lecture will provide the basic notions of its topic before proceeding to more advanced issues. Final exams in the topics studied will be available to participants on request.
Deadline for early registration: 15 May 2002
For more information, an online registration form and a preliminary program, see http://www.cs.unipr.it/ISCL02/
26-29 August 2002, Seventh Symposium on Logic and Language, Pecs, Hungary
The Seventh Symposium on Logic and Language will be held in
Pécs from 26th to 29th of August, 2002.
Special themes are:
1. Logic and Computation - Internal Information Increase
2. Syntax and Semantics
- Word Order, Intonation and Interpretation
Invited speakers include L. Kalman, T. Reinhart, and J. van Eijck. Tutorials will be offred by T. Reinhart and K. Szendroi (Syntax-Semantics Interface) and J. van Eijck (Semantics); a third tutorial on information structure also is planned.
For more information, see http://maya.btk.pte.hu/~kata/lola7.html
25-30 August 2002, Second International Summer School in Computational Logic, Basilicata, Italy
The School is aimed at graduate students as well as other interested researchers, both from university and from industry. It will consist of several lectures on different aspects of CL; covering both the theoretical framework and relevant practical perspectives. Each lecture will provide the basic notions of its topic before proceeding to more advanced issues. Final exams in the topics studied will be available to participants on request.
Deadline for early registration: 15 May 2002
For more information, an online registration form and a preliminary program, see http://www.cs.unipr.it/ISCL02/
26-29 August 2002, Seventh Symposium on Logic and Language, Pecs, Hungary
The Seventh Symposium on Logic and Language will be held in
Pécs from 26th to 29th of August, 2002.
Special themes are:
1. Logic and Computation - Internal Information Increase
2. Syntax and Semantics
- Word Order, Intonation and Interpretation
Invited speakers include L. Kalman, T. Reinhart, and J. van Eijck. Tutorials will be offred by T. Reinhart and K. Szendroi (Syntax-Semantics Interface) and J. van Eijck (Semantics); a third tutorial on information structure also is planned.
For more information, see http://maya.btk.pte.hu/~kata/lola7.html
30 August 2002, Afscheidssymposium Jaco de Bakker, CWI, Turing Zaal Z011
Op 1 juli j.l. heeft Jaco de Bakker het CWI verlaten, waarmee een einde is gekomen aan een wetenschappelijke loopbaan van bijna veertig jaar, die met zijn aanstelling in 1964 bij de Stichting Mathematisch Centrum, de voorloper van het CWI, begon.
Ter gelegenheid van Jaco's afscheid wordt er een symposium ter zijner ere gehouden. Het programma zal bestaan uit lezingen van de volgende sprekers:
Jan Bergstra (UvA, UU)
Paul klint (CWI, UvA)
Joost Kok (UL)
Gerard van Oortmerssen (CWI)
Jan Rutten (CWI, VU)
John Tucker (University of Wales Swansea)
en zal worden afgesloten met een borrel.