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 2005 | ||||||
|---|---|---|---|---|---|---|
| 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
|
30 November - 2 December 2005, EmCAP Kick-off Meeting, Barcelona
EmCAP (Emergent Cognition through Active Perception) KickOff meeting will be held November 30 - December 2, 2005 in Barcelona.
For more information, see http://www.iua.upf.edu/mtg/emcap/
1-2 December 2005, METHODS FOR MODALITIES 4 (M4M-4), Berlin - Adlershof, Germany
The workshop "Methods for Modalities" (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. Here the term "modal logics" is conceived broadly, including description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc.
For more information and registration information, see the M4M homepage at http://m4m.loria.fr/
30 November - 2 December 2005, EmCAP Kick-off Meeting, Barcelona
EmCAP (Emergent Cognition through Active Perception) KickOff meeting will be held November 30 - December 2, 2005 in Barcelona.
For more information, see http://www.iua.upf.edu/mtg/emcap/
1-2 December 2005, METHODS FOR MODALITIES 4 (M4M-4), Berlin - Adlershof, Germany
The workshop "Methods for Modalities" (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. Here the term "modal logics" is conceived broadly, including description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc.
For more information and registration information, see the M4M homepage at http://m4m.loria.fr/
4-16 December 2005, Logic Summer School, Canberra, Australia
The Automated Reasoning Group in the Research School of Information Sciences and Engineering at The Australian National University will host the Logic Summer School from the 5th to the 16th of December 2005, at the Physics G6 lecture theatre at the ANU.
The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. Topics include: Foundations of first-order logic,Modal and temporal logic,Introduction to Automated reasoning, Formal Methods, Knowledge representation and reasoning, non-classical logic, Computability and incompleteness.
Deadline for registration: 28 November 2005. For more information, see http://lss.rsise.anu.edu.au/ or contact Professor John Slaney by email at John.Slaney at anu.edu.au
4-16 December 2005, Logic Summer School, Canberra, Australia
The Automated Reasoning Group in the Research School of Information Sciences and Engineering at The Australian National University will host the Logic Summer School from the 5th to the 16th of December 2005, at the Physics G6 lecture theatre at the ANU.
The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. Topics include: Foundations of first-order logic,Modal and temporal logic,Introduction to Automated reasoning, Formal Methods, Knowledge representation and reasoning, non-classical logic, Computability and incompleteness.
Deadline for registration: 28 November 2005. For more information, see http://lss.rsise.anu.edu.au/ or contact Professor John Slaney by email at John.Slaney at anu.edu.au
4-16 December 2005, Logic Summer School, Canberra, Australia
The Automated Reasoning Group in the Research School of Information Sciences and Engineering at The Australian National University will host the Logic Summer School from the 5th to the 16th of December 2005, at the Physics G6 lecture theatre at the ANU.
The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. Topics include: Foundations of first-order logic,Modal and temporal logic,Introduction to Automated reasoning, Formal Methods, Knowledge representation and reasoning, non-classical logic, Computability and incompleteness.
Deadline for registration: 28 November 2005. For more information, see http://lss.rsise.anu.edu.au/ or contact Professor John Slaney by email at John.Slaney at anu.edu.au
4-16 December 2005, Logic Summer School, Canberra, Australia
The Automated Reasoning Group in the Research School of Information Sciences and Engineering at The Australian National University will host the Logic Summer School from the 5th to the 16th of December 2005, at the Physics G6 lecture theatre at the ANU.
The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. Topics include: Foundations of first-order logic,Modal and temporal logic,Introduction to Automated reasoning, Formal Methods, Knowledge representation and reasoning, non-classical logic, Computability and incompleteness.
Deadline for registration: 28 November 2005. For more information, see http://lss.rsise.anu.edu.au/ or contact Professor John Slaney by email at John.Slaney at anu.edu.au
7-8 December, 2005, THE THIRD EUROPEAN WORKSHOP ON MULTI-AGENT SYSTEMS, Flemish Academic Center for Science and the Arts, Brussels, Belgium
In the last 15 years we have seen a significant increase of interest in agent-oriented technology. This field is now set to become one of the key technologies in the 21st century and will underpin much of the next generation of computing that seeks to address issues in Ambient Intelligence, Pervasive and Ubiquitous Computing, Complex Systems, Grid Computing, Services Oriented Computing, Semantic Web and many other areas.
It is therefore crucial that both academics and industrialists within Europe have access to a forum at which current research and application issues are presented and discussed.
For more information, see http://como.vub.ac.be/eumas2005/
4-16 December 2005, Logic Summer School, Canberra, Australia
The Automated Reasoning Group in the Research School of Information Sciences and Engineering at The Australian National University will host the Logic Summer School from the 5th to the 16th of December 2005, at the Physics G6 lecture theatre at the ANU.
The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. Topics include: Foundations of first-order logic,Modal and temporal logic,Introduction to Automated reasoning, Formal Methods, Knowledge representation and reasoning, non-classical logic, Computability and incompleteness.
Deadline for registration: 28 November 2005. For more information, see http://lss.rsise.anu.edu.au/ or contact Professor John Slaney by email at John.Slaney at anu.edu.au
7-8 December, 2005, THE THIRD EUROPEAN WORKSHOP ON MULTI-AGENT SYSTEMS, Flemish Academic Center for Science and the Arts, Brussels, Belgium
In the last 15 years we have seen a significant increase of interest in agent-oriented technology. This field is now set to become one of the key technologies in the 21st century and will underpin much of the next generation of computing that seeks to address issues in Ambient Intelligence, Pervasive and Ubiquitous Computing, Complex Systems, Grid Computing, Services Oriented Computing, Semantic Web and many other areas.
It is therefore crucial that both academics and industrialists within Europe have access to a forum at which current research and application issues are presented and discussed.
For more information, see http://como.vub.ac.be/eumas2005/
4-16 December 2005, Logic Summer School, Canberra, Australia
The Automated Reasoning Group in the Research School of Information Sciences and Engineering at The Australian National University will host the Logic Summer School from the 5th to the 16th of December 2005, at the Physics G6 lecture theatre at the ANU.
The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. Topics include: Foundations of first-order logic,Modal and temporal logic,Introduction to Automated reasoning, Formal Methods, Knowledge representation and reasoning, non-classical logic, Computability and incompleteness.
Deadline for registration: 28 November 2005. For more information, see http://lss.rsise.anu.edu.au/ or contact Professor John Slaney by email at John.Slaney at anu.edu.au
9 December 2005, ILLC Workshop "Whither DOP?", Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
Now that the DOP approach has entered its 15th year from its original conception, the time has come to critically look back and think afresh about the future. What went astray with DOP's statistical estimator and has it been solved? What are the problems related to DOP's productive units, and how can they be redressed? What else is still to be done in DOP? And how far can the model be stretched?
DOP has led to statistical extensions of Lexical-Functional Grammar, Head-driven Phrase-Structure Grammar and Tree-Adjoining Grammar. It has been applied to machine translation, speech understanding, music analysis, problem-solving and equational reasoning. Can it be extended to other fields of cognition? What are the counter-examples that DOP has to face? And what is its relation with frameworks like Case-Based Reasoning and Probabilistic Inductive Logic Programming?
This workshop aims to provide an informal discussion platform on DOP and is open to everyone. Each talk will discuss one or more open problems and will be followed by ample discussion. The workshop is also meant to give an overview of the projects and/or recently founded research groups on DOP at the University of Amsterdam, the University of St Andrews, at Dublin City University and the University of Essex.
For more information, see http://staff.science.uva.nl/~rens/whitherdop.html
4-16 December 2005, Logic Summer School, Canberra, Australia
The Automated Reasoning Group in the Research School of Information Sciences and Engineering at The Australian National University will host the Logic Summer School from the 5th to the 16th of December 2005, at the Physics G6 lecture theatre at the ANU.
The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. Topics include: Foundations of first-order logic,Modal and temporal logic,Introduction to Automated reasoning, Formal Methods, Knowledge representation and reasoning, non-classical logic, Computability and incompleteness.
Deadline for registration: 28 November 2005. For more information, see http://lss.rsise.anu.edu.au/ or contact Professor John Slaney by email at John.Slaney at anu.edu.au
29-31 May 2006, 6th Int. Conf. on Algorithms and Complexity (CIAC '06), Rome, Italy
The 6th Int. Conference on Algorithms and Complexity covers research in all aspects of computational complexity and the use, design, analysis and experimentation of efficient algorithms and data structures.
For more information, see http://www.dsi.uniroma1.it/~ciac/.
4-16 December 2005, Logic Summer School, Canberra, Australia
The Automated Reasoning Group in the Research School of Information Sciences and Engineering at The Australian National University will host the Logic Summer School from the 5th to the 16th of December 2005, at the Physics G6 lecture theatre at the ANU.
The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. Topics include: Foundations of first-order logic,Modal and temporal logic,Introduction to Automated reasoning, Formal Methods, Knowledge representation and reasoning, non-classical logic, Computability and incompleteness.
Deadline for registration: 28 November 2005. For more information, see http://lss.rsise.anu.edu.au/ or contact Professor John Slaney by email at John.Slaney at anu.edu.au
4-16 December 2005, Logic Summer School, Canberra, Australia
The Automated Reasoning Group in the Research School of Information Sciences and Engineering at The Australian National University will host the Logic Summer School from the 5th to the 16th of December 2005, at the Physics G6 lecture theatre at the ANU.
The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. Topics include: Foundations of first-order logic,Modal and temporal logic,Introduction to Automated reasoning, Formal Methods, Knowledge representation and reasoning, non-classical logic, Computability and incompleteness.
Deadline for registration: 28 November 2005. For more information, see http://lss.rsise.anu.edu.au/ or contact Professor John Slaney by email at John.Slaney at anu.edu.au
4-16 December 2005, Logic Summer School, Canberra, Australia
The Automated Reasoning Group in the Research School of Information Sciences and Engineering at The Australian National University will host the Logic Summer School from the 5th to the 16th of December 2005, at the Physics G6 lecture theatre at the ANU.
The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. Topics include: Foundations of first-order logic,Modal and temporal logic,Introduction to Automated reasoning, Formal Methods, Knowledge representation and reasoning, non-classical logic, Computability and incompleteness.
Deadline for registration: 28 November 2005. For more information, see http://lss.rsise.anu.edu.au/ or contact Professor John Slaney by email at John.Slaney at anu.edu.au
4-16 December 2005, Logic Summer School, Canberra, Australia
The Automated Reasoning Group in the Research School of Information Sciences and Engineering at The Australian National University will host the Logic Summer School from the 5th to the 16th of December 2005, at the Physics G6 lecture theatre at the ANU.
The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. Topics include: Foundations of first-order logic,Modal and temporal logic,Introduction to Automated reasoning, Formal Methods, Knowledge representation and reasoning, non-classical logic, Computability and incompleteness.
Deadline for registration: 28 November 2005. For more information, see http://lss.rsise.anu.edu.au/ or contact Professor John Slaney by email at John.Slaney at anu.edu.au
(ANTI-)REALISMES : LOGIQUE ET METAPHYSIQUE, University of Nancy 2
For more information, see http://www.univ-nancy2.fr/poincare/colloques/AR06/epresentation.htm
30 June - 5 July 2006, CiE 2006: Logical Approaches to Computational Barriers, Swansea, Wales
CiE 2006 is the second of a new conference series on Computability
Theory and related topics which started in Amsterdam in 2005. CiE 2006
will focus on (but not be limited to) logical approaches to
computational barriers:
- practical and feasible barriers, e.g., centred around the P vs. NP
problem;
- computable barriers connected to models of computers and
programming languages;
- hypercomputable barriers related to physical systems.
For more information, see here or http://www.cs.swansea.ac.uk/cie06/
The Programme Committee cordially invites all researchers (European and non-European) in the area of Computability Theory to submit their papers for presentation at CiE 2006. Submission Deadline is December 15th, 2005.
4-16 December 2005, Logic Summer School, Canberra, Australia
The Automated Reasoning Group in the Research School of Information Sciences and Engineering at The Australian National University will host the Logic Summer School from the 5th to the 16th of December 2005, at the Physics G6 lecture theatre at the ANU.
The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. Topics include: Foundations of first-order logic,Modal and temporal logic,Introduction to Automated reasoning, Formal Methods, Knowledge representation and reasoning, non-classical logic, Computability and incompleteness.
Deadline for registration: 28 November 2005. For more information, see http://lss.rsise.anu.edu.au/ or contact Professor John Slaney by email at John.Slaney at anu.edu.au
4-16 December 2005, Logic Summer School, Canberra, Australia
The Automated Reasoning Group in the Research School of Information Sciences and Engineering at The Australian National University will host the Logic Summer School from the 5th to the 16th of December 2005, at the Physics G6 lecture theatre at the ANU.
The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. Topics include: Foundations of first-order logic,Modal and temporal logic,Introduction to Automated reasoning, Formal Methods, Knowledge representation and reasoning, non-classical logic, Computability and incompleteness.
Deadline for registration: 28 November 2005. For more information, see http://lss.rsise.anu.edu.au/ or contact Professor John Slaney by email at John.Slaney at anu.edu.au
16 December 2005, The 16th Meeting of Computational Linguistics in the Netherlands (CLIN 2005), Amsterdam
CLIN 2005, the 16th meeting of computational linguistics in The Netherlands will take place on Friday December 16, 2005, in Amsterdam, prior to the Amsterdam Colloquium. The CLIN 2005 program will consist of contributed papers, poster presentations, as well as two invited talks, by Edward Hovy (ISI, USC) and Hermann Ney (RWTH).
For more information, see http://www.science.uva.nl/events/CLIN2005/
16-17 December 2005, Recherches Québecoises en Logique, Université du Québec à Montréal (UQÀM)
"Recherches Québecoises en Logique" is intended at fostering Québec's logic researches. For the first edition, priority is given to young researchers (phds or postdocs). There will be six talk and one tutorial.
The event is hosted by Université du Québec à Montréal's Canada Research Chair in Philosophy of Logic and Mathematics, held by Mathieu Marion.
For more information, see https://www.illc.uva.nl/Montreal/ or contact: Olivier Roy (oroy at science.uva.nl), Patrick Girard (pgirard at stanford.edu) or Mathieu Marion (marion.mathieu at uqam.ca)
15 - 20 May 2006, Theory and Applications of Models of Computation (TAMC06), Beijing, China
TAMC06 is a new annual conference focusing on theory and applications of computation. It is organized as part of the Grand China NSF International Joint Project after which the conference is named, and is supported by the Chinese National Science Foundation, and the Institute of Software of the Chinese Academy of Sciences. Previously two annual meetings were held in 2004 and 2005, with enthusiastic participation from researchers all around the world. TAMC 06 will be a much larger international conference. The scope of the conference will include algorithms, complexity, models of computation, and computability. The conference will be interdisciplinary in nature, and bring together researchers and students with an interest in computer science, mathematics and logic, and applications to the physical sciences.
For more information, see http://gcl.iscas.ac.cn/accl06/TAMC06_Home.htm
16-17 December 2005, Recherches Québecoises en Logique, Université du Québec à Montréal (UQÀM)
"Recherches Québecoises en Logique" is intended at fostering Québec's logic researches. For the first edition, priority is given to young researchers (phds or postdocs). There will be six talk and one tutorial.
The event is hosted by Université du Québec à Montréal's Canada Research Chair in Philosophy of Logic and Mathematics, held by Mathieu Marion.
For more information, see https://www.illc.uva.nl/Montreal/ or contact: Olivier Roy (oroy at science.uva.nl), Patrick Girard (pgirard at stanford.edu) or Mathieu Marion (marion.mathieu at uqam.ca)
19 December 2005, Symposium "Processes, terms and cycles", Turing room (Z011), CWI, Kruislaan 413, Amsterdam
On Monday December 19, 2005, there is a one-day symposium "Processes, terms, and cycles: steps on the road to infinity" in honour of Jan Willem Klop. The symposium celebrates Jan Willem's 60th birthday, and the 25th anniversary of his connection with the CWI.
The following renowned national and international friends of Jan Willem will lecture on his symposium: Zena Ariola, Arvind, Henk Barendregt, Jan Bergstra, Nachum Dershowitz, Marianiola Dezani, Roger Hindley, Jean-Jacques Levy, Ronan Sleep.
The complete program and the registration form can be found via: http://www.cwi.nl/events/2005/jwklop/. Please register before December 1, 2005.