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.
| << September 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
|
||||
1 September 2003, Opening Academic Year 2003-2004
The opening of the Academic Year 2003-2004 will take place
Monday 1 September, from 15.00 - 17.00.
Three lectures will be held for the occasion:
- Johan van Benthem (university professor),
'De kunst van het kennis maken.'
- Fleur Zeldenrust (physics student),
'Enthousiasme is besmettelijk.'
- Sijbolt Noorda (chairmen College van Bestuur)
'Met het oog op overmorgen'
There will be a musical intermezzo and a reception afterwards.
1 September 2003, DIP Colloquium, Hans van Ditmarsch
For abstracts and more information, see https://www.illc.uva.nl/dip/.
4-6 September 2003, DiaBruck 2003: 7th Workshop on the Semantics and Pragmatics of Dialogue (SEMDIAL)
DiaBruck 2003 will be the seventh in a series of workshops that
aims to bring together researchers working on the semantics and
pragmatics of dialogues in fields such as artificial intelligence,
formal semantics and pragmatics, computational linguistics,
philosophy, and psychology.
DiaBruck is endorsed by SIGSEM and SIGDial .
For more information, see the workshop website at http://www.coli.uni-sb.de/diabruck/.
4 September 2003, Annual ILLC Boat Trip
To welcome our new international Logic students, ILLC organizes its annual boat trip on Thursday September 4. The boat leaves from the back side of the Euclides Building, and will return there a few hours later. Drinks and snacks are served on board.
For more information, see here.
4-6 September 2003, DiaBruck 2003: 7th Workshop on the Semantics and Pragmatics of Dialogue (SEMDIAL)
DiaBruck 2003 will be the seventh in a series of workshops that
aims to bring together researchers working on the semantics and
pragmatics of dialogues in fields such as artificial intelligence,
formal semantics and pragmatics, computational linguistics,
philosophy, and psychology.
DiaBruck is endorsed by SIGSEM and SIGDial .
For more information, see the workshop website at http://www.coli.uni-sb.de/diabruck/.
5 September 2003,
Eighth Workshop on Games in Logic, Languages & Computation
The Eighth Workshop on Games in Logic, Languages & Computation (GLLC8) will take place in Groningen on Friday September 5, prior to the PhD defence of Barteld Kooi later that day.
For more information, see http://www.ai.rug.nl/~blom/gllc8/
4-6 September 2003, DiaBruck 2003: 7th Workshop on the Semantics and Pragmatics of Dialogue (SEMDIAL)
DiaBruck 2003 will be the seventh in a series of workshops that
aims to bring together researchers working on the semantics and
pragmatics of dialogues in fields such as artificial intelligence,
formal semantics and pragmatics, computational linguistics,
philosophy, and psychology.
DiaBruck is endorsed by SIGSEM and SIGDial .
For more information, see the workshop website at http://www.coli.uni-sb.de/diabruck/.
8 September 2003,
MMM Lectures
, NICI, Nijmegen
The PIONIER Project "Music, Mind, Machine" is about the
computational modeling of music cognition with an emphasis on
the temporal aspects of music perception and music performance
such as rhythm, timing and tempo. This six-year project will
be concluded this september with a festive afternoon of lectures
on the state-of-the-art of Music Cognition.
Invited speakers: prof. dr. D. Huron (Ohio State University, Musicology), prof. dr. J. Bharucha (Tufts University, Psychology), Prof. dr. R. Dannenberg (Carnegie-Mellon University, Computer Science) and Prof. dr. J.A. Michon (Leiden University, Psychology).
For more information, see the project website at http://www.hum.uva.nl/mmm/
10-13 September 2003, EuroCogSci 03, Osnabrück, Germany
The aim of the conference is the presentation of empirical, theoretical, and analytical work from all areas of interest in cognitive science, such as artificial intelligence, education, linguistics, neuroscience, philosophy, psychology and anthropology. The focus is on interdisciplinary work that is either of interest for more than one of the mentioned research areas or integrates research methods from different fields. Furthermore, applications of cognitive science research in such domains as human-computer interaction, education, knowledge management, or engineering are equally welcome.
For more information, see the conference website at http://www.eurocogsci03.uos.de/
10-13 September 2003, EuroCogSci 03, Osnabrück, Germany
The aim of the conference is the presentation of empirical, theoretical, and analytical work from all areas of interest in cognitive science, such as artificial intelligence, education, linguistics, neuroscience, philosophy, psychology and anthropology. The focus is on interdisciplinary work that is either of interest for more than one of the mentioned research areas or integrates research methods from different fields. Furthermore, applications of cognitive science research in such domains as human-computer interaction, education, knowledge management, or engineering are equally welcome.
For more information, see the conference website at http://www.eurocogsci03.uos.de/
10-13 September 2003, EuroCogSci 03, Osnabrück, Germany
The aim of the conference is the presentation of empirical, theoretical, and analytical work from all areas of interest in cognitive science, such as artificial intelligence, education, linguistics, neuroscience, philosophy, psychology and anthropology. The focus is on interdisciplinary work that is either of interest for more than one of the mentioned research areas or integrates research methods from different fields. Furthermore, applications of cognitive science research in such domains as human-computer interaction, education, knowledge management, or engineering are equally welcome.
For more information, see the conference website at http://www.eurocogsci03.uos.de/
12 september 2003, mini-symposium about D.J. Korteweg en G. de Vries, E.M. de Jager (UvA),
A. Maas (Museum Boerhaave, Leiden)
and B. Willink (EUR)
A. Maas (Museum Boerhaave, Leiden)
and B. Willink (EUR)
Amsterdam
Mini-symposium about D.J. Korteweg and G. de Vries, the mathematicians after whom the Math Institute of the UvA is named, and the creators of the Korteweg-de Vries equation which led to important developments in Mathematics and Physics. Following the symposium proper, at 16:25 portraits of the mathematician will be revealed, followed by a reception.
For more information, see here or http://www.science.uva.nl/research/math/News/kdvdag.html
10-13 September 2003, EuroCogSci 03, Osnabrück, Germany
The aim of the conference is the presentation of empirical, theoretical, and analytical work from all areas of interest in cognitive science, such as artificial intelligence, education, linguistics, neuroscience, philosophy, psychology and anthropology. The focus is on interdisciplinary work that is either of interest for more than one of the mentioned research areas or integrates research methods from different fields. Furthermore, applications of cognitive science research in such domains as human-computer interaction, education, knowledge management, or engineering are equally welcome.
For more information, see the conference website at http://www.eurocogsci03.uos.de/
17 September 2003, Some remarks about canonical completions of lattices and some
remarks about the orthomodular law.,
Prof. John Harding
The talk is comprised of 2 components: a discussion of canonical completions of bounded lattices with additional operations, and recent developments regarding the motivation behind the orthomodular law.
For more information, see here
18-21 September 2003, First-Order Logic 75 (FOL75), Humboldt University, Berlin, Germany
Seventy-five years ago Hilbert and Ackerman published their Grundzüge der Theoretischen Logik, announcing the start of modern mathematical logic. PHILOG in association with Humboldt University celebrate 75 years of first-order logic by hosting this conference.
For more information, see http://www.fol75.philog.ruc.dk/
18-21 September 2003, First-Order Logic 75 (FOL75), Humboldt University, Berlin, Germany
Seventy-five years ago Hilbert and Ackerman published their Grundzüge der Theoretischen Logik, announcing the start of modern mathematical logic. PHILOG in association with Humboldt University celebrate 75 years of first-order logic by hosting this conference.
For more information, see http://www.fol75.philog.ruc.dk/
19 September, CSCA Lecture, Barbara Tversky
Graphics - written language, charts, graphs, diagrams, interfaces - serve a number of functions: to attract interest and adorn, to record information, to promote memory, to organize information in order to facilitate inference and discovery. To do so effectively, they use elements and the spatial relations among them meaningfully, forming a rudimentary semantics and syntax respectively. An examination of graphics produced by children and adults from many cultures reveals common underlying cognitive principles in the use of space and the elements in it to convey meaning.
For more information see the CSCA website at http://www.csca.uva.nl/
19 September 2003, Informatiebijeenkomst Europese 6e kaderprogramma.
EG Liaison organizes a meeting to present options for shared research between the ILLC and KP6. Please note that the meeting will be held in dutch.
For more information, see here for the full announcement (in dutch), or contact Ingrid van Loon (ingrid at science.uva.nl)
19 September 2003, Computing with LLI Seminar, Theo van den Heuvel
(Polderland)
For abstracts and more information, see http://lit.science.uva.nl/News/seminar03-2.html#Sep19.
19 September 2003, Colloquium on Mathematical Logic, Ian Hodkinson (London)
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
18-21 September 2003, First-Order Logic 75 (FOL75), Humboldt University, Berlin, Germany
Seventy-five years ago Hilbert and Ackerman published their Grundzüge der Theoretischen Logik, announcing the start of modern mathematical logic. PHILOG in association with Humboldt University celebrate 75 years of first-order logic by hosting this conference.
For more information, see http://www.fol75.philog.ruc.dk/
18-21 September 2003, First-Order Logic 75 (FOL75), Humboldt University, Berlin, Germany
Seventy-five years ago Hilbert and Ackerman published their Grundzüge der Theoretischen Logik, announcing the start of modern mathematical logic. PHILOG in association with Humboldt University celebrate 75 years of first-order logic by hosting this conference.
For more information, see http://www.fol75.philog.ruc.dk/
22-23 September 2003, METHODS FOR MODALITIES 3 (M4M-3), Nancy, France
The workshop Methods for Modalities' (M4M) aims to bring together researchers interested in developing proof tools and reasoning methods for modal logic broadly conceived, including description logic, hybrid logics, feature logic, temporal logic, etc.
For more information, see the conference website at http://www.science.uva.nl/~m4m/.
22-26 September 2003, 10th International Conference on Logic for Programming Artificial
Reasoning (LPAR'2003), Amaty, Kazakhstan
Invited speakers include Franz Baader, Serikjan Badaev, Dexter Kozen, Sergei Goncharov and Thomas Wilke.
For more information, an online registration form and a preliminary program, see http://www.lpar.net/2003/
22-23 September 2003, METHODS FOR MODALITIES 3 (M4M-3), Nancy, France
The workshop Methods for Modalities' (M4M) aims to bring together researchers interested in developing proof tools and reasoning methods for modal logic broadly conceived, including description logic, hybrid logics, feature logic, temporal logic, etc.
For more information, see the conference website at http://www.science.uva.nl/~m4m/.
22-26 September 2003, 10th International Conference on Logic for Programming Artificial
Reasoning (LPAR'2003), Amaty, Kazakhstan
Invited speakers include Franz Baader, Serikjan Badaev, Dexter Kozen, Sergei Goncharov and Thomas Wilke.
For more information, an online registration form and a preliminary program, see http://www.lpar.net/2003/
23-24 October 2003, BNAIC'03, Radboud Auditorium and Kasteel Heyendael, Nijmegen
The 15th Belgian-Dutch Conference on Artificial Intelligence (BNAIC'03) is organised by SNN. BNAIC'03 will be held on Thursday October 23 and Friday October 24, 2003 in the Radboud Auditorium and Kasteel Heyendael, Nijmegen, The Netherlands.
It will be collocated with the workshop 'Learning Solutions' on Wednesday October 22, 2003. This collocation aims to promote interaction between researchers in AI and industry. BNAIC-papers addressing industrial applications will be offered a poster at the workshop.
For more information, see http://www.snn.kun.nl/bnaic/index.php3?page=2
23 - 26 September 2003, AI*IA 8th National Conference 2003, University of Pisa, Italy
The Congress of the Italian Ass. for AI(AI*IA) is the traditional two-yearly meeting of researchers working on theory and applications in AI.
For more information, see here or http://www-aiia2003.di.unipi.it/aiia2003/index-eng.html
22-26 September 2003, 10th International Conference on Logic for Programming Artificial
Reasoning (LPAR'2003), Amaty, Kazakhstan
Invited speakers include Franz Baader, Serikjan Badaev, Dexter Kozen, Sergei Goncharov and Thomas Wilke.
For more information, an online registration form and a preliminary program, see http://www.lpar.net/2003/
23-24 October 2003, BNAIC'03, Radboud Auditorium and Kasteel Heyendael, Nijmegen
The 15th Belgian-Dutch Conference on Artificial Intelligence (BNAIC'03) is organised by SNN. BNAIC'03 will be held on Thursday October 23 and Friday October 24, 2003 in the Radboud Auditorium and Kasteel Heyendael, Nijmegen, The Netherlands.
It will be collocated with the workshop 'Learning Solutions' on Wednesday October 22, 2003. This collocation aims to promote interaction between researchers in AI and industry. BNAIC-papers addressing industrial applications will be offered a poster at the workshop.
For more information, see http://www.snn.kun.nl/bnaic/index.php3?page=2
23 - 26 September 2003, AI*IA 8th National Conference 2003, University of Pisa, Italy
The Congress of the Italian Ass. for AI(AI*IA) is the traditional two-yearly meeting of researchers working on theory and applications in AI.
For more information, see here or http://www-aiia2003.di.unipi.it/aiia2003/index-eng.html
22-26 September 2003, 10th International Conference on Logic for Programming Artificial
Reasoning (LPAR'2003), Amaty, Kazakhstan
Invited speakers include Franz Baader, Serikjan Badaev, Dexter Kozen, Sergei Goncharov and Thomas Wilke.
For more information, an online registration form and a preliminary program, see http://www.lpar.net/2003/
23 - 26 September 2003, AI*IA 8th National Conference 2003, University of Pisa, Italy
The Congress of the Italian Ass. for AI(AI*IA) is the traditional two-yearly meeting of researchers working on theory and applications in AI.
For more information, see here or http://www-aiia2003.di.unipi.it/aiia2003/index-eng.html
22-26 September 2003, 10th International Conference on Logic for Programming Artificial
Reasoning (LPAR'2003), Amaty, Kazakhstan
Invited speakers include Franz Baader, Serikjan Badaev, Dexter Kozen, Sergei Goncharov and Thomas Wilke.
For more information, an online registration form and a preliminary program, see http://www.lpar.net/2003/
23 - 26 September 2003, AI*IA 8th National Conference 2003, University of Pisa, Italy
The Congress of the Italian Ass. for AI(AI*IA) is the traditional two-yearly meeting of researchers working on theory and applications in AI.
For more information, see here or http://www-aiia2003.di.unipi.it/aiia2003/index-eng.html
26 September 2003, Computing with LLI Seminar, Gabriel Infante López
(Amsterdam)
The talk will be followed by celebrations about the CLLI seminar's five years anniversary; and the presentation of the first annual LIT-award to Juan Heguiabehere---Congratulations!
For abstracts and more information, see http://lit.science.uva.nl/News/seminar03-2.html#Sep26.
26 September 2003, DIP Colloquium, Johanneke Caspers
For abstracts and more information, see https://www.illc.uva.nl/dip/.
27 September 2003, 4th International Workshop on the Implementation of Logics
Following a series of successful workshops on the implementation of logics held in conjunction with the LPAR conference, there will be a fourth workshop on this topic, to be held in conjunction with LPAR'2003.
For more information, see the LPAR'2003 website at http://www.lpar.net/2003/
29 September - 1 October 2003, Sinn und Bedeutung VIII,
Johann-Wolfgang-Goethe University, Frankfurt am Main, Germany
The "Gesellschaft für Semantik" (GfS) is pleased to announce its Eighth Annual Meeting "Sinn und Bedeutung VIII". The "Sinn und Bedeutung" meetings aim to provide a platform for semanticists to present recent work. The area of interest includes all topics from current semantic research: formal semantics, cognitive semantics, descriptive semantics, typological semantics, historical semantics, philosophy of language etc.
Invited speakers include Sigrid Beck (Connecticut), Hans Kamp (Stuttgart) and Robert van Rooy (Amsterdam).
For more information and registration, see http://www.uni-frankfurt.de/fb10/SuB8.
29 September - 1 October 2003, Sinn und Bedeutung VIII,
Johann-Wolfgang-Goethe University, Frankfurt am Main, Germany
The "Gesellschaft für Semantik" (GfS) is pleased to announce its Eighth Annual Meeting "Sinn und Bedeutung VIII". The "Sinn und Bedeutung" meetings aim to provide a platform for semanticists to present recent work. The area of interest includes all topics from current semantic research: formal semantics, cognitive semantics, descriptive semantics, typological semantics, historical semantics, philosophy of language etc.
Invited speakers include Sigrid Beck (Connecticut), Hans Kamp (Stuttgart) and Robert van Rooy (Amsterdam).
For more information and registration, see http://www.uni-frankfurt.de/fb10/SuB8.