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 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
|
|||
1-12 December 2003, The Logic & Automated Reasoning Summer School 2003
Students (postgraduate and undergraduate) in logic,
senior educators teaching logic,
and IT professionals using formal methods
The Australian National University (ANU) has an exciting opportunity for IT professionals, senior educators, and students to enhance their logic and reasoning skills in a two-week intensive summer school. The Logic and Automated Reasoning Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and Australian experts.
Registration closes Friday 31 October 2003. For more information, see http://arp.anu.edu.au/lss/ or get the brochure at the ILLC office
1-12 December 2003, The Logic & Automated Reasoning Summer School 2003
Students (postgraduate and undergraduate) in logic,
senior educators teaching logic,
and IT professionals using formal methods
The Australian National University (ANU) has an exciting opportunity for IT professionals, senior educators, and students to enhance their logic and reasoning skills in a two-week intensive summer school. The Logic and Automated Reasoning Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and Australian experts.
Registration closes Friday 31 October 2003. For more information, see http://arp.anu.edu.au/lss/ or get the brochure at the ILLC office
2 December 2003, Zuidelijk Interuniversitair Colloquium (ZIC), Patrik Eklund
(Umea University, Sweden & Abo Akademi, Finland)
For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Francien Dechesne (f.dechesne at uvt.nl).
1-12 December 2003, The Logic & Automated Reasoning Summer School 2003
Students (postgraduate and undergraduate) in logic,
senior educators teaching logic,
and IT professionals using formal methods
The Australian National University (ANU) has an exciting opportunity for IT professionals, senior educators, and students to enhance their logic and reasoning skills in a two-week intensive summer school. The Logic and Automated Reasoning Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and Australian experts.
Registration closes Friday 31 October 2003. For more information, see http://arp.anu.edu.au/lss/ or get the brochure at the ILLC office
3 December 2003, Computing with LLI Seminar, Christof Monz
For abstracts and more information, see http://lit.science.uva.nl/News/seminar03-2.html#Dec03.
1-12 December 2003, The Logic & Automated Reasoning Summer School 2003
Students (postgraduate and undergraduate) in logic,
senior educators teaching logic,
and IT professionals using formal methods
The Australian National University (ANU) has an exciting opportunity for IT professionals, senior educators, and students to enhance their logic and reasoning skills in a two-week intensive summer school. The Logic and Automated Reasoning Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and Australian experts.
Registration closes Friday 31 October 2003. For more information, see http://arp.anu.edu.au/lss/ or get the brochure at the ILLC office
4 December 2003, Workshop "Opponent Models in Games", IKAT, Universiteit Maastricht
Playing games is a challenging task. It is even more interesting when a player anticipates the behaviour of the opponent. An important task of playing games is to detect and employ weaknesses in the opponent's strategy. For human players, it is a part of psychology to anticipate the opponent's move. For computers such things belong to the domain of artificial intelligence. Obviously, most of the current game-playing computer programs do not take the peculiarities of the opponent into account. This holds especially for computer programs that play the classical board games such as chess, go, and checkers. In other areas of computer game-playing, opponent-modelling is an integral part of the strategy, for instance in repeated games such as Roshambo and Poker. This workshop deals with the use of opponent models by computers in classical board games, repeated games, and in modern action games.
For more information, see http://www.cs.unimaas.nl/~donkers/workshop/
1-12 December 2003, The Logic & Automated Reasoning Summer School 2003
Students (postgraduate and undergraduate) in logic,
senior educators teaching logic,
and IT professionals using formal methods
The Australian National University (ANU) has an exciting opportunity for IT professionals, senior educators, and students to enhance their logic and reasoning skills in a two-week intensive summer school. The Logic and Automated Reasoning Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and Australian experts.
Registration closes Friday 31 October 2003. For more information, see http://arp.anu.edu.au/lss/ or get the brochure at the ILLC office
5 December 2003, 2003 Hybrid Logic Meeting
This year's annual hybrid logics meeting will be organized at ILLC in Amsterdam. The intended purpose of the meeting is to examine some of the new directions in the world of HyLo research as well as to put future of hybrid logic in perspective.
For more information and a provisional program, see http://staff.science.uva.nl/~bcate/hylo/
5 December 2003, Computing with LLI Seminar, Roberto Sebastiani
Büchi Automata for Efficient LTL Model Checking
For abstracts and more information, see http://lit.science.uva.nl/News/seminar03-2.html#Dec05.
5 December 2003, DIP Colloquium, Wouter Kusters
For abstracts and more information, see https://www.illc.uva.nl/dip/.
1-12 December 2003, The Logic & Automated Reasoning Summer School 2003
Students (postgraduate and undergraduate) in logic,
senior educators teaching logic,
and IT professionals using formal methods
The Australian National University (ANU) has an exciting opportunity for IT professionals, senior educators, and students to enhance their logic and reasoning skills in a two-week intensive summer school. The Logic and Automated Reasoning Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and Australian experts.
Registration closes Friday 31 October 2003. For more information, see http://arp.anu.edu.au/lss/ or get the brochure at the ILLC office
1-12 December 2003, The Logic & Automated Reasoning Summer School 2003
Students (postgraduate and undergraduate) in logic,
senior educators teaching logic,
and IT professionals using formal methods
The Australian National University (ANU) has an exciting opportunity for IT professionals, senior educators, and students to enhance their logic and reasoning skills in a two-week intensive summer school. The Logic and Automated Reasoning Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and Australian experts.
Registration closes Friday 31 October 2003. For more information, see http://arp.anu.edu.au/lss/ or get the brochure at the ILLC office
1-12 December 2003, The Logic & Automated Reasoning Summer School 2003
Students (postgraduate and undergraduate) in logic,
senior educators teaching logic,
and IT professionals using formal methods
The Australian National University (ANU) has an exciting opportunity for IT professionals, senior educators, and students to enhance their logic and reasoning skills in a two-week intensive summer school. The Logic and Automated Reasoning Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and Australian experts.
Registration closes Friday 31 October 2003. For more information, see http://arp.anu.edu.au/lss/ or get the brochure at the ILLC office
8 and 9 December 2003, DIR-2003 4th Dutch-Belgian Information Retrieval Workshop
information retrieval and related disciplines
The primary aim of the workshop is to provide a meeting place where researchers from the Netherlands and Belgium (and neighboring countries) who are working in the domain of information retrieval and related disciplines can exchange information and present new research developments. Keynote speakers will include Charlie Clarke (University of Waterloo), Bjørn Olstad (FAST Search, 2bconfirmed), and Bonnie Webber (University of Edinburgh).
For more information, see here or http://lit.science.uva.nl/DIR/.
1-12 December 2003, The Logic & Automated Reasoning Summer School 2003
Students (postgraduate and undergraduate) in logic,
senior educators teaching logic,
and IT professionals using formal methods
The Australian National University (ANU) has an exciting opportunity for IT professionals, senior educators, and students to enhance their logic and reasoning skills in a two-week intensive summer school. The Logic and Automated Reasoning Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and Australian experts.
Registration closes Friday 31 October 2003. For more information, see http://arp.anu.edu.au/lss/ or get the brochure at the ILLC office
8 and 9 December 2003, DIR-2003 4th Dutch-Belgian Information Retrieval Workshop
information retrieval and related disciplines
The primary aim of the workshop is to provide a meeting place where researchers from the Netherlands and Belgium (and neighboring countries) who are working in the domain of information retrieval and related disciplines can exchange information and present new research developments. Keynote speakers will include Charlie Clarke (University of Waterloo), Bjørn Olstad (FAST Search, 2bconfirmed), and Bonnie Webber (University of Edinburgh).
For more information, see here or http://lit.science.uva.nl/DIR/.
1-12 December 2003, The Logic & Automated Reasoning Summer School 2003
Students (postgraduate and undergraduate) in logic,
senior educators teaching logic,
and IT professionals using formal methods
The Australian National University (ANU) has an exciting opportunity for IT professionals, senior educators, and students to enhance their logic and reasoning skills in a two-week intensive summer school. The Logic and Automated Reasoning Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and Australian experts.
Registration closes Friday 31 October 2003. For more information, see http://arp.anu.edu.au/lss/ or get the brochure at the ILLC office
1-12 December 2003, The Logic & Automated Reasoning Summer School 2003
Students (postgraduate and undergraduate) in logic,
senior educators teaching logic,
and IT professionals using formal methods
The Australian National University (ANU) has an exciting opportunity for IT professionals, senior educators, and students to enhance their logic and reasoning skills in a two-week intensive summer school. The Logic and Automated Reasoning Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and Australian experts.
Registration closes Friday 31 October 2003. For more information, see http://arp.anu.edu.au/lss/ or get the brochure at the ILLC office
11 December 2003, Logic Tea, Philip Welch, Bristol
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).
1-12 December 2003, The Logic & Automated Reasoning Summer School 2003
Students (postgraduate and undergraduate) in logic,
senior educators teaching logic,
and IT professionals using formal methods
The Australian National University (ANU) has an exciting opportunity for IT professionals, senior educators, and students to enhance their logic and reasoning skills in a two-week intensive summer school. The Logic and Automated Reasoning Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and Australian experts.
Registration closes Friday 31 October 2003. For more information, see http://arp.anu.edu.au/lss/ or get the brochure at the ILLC office
12 December 2003, Colloquium on Mathematical Logic, Philip Welch
definitions
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
12 December 2003, DIP Colloquium, Wolfram Hinzen
For abstracts and more information, see https://www.illc.uva.nl/dip/.
15 December 2003, Computing with LLI Seminar, Michael Benedikt
(Bell Labs)
For abstracts and more information, see http://lit.science.uva.nl/News/seminar03-2.html#Dec15.
18 December 2003, Questions and Answers: Theoretical and Applied Perspectives
(2nd CoLogNET-ElsNET Symposium)
This symposium is the second of three devoted to the exploration of the common ground between the "Logic and Natural Language Processing" Area of CoLogNET (Network of Excellence in Computational Logic, http://www.colognet.org/) and ELSNET (Network of Excellence in Human Language Technologies, http://www.elsnet.org/). The topic of this session is 'Questions and Answers'. The symposium will address both the logical foundations underlying these notions, and technological implications for question answering systems.
The symposium aims at bringing together researchers interested in a combination of theoretical and applied perspectives, and invites an exchange of ideas between computational linguists, computer scientists and logicians. It will feature invited talks by leading researchers from academia and industry as well as a number of contributed talks. Invited speakers are Jeroen Groenendijk (ILLC, University of Amsterdam), Werner Ceusters (Language and Computing) and Karen Spärck Jones (Computer Laboratory, University of Cambridge). The symposium will be co-located with the Fourteenth Amsterdam Colloqium.
19 December 2003, Computational Linguistics in the Netherlands, Centre for Dutch Language and Speech, University of Antwerp
CLIN 2003, the 14th Meeting of Computational Linguistics in the Netherlands, will be held in Antwerp on friday December 19th 2003. It will be organized by the CNTS - Language Technology Group of the University of Antwerp.
For more information, an online registration form and a preliminary program, see http://cnts.uia.ac.be/clin2003/
19-21 December 2003, Fourteenth Amsterdam Colloquium, Amsterdam, The Netherlands
The Fourteenth Amsterdam Colloquium will be held December 19 -- 21 at the University of Amsterdam. The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians and computer scientists who share an interest in the formal study of the 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).
The Colloquium is organized under the auspices of the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.
For more information and an online registration form, see https://www.illc.uva.nl/AC03/. The preliminary program is available on this site as of October 24th.
19-21 December 2003, Fourteenth Amsterdam Colloquium, Amsterdam, The Netherlands
The Fourteenth Amsterdam Colloquium will be held December 19 -- 21 at the University of Amsterdam. The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians and computer scientists who share an interest in the formal study of the 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).
The Colloquium is organized under the auspices of the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.
For more information and an online registration form, see https://www.illc.uva.nl/AC03/. The preliminary program is available on this site as of October 24th.
19-21 December 2003, Fourteenth Amsterdam Colloquium, Amsterdam, The Netherlands
The Fourteenth Amsterdam Colloquium will be held December 19 -- 21 at the University of Amsterdam. The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians and computer scientists who share an interest in the formal study of the 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).
The Colloquium is organized under the auspices of the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.
For more information and an online registration form, see https://www.illc.uva.nl/AC03/. The preliminary program is available on this site as of October 24th.
22 December 2003, Workshop on Reasoning about Space
The aim of this workshop is to present some recent advances in the field of reasoning about space with a particular emphasis on bringing researchers in various fields together for purposes of looking at unifying logical frameworks (such as, for instance, modal logic) and getting a better sense of the most fruitful avenues for further research.
For more information, see here or https://www.illc.uva.nl/RaS/
22 December, ILLC Christmas Drinks
To illuminate the dark days before Christmas the ILLC throws another modest yet delightful Xmas-drink. The UvA christmas gifts lay ready for you under the christmastree. Next to that there's a beautiful display of Georgian portrets. The drink is at 22 December at 16.00 hours at the third floor of the Euclides building. We hope to welcome you all.