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.
| << October 2006 | ||||||
|---|---|---|---|---|---|---|
| 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
|
||||
8-10 March 2007, Confirmation, Induction and Science, London
Opinions on confirmation and induction diverge wildly in philosophy of science. At one extreme are those such as the Bayesians, who believe that the true system of inductive logic has been found and all that needs to be resolved are the details. At the other are skeptics, such as some supporters of the underdetermination thesis, who hold that no logic can vindicate the level of support scientists claim for their best, mature theories, for, they urge, the real inductive import of evidence cannot be that decisive. Between these extreme are many intermediate positions, including the view that the very nature of inductive inference remains poorly understood. Our goal in this conference is to bring together representatives from as many of these viewpoints as possible in order to advance our understanding of this problem.
For more information, see http://www.lse.ac.uk/collections/CPNSS/events/Conferences/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 1 October 2006.
10-13 January 2007, Conference on Logic, Computability and Randomness 2007, Buenos Aires
The theme of the conference will be algorithmic randomness and related topics in logic, computability and complexity. The program will consist of invited talks, contributed talks and discussions. The meeting is sponsored by the Association for Symbolic Logic.
For more information, see http://www.dc.uba.ar/people/logic2007/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is October 1st, 2006.
6-8 December 2006, 1st International Workshop on Computational Social Choice (COMSOC-2006), ILLC, Amsterdam
Computational social choice is a new discipline emerging at the interface of social choice theory and computer science. It is concerned with the application of computational techniques to the study of social choice mechanisms, and with the integration of social choice paradigms into computing (read more).
The 1st International Workshop on Computational Social Choice (COMSOC-2006) will take place on 6-8 December 2006 in Amsterdam. It will be hosted by the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam. The aim of the workshop is to bring together different communities: computer scientists interested in computational issues in social choice; people working in artificial intelligence and multiagent systems who are using ideas from social choice to organise societies of artificial software agents; logicians interested in the logic-based specification and analysis of social procedures (social software); and last but not least people coming from social choice theory itself.
COMSOC-2006 is generously funded by the NWO (Dutch Research Council), which will allow us to bring in several prominent scientists as invited speakers, whilst keeping registration fees very low.
The registration fee is €60 (€30 for (PhD) students). Please register by 16 November 2006. For more information, see https://www.illc.uva.nl/~ulle/COMSOC-2006/ or contact Ulle Endriss (ulle at illc.uva.nl).
3 October 2006, Games, Logic, Language and Computation
This workshop is the thirteenth episode in an irregular workshop series called Games in Logic, Language and Computation. The GLLC workshop series provides an informal platform for researchers with an interest in logic and its applications in, amongst others, game theory, linguistics and computer science. GLLC 14 aims to emphasize the interface of computability theory, quantifier theory, and game theory. Speakers include M. Mostowski, B. Renne, G. Sandu, T. Tulenheimo, J. Uiterwijk and P. van Emde Boas. Everybody is cordially invited to participate; attendance is free.
For more information, see http://staff.science.uva.nl/~sevenstr/gllc14
5-8 October 2006, IADIS International Conference WWW/Internet 2006, Murcia, Spain
The IADIS WWW/Internet 2006 conference aims to address the main issues of concern within WWW/Internet. WWW and Internet had a huge development in recent years. Aspects of concern are no longer just technical anymore but other aspects have aroused. This conference aims to cover both technological as well as non-technological issues related to these developments.
For more information, see http://www.iadis.org/icwi2006/ or email: icwi_sec at iadis.org
5-8 October 2006, IADIS International Conference WWW/Internet 2006, Murcia, Spain
The IADIS WWW/Internet 2006 conference aims to address the main issues of concern within WWW/Internet. WWW and Internet had a huge development in recent years. Aspects of concern are no longer just technical anymore but other aspects have aroused. This conference aims to cover both technological as well as non-technological issues related to these developments.
For more information, see http://www.iadis.org/icwi2006/ or email: icwi_sec at iadis.org
5-8 October 2006, IADIS International Conference WWW/Internet 2006, Murcia, Spain
The IADIS WWW/Internet 2006 conference aims to address the main issues of concern within WWW/Internet. WWW and Internet had a huge development in recent years. Aspects of concern are no longer just technical anymore but other aspects have aroused. This conference aims to cover both technological as well as non-technological issues related to these developments.
For more information, see http://www.iadis.org/icwi2006/ or email: icwi_sec at iadis.org
7-10 October 2006, 17th International Converence on Algorithmic Learning Theory/9th International Conference on Discovery Science (ALT 2006/DS 2006), Barcelona, Spain
The conferences, on the theoretical foundations of machine learning and on the evelopment and analysis of methods for intelligent data analysis, knowledge discovery and machine learning, will be held in parallel and share invited talks.
For more information, see http://www-alg.ist.hokudai.ac.jp/~thomas/ALT06/alt06.jhtml and http://www-ai.ijs.si/~ds06/.
5-8 October 2006, IADIS International Conference WWW/Internet 2006, Murcia, Spain
The IADIS WWW/Internet 2006 conference aims to address the main issues of concern within WWW/Internet. WWW and Internet had a huge development in recent years. Aspects of concern are no longer just technical anymore but other aspects have aroused. This conference aims to cover both technological as well as non-technological issues related to these developments.
For more information, see http://www.iadis.org/icwi2006/ or email: icwi_sec at iadis.org
7-10 October 2006, 17th International Converence on Algorithmic Learning Theory/9th International Conference on Discovery Science (ALT 2006/DS 2006), Barcelona, Spain
The conferences, on the theoretical foundations of machine learning and on the evelopment and analysis of methods for intelligent data analysis, knowledge discovery and machine learning, will be held in parallel and share invited talks.
For more information, see http://www-alg.ist.hokudai.ac.jp/~thomas/ALT06/alt06.jhtml and http://www-ai.ijs.si/~ds06/.
7-10 October 2006, 17th International Converence on Algorithmic Learning Theory/9th International Conference on Discovery Science (ALT 2006/DS 2006), Barcelona, Spain
The conferences, on the theoretical foundations of machine learning and on the evelopment and analysis of methods for intelligent data analysis, knowledge discovery and machine learning, will be held in parallel and share invited talks.
For more information, see http://www-alg.ist.hokudai.ac.jp/~thomas/ALT06/alt06.jhtml and http://www-ai.ijs.si/~ds06/.
11-13 October 2006, 13th Symposium on String Processing and Information Retrieval (SPIRE 2006), Glasgow, Scotland
SPIRE 2006 is the 13th Symposium on String Processing and Information Retrieval. The first four editions focused primarily on string processing and South America, and were called WSP (South American Workshop on String Processing). Starting in 1998, the focus of the workshop was broadened to include the area of information retrieval due to its increasing relevance and its inter-relationship with the area of string processing. In addition, since 2000, the conference venue has been in Europe in even years.
SPIRE 2006 covers research in all aspects of string processing, information retrieval, computational biology, pattern matching, semi-structured data, and related applications.
For more information, see http://www.cis.strath.ac.uk/external/spire06/
11-13 October 2006, 13th Symposium on String Processing and Information Retrieval (SPIRE 2006), Glasgow, Scotland
SPIRE 2006 is the 13th Symposium on String Processing and Information Retrieval. The first four editions focused primarily on string processing and South America, and were called WSP (South American Workshop on String Processing). Starting in 1998, the focus of the workshop was broadened to include the area of information retrieval due to its increasing relevance and its inter-relationship with the area of string processing. In addition, since 2000, the conference venue has been in Europe in even years.
SPIRE 2006 covers research in all aspects of string processing, information retrieval, computational biology, pattern matching, semi-structured data, and related applications.
For more information, see http://www.cis.strath.ac.uk/external/spire06/
4-14 December 2006, The Second International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2006), University of Bridgeport, USA
CISSE 2006 provides a virtual forum for presentation and discussion of the state-of the-art research on computers, information and systems sciences and engineering. The CISSE 2006 virtual conference will be conducted through the Internet using web-conferencing tools, made available by the conference.
For more information, see http://www.cisse2006.org/ or mail to: info at cisse2006.org
11-13 October 2006, 13th Symposium on String Processing and Information Retrieval (SPIRE 2006), Glasgow, Scotland
SPIRE 2006 is the 13th Symposium on String Processing and Information Retrieval. The first four editions focused primarily on string processing and South America, and were called WSP (South American Workshop on String Processing). Starting in 1998, the focus of the workshop was broadened to include the area of information retrieval due to its increasing relevance and its inter-relationship with the area of string processing. In addition, since 2000, the conference venue has been in Europe in even years.
SPIRE 2006 covers research in all aspects of string processing, information retrieval, computational biology, pattern matching, semi-structured data, and related applications.
For more information, see http://www.cis.strath.ac.uk/external/spire06/
14 October 2006, MidAtlantic Mathematical Logic Seminar (MAMLS), Rutgers University, USA
Speakers include Saharon Shelah, Ben Miller, István Juhász and Boban Velickovic.
See further details on the conference web page at http://www.math.rutgers.edu/~cherlin/Mamls/Current/.
18-20 October 2006, 18th Nordic Workshop on Programming Theory (NWPT'06), Reykjavik, Iceland
The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries (but also elsewhere). Invited speakers include Gerd Behrmann, Matthew Hennessy, Hanne Riis Nielson and David Sands.
For more information, see http://www.ru.is/NWPT06/
18-20 October 2006, 18th Nordic Workshop on Programming Theory (NWPT'06), Reykjavik, Iceland
The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries (but also elsewhere). Invited speakers include Gerd Behrmann, Matthew Hennessy, Hanne Riis Nielson and David Sands.
For more information, see http://www.ru.is/NWPT06/
14-18 May 2007, Autonomous Agents and Multi-Agent Systems (AAMAS-07), Honolulu, Hawaii, USA
The AAMAS conference series was initiated in 2002 as a merger of three highly respected individual conferences: the International Conference on Autonomous Agents, the International Workshop on Agent Theories, Architectures, and Languages, and the International Conference on Multi-Agent Systems. The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems.
For more information, see http://www.aamas2007.org/
AAMAS-07 encourages the submission of theoretical, experimental, methodological, and application papers. Submission deadline for abstracts is 20 October 2006.
18-20 October 2006, 18th Nordic Workshop on Programming Theory (NWPT'06), Reykjavik, Iceland
The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries (but also elsewhere). Invited speakers include Gerd Behrmann, Matthew Hennessy, Hanne Riis Nielson and David Sands.
For more information, see http://www.ru.is/NWPT06/
20 October 2006, Structuralism in Science, Burcht van Berlage, Henri Polaklaan 9, Amsterdam
The Beth-Stichting, Nederlandse Vereniging voor Wetenschapsfilosofie (NVWF), Facult eit der Wijsbegeerte (Erasmus Universiteit Rotterdam) and Wiener-Kreis-Stichting are financing the afternoon conference "Structuralism in Science".
Coffee, tea, biscuits and snacks are all free. For more information, see https://www.illc.uva.nl/NewsandEvents/Attachments/StructScienceOct2006.pdf or contact the organizer at f.a.muller at fwb.eur.nl.
21 October 2006, Music, Mathematics and Computation, Euclides Building, Plantage Muidergracht 24, Amsterdam
This workshop intends to establish interdisciplinary contacts within the fields of music, mathematics and computation, and to get an overview of the research that is done in some prominent research groups. Furthermore, we hope to start a discussion about the research methods in these fields and to reach a consensus about the importance of the combination of these research disciplines. Speakers include Elaine Chew, Thomas Noll, Rens Bod, Henkjan Honing, Frans Wiering/Anja Volk. At the end of the afternoon, there will be time for a discussion session on the topic of the workshop. Besides the invited speakers, all participants are invited to take part in the discussion.
Everybody is cordially invited to participate; attendance is free. However, to get an idea about the number of people that participate, please send an e-mail to ahoningh at science.uva.nl for registration.
For more information, see http://staff.science.uva.nl/~ahoningh/workshop
22-24 October 2006, FOCS 2006: Foundations of Computer Science, Berkeley, CA, USA
The 47th Annual Symposium on Foundations of Computer Science (FOCS 2006), sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, will be held on October 22-24, 2006, at the Doubletree Hotel, in Berkeley, CA.
For more information and a call for papers, see http://focs06.cs.princeton.edu/
22-24 October 2006, FOCS 2006: Foundations of Computer Science, Berkeley, CA, USA
The 47th Annual Symposium on Foundations of Computer Science (FOCS 2006), sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, will be held on October 22-24, 2006, at the Doubletree Hotel, in Berkeley, CA.
For more information and a call for papers, see http://focs06.cs.princeton.edu/
22-24 October 2006, FOCS 2006: Foundations of Computer Science, Berkeley, CA, USA
The 47th Annual Symposium on Foundations of Computer Science (FOCS 2006), sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, will be held on October 22-24, 2006, at the Doubletree Hotel, in Berkeley, CA.
For more information and a call for papers, see http://focs06.cs.princeton.edu/
25-28 October 2006, International Conference on Multidisciplinary Information Sciences
and Technologies (InSciT2006), Mérida, Spain
Information Science is the interface of a number of scientific disciplines, all related to the diverse aspects of the information access, management, retrieval and usage. A number of approaches to the same object of study, the information, converge in this space: technological, mathematical, linguistic, and cognitive aspects as well as those related to the Artificial Intelligence, Natural Language Processing or Human-Computer Interaction, organizational aspects and so on. All these approaches shape the wide range of domains which must interact in order to find the solutions to the problems we all face when deploying and improving these information systems.
InSciT2006, with a strong multi and inter disciplinary focus, aims at creating a forum in Spain where gather together researchers and practitioners coming from the widest range of knowledge domains involved in the study of information.
For more information, an online registration form and a preliminary program, see http://www.instac.es/inscit2006/
25-28 October 2006 2006, The Lisbon Colloquium for the Philosophy of Science, Lisbon, Portugal
The first Lisbon Colloquium for the Philosophy of Science to be held October 25-28th, 2006 is intended to stimulate, discuss and evaluate new approaches to the problem of the unity of science which incorporate logic, decision theory, learning theory, probability theory and other formal methods in creative and productive ways.
For more information, see http://www.lisboncolloquium.org/.
25-28 October 2006, International Conference on Multidisciplinary Information Sciences
and Technologies (InSciT2006), Mérida, Spain
Information Science is the interface of a number of scientific disciplines, all related to the diverse aspects of the information access, management, retrieval and usage. A number of approaches to the same object of study, the information, converge in this space: technological, mathematical, linguistic, and cognitive aspects as well as those related to the Artificial Intelligence, Natural Language Processing or Human-Computer Interaction, organizational aspects and so on. All these approaches shape the wide range of domains which must interact in order to find the solutions to the problems we all face when deploying and improving these information systems.
InSciT2006, with a strong multi and inter disciplinary focus, aims at creating a forum in Spain where gather together researchers and practitioners coming from the widest range of knowledge domains involved in the study of information.
For more information, an online registration form and a preliminary program, see http://www.instac.es/inscit2006/
25-28 October 2006 2006, The Lisbon Colloquium for the Philosophy of Science, Lisbon, Portugal
The first Lisbon Colloquium for the Philosophy of Science to be held October 25-28th, 2006 is intended to stimulate, discuss and evaluate new approaches to the problem of the unity of science which incorporate logic, decision theory, learning theory, probability theory and other formal methods in creative and productive ways.
For more information, see http://www.lisboncolloquium.org/.
25-28 October 2006, International Conference on Multidisciplinary Information Sciences
and Technologies (InSciT2006), Mérida, Spain
Information Science is the interface of a number of scientific disciplines, all related to the diverse aspects of the information access, management, retrieval and usage. A number of approaches to the same object of study, the information, converge in this space: technological, mathematical, linguistic, and cognitive aspects as well as those related to the Artificial Intelligence, Natural Language Processing or Human-Computer Interaction, organizational aspects and so on. All these approaches shape the wide range of domains which must interact in order to find the solutions to the problems we all face when deploying and improving these information systems.
InSciT2006, with a strong multi and inter disciplinary focus, aims at creating a forum in Spain where gather together researchers and practitioners coming from the widest range of knowledge domains involved in the study of information.
For more information, an online registration form and a preliminary program, see http://www.instac.es/inscit2006/
25-28 October 2006 2006, The Lisbon Colloquium for the Philosophy of Science, Lisbon, Portugal
The first Lisbon Colloquium for the Philosophy of Science to be held October 25-28th, 2006 is intended to stimulate, discuss and evaluate new approaches to the problem of the unity of science which incorporate logic, decision theory, learning theory, probability theory and other formal methods in creative and productive ways.
For more information, see http://www.lisboncolloquium.org/.
25-28 October 2006, International Conference on Multidisciplinary Information Sciences
and Technologies (InSciT2006), Mérida, Spain
Information Science is the interface of a number of scientific disciplines, all related to the diverse aspects of the information access, management, retrieval and usage. A number of approaches to the same object of study, the information, converge in this space: technological, mathematical, linguistic, and cognitive aspects as well as those related to the Artificial Intelligence, Natural Language Processing or Human-Computer Interaction, organizational aspects and so on. All these approaches shape the wide range of domains which must interact in order to find the solutions to the problems we all face when deploying and improving these information systems.
InSciT2006, with a strong multi and inter disciplinary focus, aims at creating a forum in Spain where gather together researchers and practitioners coming from the widest range of knowledge domains involved in the study of information.
For more information, an online registration form and a preliminary program, see http://www.instac.es/inscit2006/
25-28 October 2006 2006, The Lisbon Colloquium for the Philosophy of Science, Lisbon, Portugal
The first Lisbon Colloquium for the Philosophy of Science to be held October 25-28th, 2006 is intended to stimulate, discuss and evaluate new approaches to the problem of the unity of science which incorporate logic, decision theory, learning theory, probability theory and other formal methods in creative and productive ways.
For more information, see http://www.lisboncolloquium.org/.