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.
| << December 2001 | ||||||
|---|---|---|---|---|---|---|
| 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
|
|||||
30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf
The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001
For more information, contact Peter van Emde Boas at peter at science.uva.nl.
30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf
The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001
For more information, contact Peter van Emde Boas at peter at science.uva.nl.
30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf
The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001
For more information, contact Peter van Emde Boas at peter at science.uva.nl.
30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf
The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001
For more information, contact Peter van Emde Boas at peter at science.uva.nl.
30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf
The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001
For more information, contact Peter van Emde Boas at peter at science.uva.nl.
30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf
The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001
For more information, contact Peter van Emde Boas at peter at science.uva.nl.
30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf
The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001
For more information, contact Peter van Emde Boas at peter at science.uva.nl.
7 December 2001, Multimodal Communication with Embodied Agents
The one-day symposium is aimed at bringing together people working on topics related to multimodal conversation with embodied agents. We wish to keep the event informal and interactive, but of high professional level. Selected participants will have the opportunity to present and/or demo their current work. We expect participants working in different fields, including (but not limited to) computer graphics, image processing, artificial intelligence, natural language processing, speech technology and psychology.
For more information and a program, see the symposium webpage at http://fdlwww.kub.nl/~krahmer/workshp.htm.
7 December 2001, Colloquium on Mathematical Logic, Benno van den Berg
(Bus 12 from Utrecht Central Station).
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf
The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001
For more information, contact Peter van Emde Boas at peter at science.uva.nl.
30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf
The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001
For more information, contact Peter van Emde Boas at peter at science.uva.nl.
30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf
The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001
For more information, contact Peter van Emde Boas at peter at science.uva.nl.
30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf
The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001
For more information, contact Peter van Emde Boas at peter at science.uva.nl.
11 December 2001,
Complexity lower bounds for Positivstellensatz proofs
,
D. Grigoriev
Recently an approach to NP-coNP problem based on proof systems using the Nullstellensatz was developed and there were shown complexity lower bounds for the proofs in such systems. In the talk a stronger proof system which relies on the Positivstellensatz is introduced and complexity lower bounds for several problems like the knapsack or the parity principle are established. These results could be also treated independently of the complexity theory as the lower bounds in the Positivstellensatz.
For more information, see http://ssor.twi.tudelft.nl/~dima
30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf
The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001
For more information, contact Peter van Emde Boas at peter at science.uva.nl.
12 December 2001, Workshop on Games and Logic
For a program and abstracts of the talks, see here.
30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf
The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001
For more information, contact Peter van Emde Boas at peter at science.uva.nl.
13 December 2001, Computing with LLI Seminar, Canceled
Our planned seminar with Joe Halpern (Cornell) on A computer scientist looks at game theory, will now be part of the workshop on Games and Logic, on December 12.
13 December 2001, Computing with LLI Seminar (informal meeting),
Tadeusz Litak
For abstracts and more information, see http://lit.science.uva.nl/News/seminar01-2.html#December13
30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf
The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001
For more information, contact Peter van Emde Boas at peter at science.uva.nl.
14 December 2001, Thematic Afternoon on Constructivism,
De Rode Hoed, Keizersgracht 102, 1015 CV Amsterdam
Provisional Programme
13.30-13.45 Reception with tea, coffee
13.45-14.00 Introduction by the chairman of the Arend Heyting
Foundation
14.00-15.00 F. Richman, Constructive algebra
(1st Arend Heyting Lecture)
15.00-15.45 Tea
15.45-16.45 A. Simpson, After the Interval
16.50-17.35 J. van Oosten, Modified realizability
For more information, see http://staff.science.uva.nl/~anne/heyting.html
30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf
The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001
For more information, contact Peter van Emde Boas at peter at science.uva.nl.
30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf
The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001
For more information, contact Peter van Emde Boas at peter at science.uva.nl.
30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf
The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001
For more information, contact Peter van Emde Boas at peter at science.uva.nl.
17 - 19 December 2001, The Thirteenth Amsterdam Colloquium, Amsterdam
The Thirteenth Amsterdam Colloquium will be held from December 17-19 at the Universiteit van Amsterdam. The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians and computer scientists who share an interest in the formal study of semantics of natural and formal languages. The spectrum of topics covered ranges from descriptive (semantic analyses of all kinds of expressions) to theoretical (logical and computational properties of semantic theories, philosophical foundations).
For more information, see the conference website at https://www.illc.uva.nl/ac2001
30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf
The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001
For more information, contact Peter van Emde Boas at peter at science.uva.nl.
17 - 19 December 2001, The Thirteenth Amsterdam Colloquium, Amsterdam
The Thirteenth Amsterdam Colloquium will be held from December 17-19 at the Universiteit van Amsterdam. The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians and computer scientists who share an interest in the formal study of semantics of natural and formal languages. The spectrum of topics covered ranges from descriptive (semantic analyses of all kinds of expressions) to theoretical (logical and computational properties of semantic theories, philosophical foundations).
For more information, see the conference website at https://www.illc.uva.nl/ac2001
18 December 2001, Zuidelijk Interuniversitair Colloquium (ZIC), Dirk van Dalen
In 1918 Brouwer published a principle that was basic for the theory of choice sequences: the continuity principle, which says that all mappings from choice sequences of natural numbers to natural numbers are continuous. A foundational argument for the principle was not given. Since then a number of arguments have been put forward to provide a foundational basis for the principle. None of these have been absolutely successful to the degree that we accept the axioms for arithmetic. We will look into this matter and see what can be done. Also the case of the lawlike sequences is considered. Furthermore a pedestrian proof of the Kreisel-Lacombe-Shoenfield-Tscheitin theorem (all functions from recursive functionals to natural numbers are continuous) will be sketched, using a technique, now known as Ishihara's trick.
30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf
The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001
For more information, contact Peter van Emde Boas at peter at science.uva.nl.
17 - 19 December 2001, The Thirteenth Amsterdam Colloquium, Amsterdam
The Thirteenth Amsterdam Colloquium will be held from December 17-19 at the Universiteit van Amsterdam. The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians and computer scientists who share an interest in the formal study of semantics of natural and formal languages. The spectrum of topics covered ranges from descriptive (semantic analyses of all kinds of expressions) to theoretical (logical and computational properties of semantic theories, philosophical foundations).
For more information, see the conference website at https://www.illc.uva.nl/ac2001
19 December 2001, Computing with LLI Seminar, Yoad Winter and Khalil Sima'an
(Amsterdam and Tilburg)
ABSTRACT: We describe the process of building the first tree-bank for Modern Hebrew texts. A major concern in this process is the need for reducing the cost of manual annotation by the use of automatic means. To this end, the joint utility of an automatic morphological analyzer, a probabilistic parser and a small manually annotated tree-bank was explored. An initial tree-bank that consists of 500 annotated sentences from a daily newspaper is described. The annotation scheme that underlies the tree-bank analyses integrates morphology and syntax. An existing morphological analyzer and a language-independent probabilistic parser were applied to this tree-bank. Based on the results of some experiments with these tools, a semi-automatic procedure for future enlargement of the tree-bank is outlined.
For abstracts and more information, see http://lit.science.uva.nl/News/seminar01-2.html#December19
30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf
The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001
For more information, contact Peter van Emde Boas at peter at science.uva.nl.
20 December 2001, A Farewell to the Spinoza project 'Logic in Action'
href="http://cf.bc.uva.nl/english/facilities/museums/agniet.html"
>Agnietenkapel</a>, Oudezijds Voorburgwal 231
In October 1996, the Dutch national research organization NWO awarded one of its annual Spinoza grants to Johan van Benthem, professor of logic at the Universiteit van Amsterdam. This grant led to the project 'Logic in Action', whose general aims were the study of information flow and the promotion of logic within the information sciences.
5 years and 2 million guilders later the project is coming to an end. On December 20 there will be a one-day event to officially close 'Logic in Action' and reflect on the future. We are pleased to invite you to attend.
The full text of this announcement may be found at here. For more information and registration, please contact Ingrid van Loon at ingrid at science.uva.nl.
30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf
The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001
For more information, contact Peter van Emde Boas at peter at science.uva.nl.
30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf
The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001
For more information, contact Peter van Emde Boas at peter at science.uva.nl.
30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf
The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001
For more information, contact Peter van Emde Boas at peter at science.uva.nl.
30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf
The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001
For more information, contact Peter van Emde Boas at peter at science.uva.nl.
30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf
The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001
For more information, contact Peter van Emde Boas at peter at science.uva.nl.
30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf
The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001
For more information, contact Peter van Emde Boas at peter at science.uva.nl.
30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf
The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001
For more information, contact Peter van Emde Boas at peter at science.uva.nl.
30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf
The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001
For more information, contact Peter van Emde Boas at peter at science.uva.nl.
30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf
The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001
For more information, contact Peter van Emde Boas at peter at science.uva.nl.
30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf
The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001
For more information, contact Peter van Emde Boas at peter at science.uva.nl.
30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf
The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001
For more information, contact Peter van Emde Boas at peter at science.uva.nl.