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 2004 | ||||||
|---|---|---|---|---|---|---|
| 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
|
||
2 September 2004, Annual ILLC Boat Trip
The Master of Logic Programme will be organising an introduction for the new students on Thursday 2nd of September. Part of the Master of Logic programme is a boattrip through the canals of Amsterdam. The boat will depart at 16.30 sharp from behind Euclides (same as last year).
We would like to invite you all to join the boattrip. However, as we have quite a few new students and as this is the first year we are running the 2nd year programme we may encounter a capacity problem as only 60 people are allowed on the boat. To prevent dissapointment we ask you to register for the boattrip.
For more information, see here.
9-11 September 2004, Advances in Modal Logic (AiML-2004), Manchester, UK
Advances in Modal Logic is an initiative aimed at presenting an up-to-date picture of the state of the art in modal logic and its many applications. The initiative consists of a conference series together with volumes based on the conferences. AiML-2004 is the fifth conference organized as part of this initiative.
Invited speakers include: Philippe Balbiani (Toulouse), Keith Devlin (Stanford) , Valentin Goranko (Johannesburg), Wiebe van der Hoek (Liverpool), Maarten Marx (Amsterdam), Robert Stalnaker (MIT). During the conference there will be a special session on "Modal Logics for Knowledge and Action".
For more information, see http://www.cs.man.ac.uk/aiml04/
9-11 September 2004, Advances in Modal Logic (AiML-2004), Manchester, UK
Advances in Modal Logic is an initiative aimed at presenting an up-to-date picture of the state of the art in modal logic and its many applications. The initiative consists of a conference series together with volumes based on the conferences. AiML-2004 is the fifth conference organized as part of this initiative.
Invited speakers include: Philippe Balbiani (Toulouse), Keith Devlin (Stanford) , Valentin Goranko (Johannesburg), Wiebe van der Hoek (Liverpool), Maarten Marx (Amsterdam), Robert Stalnaker (MIT). During the conference there will be a special session on "Modal Logics for Knowledge and Action".
For more information, see http://www.cs.man.ac.uk/aiml04/
10 September 2004, Colloquium on Mathematical Logic, Alexander Leitsch
(Bus 12 from Utrecht Central Station).
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
10 September 2004, DIP Colloquium, Yoad Winter
For abstracts and more information, see https://www.illc.uva.nl/dip/.
9-11 September 2004, Advances in Modal Logic (AiML-2004), Manchester, UK
Advances in Modal Logic is an initiative aimed at presenting an up-to-date picture of the state of the art in modal logic and its many applications. The initiative consists of a conference series together with volumes based on the conferences. AiML-2004 is the fifth conference organized as part of this initiative.
Invited speakers include: Philippe Balbiani (Toulouse), Keith Devlin (Stanford) , Valentin Goranko (Johannesburg), Wiebe van der Hoek (Liverpool), Maarten Marx (Amsterdam), Robert Stalnaker (MIT). During the conference there will be a special session on "Modal Logics for Knowledge and Action".
For more information, see http://www.cs.man.ac.uk/aiml04/
11 - 12 September 2004, 1st international workshop on Views On Designing Complex Architectures (VODCA 2004)
Security and management of information are key issues in informatics, and are among its fast-developing fields. On the one hand, this calls for a continuous attention of the researchers to the most recent developments in these areas. On the other hand, it asks those same researchers to come up with novel ideas and insights, while designing their own views for the growth of these fields.
The workshop aims at providing a platform for young scientist to present their research views on all areas related to the design of complex architectures, with a special focus on the security and management of information.
Deadline for submissions is June 25th, 2004. For more information, see http://www-gris.det.uvigo.es/vodca or here, or contact s.m.h.j.joosten at tue.nl
11 - 12 September 2004, 1st international workshop on Views On Designing Complex Architectures (VODCA 2004)
Security and management of information are key issues in informatics, and are among its fast-developing fields. On the one hand, this calls for a continuous attention of the researchers to the most recent developments in these areas. On the other hand, it asks those same researchers to come up with novel ideas and insights, while designing their own views for the growth of these fields.
The workshop aims at providing a platform for young scientist to present their research views on all areas related to the design of complex architectures, with a special focus on the security and management of information.
Deadline for submissions is June 25th, 2004. For more information, see http://www-gris.det.uvigo.es/vodca or here, or contact s.m.h.j.joosten at tue.nl
14 September 2004, Logic Tea, Stefan Bold
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).
15 September 2004, The History of Rhetoric, Jeroen Bons
This lecture will cover the history of classical rhetoric, concentrating on the role of argumentation, and give some perspectives on development into the Middle Ages. It is part of the course "Core Logic" and specifically addressing the students in the M.Sc. programme in logic. Of course, all other ILLC logicians (both students and staff members) are cordially invited as well.
21-22 October 2004, BNAIC'04, Groningen
The 16th Belgian-Dutch Conference on Artificial Intelligence (BNAIC'04) aims at presenting an overview of state-of-the art research in AI in Belgium and the Netherlands. Topics of interest include cognitive modeling, neural networks and AI in law, music & art. The deadline for submissions is June 1, 2004. The conference is preceded by the workshop "AI in the wild: Cognition in dynamic environments".
For more information, see http://www.ai.rug.nl/conf/bnaic2004/
21-22 October 2004, BNAIC'04, Groningen
The 16th Belgian-Dutch Conference on Artificial Intelligence (BNAIC'04) aims at presenting an overview of state-of-the art research in AI in Belgium and the Netherlands. Topics of interest include cognitive modeling, neural networks and AI in law, music & art. The deadline for submissions is June 1, 2004. The conference is preceded by the workshop "AI in the wild: Cognition in dynamic environments".
For more information, see http://www.ai.rug.nl/conf/bnaic2004/
23-26 August 2004, 17th International Conference on Pattern Recognition (ICPR 2004), Cambridge, UK
The ICPR2004 Theme is "Pattern Recognition in the Digital World", and will be a multi-track international forum for discussions on recent advances in the fields of:
- Computer Vision and Robotics
- Pattern Recognition
- Neural Networks
- Image and Signal Processing
- Biomedical, multimedia and e-commerce applications
Deadline for registration: 6 August 2004
For more information, an online registration form and a preliminary program, see http://www.ee.surrey.ac.uk/icpr2004/
23-26 August 2004, 17th International Conference on Pattern Recognition (ICPR 2004), Cambridge, UK
The ICPR2004 Theme is "Pattern Recognition in the Digital World", and will be a multi-track international forum for discussions on recent advances in the fields of:
- Computer Vision and Robotics
- Pattern Recognition
- Neural Networks
- Image and Signal Processing
- Biomedical, multimedia and e-commerce applications
Deadline for registration: 6 August 2004
For more information, an online registration form and a preliminary program, see http://www.ee.surrey.ac.uk/icpr2004/
24 September 2004, Colloquium on Mathematical Logic, Andrés Perea
(Tram 9 from Central Station, to Plantage Badlaan.)
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
24 September 2004, DIP Colloquium, Emar Maier
For abstracts and more information, see https://www.illc.uva.nl/dip/.
23-26 August 2004, 17th International Conference on Pattern Recognition (ICPR 2004), Cambridge, UK
The ICPR2004 Theme is "Pattern Recognition in the Digital World", and will be a multi-track international forum for discussions on recent advances in the fields of:
- Computer Vision and Robotics
- Pattern Recognition
- Neural Networks
- Image and Signal Processing
- Biomedical, multimedia and e-commerce applications
Deadline for registration: 6 August 2004
For more information, an online registration form and a preliminary program, see http://www.ee.surrey.ac.uk/icpr2004/
23-26 August 2004, 17th International Conference on Pattern Recognition (ICPR 2004), Cambridge, UK
The ICPR2004 Theme is "Pattern Recognition in the Digital World", and will be a multi-track international forum for discussions on recent advances in the fields of:
- Computer Vision and Robotics
- Pattern Recognition
- Neural Networks
- Image and Signal Processing
- Biomedical, multimedia and e-commerce applications
Deadline for registration: 6 August 2004
For more information, an online registration form and a preliminary program, see http://www.ee.surrey.ac.uk/icpr2004/
28 September - 1 October 2004, Logic, Games and Philosophy: Foundational Perspectives, Prague, Czech Republic
Games, like logics, are tools for investigating the world, language, and their relationship. Semantic, dialogic, evolutionary, interrogative, argumentative, and pragmatic methods have been included into the toolkit. Following the recent increase in investment on games and game-theoretic methods in logic, language, computation and communication, we still need a better understanding of the possibilities of forming converging methodologies underlying these diverse contemporary currents. The purpose of the Prague Conference on Logic, Games and Philosophy: Foundational Perspectives is to explore the interfaces between logic and games with the eye on philosophical, methodological and foundational issues.
Deadline for submissions is June 15, 2004. For more information, see http://www.flu.cas.cz/Logica/Aconf/col2004.html or here.
28 September 2004, Logic Tea, Barteld Kooi
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).
28 September - 1 October 2004, Logic, Games and Philosophy: Foundational Perspectives, Prague, Czech Republic
Games, like logics, are tools for investigating the world, language, and their relationship. Semantic, dialogic, evolutionary, interrogative, argumentative, and pragmatic methods have been included into the toolkit. Following the recent increase in investment on games and game-theoretic methods in logic, language, computation and communication, we still need a better understanding of the possibilities of forming converging methodologies underlying these diverse contemporary currents. The purpose of the Prague Conference on Logic, Games and Philosophy: Foundational Perspectives is to explore the interfaces between logic and games with the eye on philosophical, methodological and foundational issues.
Deadline for submissions is June 15, 2004. For more information, see http://www.flu.cas.cz/Logica/Aconf/col2004.html or here.
28 September - 1 October 2004, Logic, Games and Philosophy: Foundational Perspectives, Prague, Czech Republic
Games, like logics, are tools for investigating the world, language, and their relationship. Semantic, dialogic, evolutionary, interrogative, argumentative, and pragmatic methods have been included into the toolkit. Following the recent increase in investment on games and game-theoretic methods in logic, language, computation and communication, we still need a better understanding of the possibilities of forming converging methodologies underlying these diverse contemporary currents. The purpose of the Prague Conference on Logic, Games and Philosophy: Foundational Perspectives is to explore the interfaces between logic and games with the eye on philosophical, methodological and foundational issues.
Deadline for submissions is June 15, 2004. For more information, see http://www.flu.cas.cz/Logica/Aconf/col2004.html or here.