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.
| << June 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
|
|||||
3 June 2003, Zuidelijk Interuniversitair Colloquium (ZIC), Ling Cheung
For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Francien Dechesne (f.dechesne at uvt.nl).
4 June, Logic Tea, Rosja Mastop, ILLC
The Logic Tea homepage can be found at http://staff.science.uva.nl/~debruin/logic_tea.html
6 June 2003, Computing with LLI Seminar, Geert-Jan Kruijff
Room P.019, Euclides Building, Plantage Muidergracht 24, Amsterdam
For abstracts and more information, see http://lit.science.uva.nl/News/seminar03-1.html#Jun06.
6 June 2003, Individual choice sequences in the work of L.E.J.Brouwer, Joop Niekus
This is a try-out for the ZIC talk of 17 June.
6 June 2003, Colloquium on Mathematical Logic, Federico de Marchi
(Bus 12 from Utrecht Central Station).
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
6 June 2003, DIP Colloquium, Rick Nouwen
For abstracts and more information, see https://www.illc.uva.nl/dip/.
13 June 2003, Computing with LLI Seminar, Kees Koster
(Nijmegen)
For abstracts and more information, see http://lit.science.uva.nl/News/seminar03-1.html#Jun13.
13 June 2003, DIP Colloquium, Cornelia Endriss
For abstracts and more information, see https://www.illc.uva.nl/dip/.
16 June-5 July 2003, CSCA Summer School Human Reasoning and cognitive science
The Cognitive Science Center Amsterdam of the UvA organizes an interdisciplinary Summer School for Master's students. Central theme is 'Human reasoning and Cognitive science'.
For more information and registration, see the CSCA website at http://www.csca.uva.nl/
16 June-5 July 2003, CSCA Summer School Human Reasoning and cognitive science
The Cognitive Science Center Amsterdam of the UvA organizes an interdisciplinary Summer School for Master's students. Central theme is 'Human reasoning and Cognitive science'.
For more information and registration, see the CSCA website at http://www.csca.uva.nl/
17-21 June 2003, Reasoning about Space
Recent years have seen lots of exciting work in spatial reasoning in computer science, AI, and philosophy. The motivation for this work ranges from image analysis and geographical information systems in CS through attempts to exploit properties of space in diagrammatic reasoning, to purely mathematical issues of expressivity of languages with respect to particular spatial domains. As of now, much of the research has been carried out within the respective fields and without much interaction with researchers in other fields.
The aim of this workshop is to present some recent advances in the field 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.
The workshop is held in the context of the Second North American Summer School in Logic, Language and Information. For more information, see http://www.dit.unitn.it/~aiellom/nasslli03/.
17-21 June 2003,
Second North American Summer School in Logic, Language, and Information
(NASSLLI-2003)
, Bloomington, Indiana, USA
The NASSLLI Steering Committee is pleased to announce the Second North American Summer School in Logic, Language and Information, to be held in Bloomington, Indiana, June 17-21, 2003. The event follows on from the successful first school at Stanford in June, 2002. The school is focussed on the interfaces among linguistics, logic, and computation, broadly conceived, and on related fields. Our sister school, the European Summer School in Logic, Language, and Information, has been highly successful, becoming an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. We hope that the North American schools will follow in this tradition.
Note: thanks to some recently received funds to support student attendance, NASSLLI expects to have a reasonable number of $100 registration reductions available.
For more information regarding the program, registration, accomodations and support, see the conference website at http://www.indiana.edu/~nasslli/.
17 June 2003, Zuidelijk Interuniversitair Colloquium (ZIC), Joop Niekus
(UvA)
For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Francien Dechesne (f.dechesne at uvt.nl).
16 June-5 July 2003, CSCA Summer School Human Reasoning and cognitive science
The Cognitive Science Center Amsterdam of the UvA organizes an interdisciplinary Summer School for Master's students. Central theme is 'Human reasoning and Cognitive science'.
For more information and registration, see the CSCA website at http://www.csca.uva.nl/
17-21 June 2003, Reasoning about Space
Recent years have seen lots of exciting work in spatial reasoning in computer science, AI, and philosophy. The motivation for this work ranges from image analysis and geographical information systems in CS through attempts to exploit properties of space in diagrammatic reasoning, to purely mathematical issues of expressivity of languages with respect to particular spatial domains. As of now, much of the research has been carried out within the respective fields and without much interaction with researchers in other fields.
The aim of this workshop is to present some recent advances in the field 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.
The workshop is held in the context of the Second North American Summer School in Logic, Language and Information. For more information, see http://www.dit.unitn.it/~aiellom/nasslli03/.
17-21 June 2003,
Second North American Summer School in Logic, Language, and Information
(NASSLLI-2003)
, Bloomington, Indiana, USA
The NASSLLI Steering Committee is pleased to announce the Second North American Summer School in Logic, Language and Information, to be held in Bloomington, Indiana, June 17-21, 2003. The event follows on from the successful first school at Stanford in June, 2002. The school is focussed on the interfaces among linguistics, logic, and computation, broadly conceived, and on related fields. Our sister school, the European Summer School in Logic, Language, and Information, has been highly successful, becoming an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. We hope that the North American schools will follow in this tradition.
Note: thanks to some recently received funds to support student attendance, NASSLLI expects to have a reasonable number of $100 registration reductions available.
For more information regarding the program, registration, accomodations and support, see the conference website at http://www.indiana.edu/~nasslli/.
16 June-5 July 2003, CSCA Summer School Human Reasoning and cognitive science
The Cognitive Science Center Amsterdam of the UvA organizes an interdisciplinary Summer School for Master's students. Central theme is 'Human reasoning and Cognitive science'.
For more information and registration, see the CSCA website at http://www.csca.uva.nl/
17-21 June 2003, Reasoning about Space
Recent years have seen lots of exciting work in spatial reasoning in computer science, AI, and philosophy. The motivation for this work ranges from image analysis and geographical information systems in CS through attempts to exploit properties of space in diagrammatic reasoning, to purely mathematical issues of expressivity of languages with respect to particular spatial domains. As of now, much of the research has been carried out within the respective fields and without much interaction with researchers in other fields.
The aim of this workshop is to present some recent advances in the field 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.
The workshop is held in the context of the Second North American Summer School in Logic, Language and Information. For more information, see http://www.dit.unitn.it/~aiellom/nasslli03/.
17-21 June 2003,
Second North American Summer School in Logic, Language, and Information
(NASSLLI-2003)
, Bloomington, Indiana, USA
The NASSLLI Steering Committee is pleased to announce the Second North American Summer School in Logic, Language and Information, to be held in Bloomington, Indiana, June 17-21, 2003. The event follows on from the successful first school at Stanford in June, 2002. The school is focussed on the interfaces among linguistics, logic, and computation, broadly conceived, and on related fields. Our sister school, the European Summer School in Logic, Language, and Information, has been highly successful, becoming an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. We hope that the North American schools will follow in this tradition.
Note: thanks to some recently received funds to support student attendance, NASSLLI expects to have a reasonable number of $100 registration reductions available.
For more information regarding the program, registration, accomodations and support, see the conference website at http://www.indiana.edu/~nasslli/.
16 June-5 July 2003, CSCA Summer School Human Reasoning and cognitive science
The Cognitive Science Center Amsterdam of the UvA organizes an interdisciplinary Summer School for Master's students. Central theme is 'Human reasoning and Cognitive science'.
For more information and registration, see the CSCA website at http://www.csca.uva.nl/
17-21 June 2003, Reasoning about Space
Recent years have seen lots of exciting work in spatial reasoning in computer science, AI, and philosophy. The motivation for this work ranges from image analysis and geographical information systems in CS through attempts to exploit properties of space in diagrammatic reasoning, to purely mathematical issues of expressivity of languages with respect to particular spatial domains. As of now, much of the research has been carried out within the respective fields and without much interaction with researchers in other fields.
The aim of this workshop is to present some recent advances in the field 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.
The workshop is held in the context of the Second North American Summer School in Logic, Language and Information. For more information, see http://www.dit.unitn.it/~aiellom/nasslli03/.
17-21 June 2003,
Second North American Summer School in Logic, Language, and Information
(NASSLLI-2003)
, Bloomington, Indiana, USA
The NASSLLI Steering Committee is pleased to announce the Second North American Summer School in Logic, Language and Information, to be held in Bloomington, Indiana, June 17-21, 2003. The event follows on from the successful first school at Stanford in June, 2002. The school is focussed on the interfaces among linguistics, logic, and computation, broadly conceived, and on related fields. Our sister school, the European Summer School in Logic, Language, and Information, has been highly successful, becoming an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. We hope that the North American schools will follow in this tradition.
Note: thanks to some recently received funds to support student attendance, NASSLLI expects to have a reasonable number of $100 registration reductions available.
For more information regarding the program, registration, accomodations and support, see the conference website at http://www.indiana.edu/~nasslli/.
20 June 2003, Logic and Argumentation, Groningen
On 20 June 2003, on the occasion of the promotion of J.A. van Laar the day before, the Theoretical Philosophy group of the University of Groningen will host an international symposium on ambiguity and other subjects on the border between logic and argumentation-theory. Speakers include Martin van Hees, Anna Pilatova, Douglas Walton (keynote), Guido Vanackere, Taeda Jovičić, José Plug, Peter Houtlosser en Frans van Eemeren. The day will be concluded with an extended discussion of the thesis of Jan Albert van Laar: The Dialectic of Ambiguity. Location: Filosofisch Instituut, A-Weg 30, Room 201, Groningen.
For more information, see here or contact Erik Krabbe (erik at philos.rug.nl) or Jan Albert van Laar janalbert at philos.rug.nl
20-22 June 2003, TARK IX, Bloomington, Indiana, USA
The mission of the bi-annual TARK conferences is to bring together researchers from a wide variety of fields - including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Logic, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Topics of interest include, but are not limited to, semantic models for knowledge, for belief, and for uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, logics of knowledge and action, formal analysis of games, applications of reasoning about knowledge and other mental states, belief revision, and the role of knowledge in general information flow.
TARK IX is held jointly with NASSLLI, so registration details can be found on the NASSLLI site at http://www.indiana.edu/~nasslli/registration.html. For other information including a preliminary program, see the TARK site at http://www.tark.org/.
20 June 2003, Computing with LLI Seminar, Amit Dubey
(Saarbrücken)
For abstracts and more information, see http://lit.science.uva.nl/News/seminar03-1.html#Jun20.
16 June-5 July 2003, CSCA Summer School Human Reasoning and cognitive science
The Cognitive Science Center Amsterdam of the UvA organizes an interdisciplinary Summer School for Master's students. Central theme is 'Human reasoning and Cognitive science'.
For more information and registration, see the CSCA website at http://www.csca.uva.nl/
17-21 June 2003, Reasoning about Space
Recent years have seen lots of exciting work in spatial reasoning in computer science, AI, and philosophy. The motivation for this work ranges from image analysis and geographical information systems in CS through attempts to exploit properties of space in diagrammatic reasoning, to purely mathematical issues of expressivity of languages with respect to particular spatial domains. As of now, much of the research has been carried out within the respective fields and without much interaction with researchers in other fields.
The aim of this workshop is to present some recent advances in the field 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.
The workshop is held in the context of the Second North American Summer School in Logic, Language and Information. For more information, see http://www.dit.unitn.it/~aiellom/nasslli03/.
17-21 June 2003,
Second North American Summer School in Logic, Language, and Information
(NASSLLI-2003)
, Bloomington, Indiana, USA
The NASSLLI Steering Committee is pleased to announce the Second North American Summer School in Logic, Language and Information, to be held in Bloomington, Indiana, June 17-21, 2003. The event follows on from the successful first school at Stanford in June, 2002. The school is focussed on the interfaces among linguistics, logic, and computation, broadly conceived, and on related fields. Our sister school, the European Summer School in Logic, Language, and Information, has been highly successful, becoming an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. We hope that the North American schools will follow in this tradition.
Note: thanks to some recently received funds to support student attendance, NASSLLI expects to have a reasonable number of $100 registration reductions available.
For more information regarding the program, registration, accomodations and support, see the conference website at http://www.indiana.edu/~nasslli/.
20-22 June 2003, TARK IX, Bloomington, Indiana, USA
The mission of the bi-annual TARK conferences is to bring together researchers from a wide variety of fields - including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Logic, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Topics of interest include, but are not limited to, semantic models for knowledge, for belief, and for uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, logics of knowledge and action, formal analysis of games, applications of reasoning about knowledge and other mental states, belief revision, and the role of knowledge in general information flow.
TARK IX is held jointly with NASSLLI, so registration details can be found on the NASSLLI site at http://www.indiana.edu/~nasslli/registration.html. For other information including a preliminary program, see the TARK site at http://www.tark.org/.
16 June-5 July 2003, CSCA Summer School Human Reasoning and cognitive science
The Cognitive Science Center Amsterdam of the UvA organizes an interdisciplinary Summer School for Master's students. Central theme is 'Human reasoning and Cognitive science'.
For more information and registration, see the CSCA website at http://www.csca.uva.nl/
20-22 June 2003, TARK IX, Bloomington, Indiana, USA
The mission of the bi-annual TARK conferences is to bring together researchers from a wide variety of fields - including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Logic, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Topics of interest include, but are not limited to, semantic models for knowledge, for belief, and for uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, logics of knowledge and action, formal analysis of games, applications of reasoning about knowledge and other mental states, belief revision, and the role of knowledge in general information flow.
TARK IX is held jointly with NASSLLI, so registration details can be found on the NASSLLI site at http://www.indiana.edu/~nasslli/registration.html. For other information including a preliminary program, see the TARK site at http://www.tark.org/.
16 June-5 July 2003, CSCA Summer School Human Reasoning and cognitive science
The Cognitive Science Center Amsterdam of the UvA organizes an interdisciplinary Summer School for Master's students. Central theme is 'Human reasoning and Cognitive science'.
For more information and registration, see the CSCA website at http://www.csca.uva.nl/
23-25 June 2003, CONTEXT'03, Stanford, California (USA)
Context affects a wide range of activities in humans and animals as well as in artificial agents and other computer programs. The importance of context is widely acknowledged, and "context" has become an area of study in its own right, as evidenced by the numerous workshops, symposia, seminars, and conferences held recently. The Fourth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'03), will provide a high-quality forum, for discussions about context among researchers active in artificial intelligence and other areas of computer science, cognitive science, linguistics, the organizational sciences, philosophy, and psychology, with a strong emphasis on interdisciplinary research.
For more information, an online registration form, and a preliminary program, see http://context.umcs.maine.edu/CONTEXT-03/
23 June - 4 July 2003, Summer School and Workshop on
Proof Theory, Computation and Complexity
The summer school consists of eight advanced courses; the workshop is integral part of the school and takes place in the last two days. As with last years events on 'Proof Theory and Computation' (Dresden) and 'Proof, Computation, Complexity' (Tübingen), we aim at a meeting where people have plenty of time to exchange ideas.
Registration is requested before May 25, 2003. For more information and a course schedule, please see our website at http://www.ki.inf.tu-dresden.de/~guglielm/WPT2/.
16 June-5 July 2003, CSCA Summer School Human Reasoning and cognitive science
The Cognitive Science Center Amsterdam of the UvA organizes an interdisciplinary Summer School for Master's students. Central theme is 'Human reasoning and Cognitive science'.
For more information and registration, see the CSCA website at http://www.csca.uva.nl/
23-25 June 2003, CONTEXT'03, Stanford, California (USA)
Context affects a wide range of activities in humans and animals as well as in artificial agents and other computer programs. The importance of context is widely acknowledged, and "context" has become an area of study in its own right, as evidenced by the numerous workshops, symposia, seminars, and conferences held recently. The Fourth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'03), will provide a high-quality forum, for discussions about context among researchers active in artificial intelligence and other areas of computer science, cognitive science, linguistics, the organizational sciences, philosophy, and psychology, with a strong emphasis on interdisciplinary research.
For more information, an online registration form, and a preliminary program, see http://context.umcs.maine.edu/CONTEXT-03/
23 June - 4 July 2003, Summer School and Workshop on
Proof Theory, Computation and Complexity
The summer school consists of eight advanced courses; the workshop is integral part of the school and takes place in the last two days. As with last years events on 'Proof Theory and Computation' (Dresden) and 'Proof, Computation, Complexity' (Tübingen), we aim at a meeting where people have plenty of time to exchange ideas.
Registration is requested before May 25, 2003. For more information and a course schedule, please see our website at http://www.ki.inf.tu-dresden.de/~guglielm/WPT2/.
16 June-5 July 2003, CSCA Summer School Human Reasoning and cognitive science
The Cognitive Science Center Amsterdam of the UvA organizes an interdisciplinary Summer School for Master's students. Central theme is 'Human reasoning and Cognitive science'.
For more information and registration, see the CSCA website at http://www.csca.uva.nl/
23-25 June 2003, CONTEXT'03, Stanford, California (USA)
Context affects a wide range of activities in humans and animals as well as in artificial agents and other computer programs. The importance of context is widely acknowledged, and "context" has become an area of study in its own right, as evidenced by the numerous workshops, symposia, seminars, and conferences held recently. The Fourth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'03), will provide a high-quality forum, for discussions about context among researchers active in artificial intelligence and other areas of computer science, cognitive science, linguistics, the organizational sciences, philosophy, and psychology, with a strong emphasis on interdisciplinary research.
For more information, an online registration form, and a preliminary program, see http://context.umcs.maine.edu/CONTEXT-03/
23 June - 4 July 2003, Summer School and Workshop on
Proof Theory, Computation and Complexity
The summer school consists of eight advanced courses; the workshop is integral part of the school and takes place in the last two days. As with last years events on 'Proof Theory and Computation' (Dresden) and 'Proof, Computation, Complexity' (Tübingen), we aim at a meeting where people have plenty of time to exchange ideas.
Registration is requested before May 25, 2003. For more information and a course schedule, please see our website at http://www.ki.inf.tu-dresden.de/~guglielm/WPT2/.
25 June, Logic Tea, Joost Joosten, Utrecht University
The Logic Tea homepage can be found at http://staff.science.uva.nl/~debruin/logic_tea.html
16 June-5 July 2003, CSCA Summer School Human Reasoning and cognitive science
The Cognitive Science Center Amsterdam of the UvA organizes an interdisciplinary Summer School for Master's students. Central theme is 'Human reasoning and Cognitive science'.
For more information and registration, see the CSCA website at http://www.csca.uva.nl/
23 June - 4 July 2003, Summer School and Workshop on
Proof Theory, Computation and Complexity
The summer school consists of eight advanced courses; the workshop is integral part of the school and takes place in the last two days. As with last years events on 'Proof Theory and Computation' (Dresden) and 'Proof, Computation, Complexity' (Tübingen), we aim at a meeting where people have plenty of time to exchange ideas.
Registration is requested before May 25, 2003. For more information and a course schedule, please see our website at http://www.ki.inf.tu-dresden.de/~guglielm/WPT2/.
16 June-5 July 2003, CSCA Summer School Human Reasoning and cognitive science
The Cognitive Science Center Amsterdam of the UvA organizes an interdisciplinary Summer School for Master's students. Central theme is 'Human reasoning and Cognitive science'.
For more information and registration, see the CSCA website at http://www.csca.uva.nl/
23 June - 4 July 2003, Summer School and Workshop on
Proof Theory, Computation and Complexity
The summer school consists of eight advanced courses; the workshop is integral part of the school and takes place in the last two days. As with last years events on 'Proof Theory and Computation' (Dresden) and 'Proof, Computation, Complexity' (Tübingen), we aim at a meeting where people have plenty of time to exchange ideas.
Registration is requested before May 25, 2003. For more information and a course schedule, please see our website at http://www.ki.inf.tu-dresden.de/~guglielm/WPT2/.
27 June 2003, DIP Colloquium, Regine Eckardt
This talk has been canceled due to overlap with a conference. The talk will take place in the fall of 2003 instead.
27 June 2003, Connecting People: From Animal Grunts to Human Language, Trippenhuis, Kloveniersburgwal 29, Amsterdam
"Connecting people: from animal grunts to human language" is the first of a 5-year series of annual thematic symposia organized by the NWO Cognition programme. Each symposium has a central theme that will be viewed from different cognitive perspectives. We are interested to see how this combination of perspectives may lead to something new, valuable, inspiring and exciting!
Deadline for registration: 13 June 2003
Deadline for registration: 13 June 2003. For more information, see http://www.nwo.nl/cognitie/symposium/
16 June-5 July 2003, CSCA Summer School Human Reasoning and cognitive science
The Cognitive Science Center Amsterdam of the UvA organizes an interdisciplinary Summer School for Master's students. Central theme is 'Human reasoning and Cognitive science'.
For more information and registration, see the CSCA website at http://www.csca.uva.nl/
23 June - 4 July 2003, Summer School and Workshop on
Proof Theory, Computation and Complexity
The summer school consists of eight advanced courses; the workshop is integral part of the school and takes place in the last two days. As with last years events on 'Proof Theory and Computation' (Dresden) and 'Proof, Computation, Complexity' (Tübingen), we aim at a meeting where people have plenty of time to exchange ideas.
Registration is requested before May 25, 2003. For more information and a course schedule, please see our website at http://www.ki.inf.tu-dresden.de/~guglielm/WPT2/.
16 June-5 July 2003, CSCA Summer School Human Reasoning and cognitive science
The Cognitive Science Center Amsterdam of the UvA organizes an interdisciplinary Summer School for Master's students. Central theme is 'Human reasoning and Cognitive science'.
For more information and registration, see the CSCA website at http://www.csca.uva.nl/
23 June - 4 July 2003, Summer School and Workshop on
Proof Theory, Computation and Complexity
The summer school consists of eight advanced courses; the workshop is integral part of the school and takes place in the last two days. As with last years events on 'Proof Theory and Computation' (Dresden) and 'Proof, Computation, Complexity' (Tübingen), we aim at a meeting where people have plenty of time to exchange ideas.
Registration is requested before May 25, 2003. For more information and a course schedule, please see our website at http://www.ki.inf.tu-dresden.de/~guglielm/WPT2/.
29 June, ICALP 2003 Satellite Workshop on Quantum Computing
There will be a one-day workshop about quantum computing on Sunday June 29 at the University of Eindhoven. This will be a satellite workshop of ICALP 03, consisting of about 5 invited talks. Attendance is free, but participants need to register for the workshop at http://www.win.tue.nl/icalp2003/.
Further information about speakers and program is/will become available at http://www.cwi.nl/themes/ins4/icalp03-quantum/.
16 June-5 July 2003, CSCA Summer School Human Reasoning and cognitive science
The Cognitive Science Center Amsterdam of the UvA organizes an interdisciplinary Summer School for Master's students. Central theme is 'Human reasoning and Cognitive science'.
For more information and registration, see the CSCA website at http://www.csca.uva.nl/
23 June - 4 July 2003, Summer School and Workshop on
Proof Theory, Computation and Complexity
The summer school consists of eight advanced courses; the workshop is integral part of the school and takes place in the last two days. As with last years events on 'Proof Theory and Computation' (Dresden) and 'Proof, Computation, Complexity' (Tübingen), we aim at a meeting where people have plenty of time to exchange ideas.
Registration is requested before May 25, 2003. For more information and a course schedule, please see our website at http://www.ki.inf.tu-dresden.de/~guglielm/WPT2/.
30 June - 4 July 2003, Thirtieth International Colloquium on Automata, Languages and Programming (ICALP2003), Eindhoven
ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS).
For more information, an online registration form and a preliminary program, see http://www.win.tue.nl/icalp2003/
30 June 2003, LiB-Day in Amsterdam
The LiB-Day in Amsterdam is a joint effort of the logicians from mathematics, computer science, linguistics, and philosophy in Bonn and the researchers at ILLC in Amsterdam to inform each other about the research in logic done in the two places.
This day will mainly present research from Bonn to the people in Amsterdam; there will be a companion event, the ILLC-Day in Bonn during which researchers from Amsterdam present their research in Bonn. LiB and ILLC intend to develop an active research collaboration from these two meetings, potentially leading to a bilateral research program between Amsterdam and Bonn.
All researchers, graduate students and undergraduate students from Amsterdam are cordially invited to join us for the talks.
For more information, see http://staff.science.uva.nl/~bloewe/LiB-Day.html