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.
| << July 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
|
||
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/
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/
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/
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/
4 July 2003, DIP Colloquium, Norman Cook
For abstracts and more information, see https://www.illc.uva.nl/dip/.
4 July 2003, CSCA Lecture, Prof. Keith Stenning
Oudezijds Voorburgwal 231, Amsterdam
An interpretative approach to understanding human communication contrasts, at least in emphasis, with the generative perspective adopted in Chomsky's classical arguments for the creativity of human language. This talk illustrates the interpretative perspective through recent work on communication and reasoning, and then draws out the consequences of this shift in emphasis for work on the evolution of cognition.
For more information 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/
5 July 2003, CSCA Symposium Logic and cognition: some novel interactions,
Universiteitsmuseum De Agnietenkapel,
Oudezijds Voorburgwal 231, Amsterdam
Oudezijds Voorburgwal 231, Amsterdam
The purpose of the symposium is to bring novel logical perspectives on cognition into interaction with newly available empirical methods of investigation, especially with an evolutionary backdrop in mind.
For more information and registration, see the CSCA website at http://www.csca.uva.nl/
7-11 July 2003, SWIFT 2003 "Summer Workshop In Finestructure Theory"
The SWIFT Summer Workshop will consist of an intense one-week tutorial course on a simplified finestructure theory for Goedel's constructible universe, and of invited and contributed talks. The workshop is equally directed towards specialists in constructibility theory and towards researchers in logic who are interested in a compact introduction to the constructible universe and its finestructure.
For more information, see here or http://www.math.uni-bonn.de/people/logic/Events/SWIFT/
7-11 July 2003, International Conference on Algebraic and Topological Methods in Non-classical Logics, Tbilisi State University, Tbilisi, Georgia
The aim of this conference is to present some recent advances in the use of algebraic, order-theoretic, and topological methods in non-classical logics. We also hope to bring together researchers in the fields of non-classical logics, lattice theory, universal algebra, category theory, and general topology in order to foster collaboration and to get new ideas for further research.
Deadline for registration: 1 June 2003. For more information, see the conference website at http://piscopia.nmsu.edu/morandi/TbilisiConference/.
7-11 July 2003, SWIFT 2003 "Summer Workshop In Finestructure Theory"
The SWIFT Summer Workshop will consist of an intense one-week tutorial course on a simplified finestructure theory for Goedel's constructible universe, and of invited and contributed talks. The workshop is equally directed towards specialists in constructibility theory and towards researchers in logic who are interested in a compact introduction to the constructible universe and its finestructure.
For more information, see here or http://www.math.uni-bonn.de/people/logic/Events/SWIFT/
7-11 July 2003, International Conference on Algebraic and Topological Methods in Non-classical Logics, Tbilisi State University, Tbilisi, Georgia
The aim of this conference is to present some recent advances in the use of algebraic, order-theoretic, and topological methods in non-classical logics. We also hope to bring together researchers in the fields of non-classical logics, lattice theory, universal algebra, category theory, and general topology in order to foster collaboration and to get new ideas for further research.
Deadline for registration: 1 June 2003. For more information, see the conference website at http://piscopia.nmsu.edu/morandi/TbilisiConference/.
8-10 July, 2003, 10th International Conference on TEMPORAL REPRESENTATION AND REASONING and 4th International Conference on TEMPORAL LOGIC (TIME-ICTL-2003), Cairns, Queensland, Australia
In the year 2003 the TIME symposium and ICTL will be held as a combined event. The idea is to bring together active researchers from distinct research areas involving representation of, or reasoning with, time. As with previous meetings in these respected series, one of the main goals of this conference will be to bridge the gap between theoretical and applied research in temporal representation and reasoning. Thus, we especially encourage submissions concerning temporal aspects within areas such as Artificial Intelligence, Temporal/Spatial Databases and Applications of Temporal Logic in Computer Science in order to achieve a multi-disciplinary perspective on the topic and to benefit from cross-fertilisation of ideas.
There are four tracks in the symposium with separate program committees, all overseen by the program chairs. The conference is planned as a three-day event, and will be organised as a combination of technical paper presentations, an extended poster session, and four keynote talks.
For more information, see here or http://time-ictl.cs.uwa.edu.au/
7-11 July 2003, SWIFT 2003 "Summer Workshop In Finestructure Theory"
The SWIFT Summer Workshop will consist of an intense one-week tutorial course on a simplified finestructure theory for Goedel's constructible universe, and of invited and contributed talks. The workshop is equally directed towards specialists in constructibility theory and towards researchers in logic who are interested in a compact introduction to the constructible universe and its finestructure.
For more information, see here or http://www.math.uni-bonn.de/people/logic/Events/SWIFT/
7-11 July 2003, International Conference on Algebraic and Topological Methods in Non-classical Logics, Tbilisi State University, Tbilisi, Georgia
The aim of this conference is to present some recent advances in the use of algebraic, order-theoretic, and topological methods in non-classical logics. We also hope to bring together researchers in the fields of non-classical logics, lattice theory, universal algebra, category theory, and general topology in order to foster collaboration and to get new ideas for further research.
Deadline for registration: 1 June 2003. For more information, see the conference website at http://piscopia.nmsu.edu/morandi/TbilisiConference/.
8-10 July, 2003, 10th International Conference on TEMPORAL REPRESENTATION AND REASONING and 4th International Conference on TEMPORAL LOGIC (TIME-ICTL-2003), Cairns, Queensland, Australia
In the year 2003 the TIME symposium and ICTL will be held as a combined event. The idea is to bring together active researchers from distinct research areas involving representation of, or reasoning with, time. As with previous meetings in these respected series, one of the main goals of this conference will be to bridge the gap between theoretical and applied research in temporal representation and reasoning. Thus, we especially encourage submissions concerning temporal aspects within areas such as Artificial Intelligence, Temporal/Spatial Databases and Applications of Temporal Logic in Computer Science in order to achieve a multi-disciplinary perspective on the topic and to benefit from cross-fertilisation of ideas.
There are four tracks in the symposium with separate program committees, all overseen by the program chairs. The conference is planned as a three-day event, and will be organised as a combination of technical paper presentations, an extended poster session, and four keynote talks.
For more information, see here or http://time-ictl.cs.uwa.edu.au/
7-11 July 2003, SWIFT 2003 "Summer Workshop In Finestructure Theory"
The SWIFT Summer Workshop will consist of an intense one-week tutorial course on a simplified finestructure theory for Goedel's constructible universe, and of invited and contributed talks. The workshop is equally directed towards specialists in constructibility theory and towards researchers in logic who are interested in a compact introduction to the constructible universe and its finestructure.
For more information, see here or http://www.math.uni-bonn.de/people/logic/Events/SWIFT/
7-11 July 2003, International Conference on Algebraic and Topological Methods in Non-classical Logics, Tbilisi State University, Tbilisi, Georgia
The aim of this conference is to present some recent advances in the use of algebraic, order-theoretic, and topological methods in non-classical logics. We also hope to bring together researchers in the fields of non-classical logics, lattice theory, universal algebra, category theory, and general topology in order to foster collaboration and to get new ideas for further research.
Deadline for registration: 1 June 2003. For more information, see the conference website at http://piscopia.nmsu.edu/morandi/TbilisiConference/.
8-10 July, 2003, 10th International Conference on TEMPORAL REPRESENTATION AND REASONING and 4th International Conference on TEMPORAL LOGIC (TIME-ICTL-2003), Cairns, Queensland, Australia
In the year 2003 the TIME symposium and ICTL will be held as a combined event. The idea is to bring together active researchers from distinct research areas involving representation of, or reasoning with, time. As with previous meetings in these respected series, one of the main goals of this conference will be to bridge the gap between theoretical and applied research in temporal representation and reasoning. Thus, we especially encourage submissions concerning temporal aspects within areas such as Artificial Intelligence, Temporal/Spatial Databases and Applications of Temporal Logic in Computer Science in order to achieve a multi-disciplinary perspective on the topic and to benefit from cross-fertilisation of ideas.
There are four tracks in the symposium with separate program committees, all overseen by the program chairs. The conference is planned as a three-day event, and will be organised as a combination of technical paper presentations, an extended poster session, and four keynote talks.
For more information, see here or http://time-ictl.cs.uwa.edu.au/
7-11 July 2003, SWIFT 2003 "Summer Workshop In Finestructure Theory"
The SWIFT Summer Workshop will consist of an intense one-week tutorial course on a simplified finestructure theory for Goedel's constructible universe, and of invited and contributed talks. The workshop is equally directed towards specialists in constructibility theory and towards researchers in logic who are interested in a compact introduction to the constructible universe and its finestructure.
For more information, see here or http://www.math.uni-bonn.de/people/logic/Events/SWIFT/
7-11 July 2003, International Conference on Algebraic and Topological Methods in Non-classical Logics, Tbilisi State University, Tbilisi, Georgia
The aim of this conference is to present some recent advances in the use of algebraic, order-theoretic, and topological methods in non-classical logics. We also hope to bring together researchers in the fields of non-classical logics, lattice theory, universal algebra, category theory, and general topology in order to foster collaboration and to get new ideas for further research.
Deadline for registration: 1 June 2003. For more information, see the conference website at http://piscopia.nmsu.edu/morandi/TbilisiConference/.
29 July - 1 August 2003, 1st Düsseldorf Summer Workshop "Philosophy and Cognitive Science"
This year's Düsseldorf Summer Workshop "Philosophy and Cognitive Science" will be held by Professor Wilfrid Hodges of the School of Mathematical Sciences at the Queen Mary College, University of London. Hodges recent articles on compositionality received wide acclaim. The seminar is both for students as professionals of philosophy, linguistics and cognitive science.
For more information, see here or http://www.cognitivescience.de/seminar/.
29 July - 1 August 2003, 1st Düsseldorf Summer Workshop "Philosophy and Cognitive Science"
This year's Düsseldorf Summer Workshop "Philosophy and Cognitive Science" will be held by Professor Wilfrid Hodges of the School of Mathematical Sciences at the Queen Mary College, University of London. Hodges recent articles on compositionality received wide acclaim. The seminar is both for students as professionals of philosophy, linguistics and cognitive science.
For more information, see here or http://www.cognitivescience.de/seminar/.
29 July - 1 August 2003, 1st Düsseldorf Summer Workshop "Philosophy and Cognitive Science"
This year's Düsseldorf Summer Workshop "Philosophy and Cognitive Science" will be held by Professor Wilfrid Hodges of the School of Mathematical Sciences at the Queen Mary College, University of London. Hodges recent articles on compositionality received wide acclaim. The seminar is both for students as professionals of philosophy, linguistics and cognitive science.
For more information, see here or http://www.cognitivescience.de/seminar/.