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.
| << February 2010 | ||||||
|---|---|---|---|---|---|---|
| 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
|
||||||
2-5 June 2010, PHILOSOPHY AND MODEL THEORY: History and Contemporary Developments, Philosophical Issues and Applications, Paris, France
This is a conference on Model Theory from a philosophical perspective. The conference is supported by the Institute of Philosophical Research (EA 373) and the “Knowledge, Language and Modelling” Graduate School (ED 139) of the University Paris Ouest Nanterre, and by the Institute of History and Philosophy of Science and Technology (IHPST). It will be held in Paris from June 2 to June 5, 2010 at the University Paris Ouest and at the Ecole Normale Supérieure. Conference organizers are Denis Bonnay, Brice Halimi and Jean-Michel Salanskis.
Please also note the conference website: http://www.u-paris10.fr/91815809/0/fiche___pagelibre/
We welcome any submission in the following areas, broadly construed: 1) history of model theory, 2) contemporary developments of model theory, 3) philosophical issues related to model theory, 4) applications of model theory outside of mathematics. Given that the conference's main perspective is philosophical, submissions in area 2) should be targeted so as to be of interest to a general audience. Deadline for submission: February 1st, 2010 (Notification of acceptance by March 15th, 2010).
21-25 May 2010, 100th Anniversary of Principia Mathematica, Conference, Hamilton ON, Canada
The Bertrand Russell Research Centre in 2010 will host a conference to celebrate the 100th anniversary of the publication of the first volume of Russell and Whitehead's Principia Mathematica.
Additional informations is available at: http://pm100.mcmaster.ca/
Submissions to the conference are sought in all areas relating to Principia Mathematica or to the development of logic and to the philosophy and foundations of mathematics in the years between the two editions. Deadline for abstract submission: 1 February 2010. Graduate students are also encouraged to submit.
15-16 April 2010, The 2010 Synthese Conference (focus on epistemology and economics), New York NY, U.S.A.
On April 15th and 16th of 2010, the Synthese Conference will take place at Columbia University. The 2010 edition of the Synthese Conference will focus on the theme of epistemology and economics. Recent years have seen an increasing amount of interaction between epistemology and economics: traditional topics in epistemology, such as the analysis of knowledge, have found a significant role in the study of interactive decision making, while traditional topics in economics, such as the analysis of rationality, now figure prominently into certain areas of epistemology.
The conference will feature the announcement of the first Synthese Distinguished Paper Award, for the best paper published in the journal of every other year.
For more information, see here or http://www.springer.com/philosophy/philosophy+of+sciences/journal/11229, or contact synthese.conference.2010 at gmail.com.
We encourage submissions for the contributed slots. Submissions should be relevant to the conference theme of epistemology and economics, broadly construed, and should satisfy the usual guidelines for submissions to Synthese. Submissions for the contributed slots must be received no later than February 1, 2010.
New journal: Dialogue and Discourse
The journal "Dialogue and Discourse" reflects the surge of interest in the analysis of language `beyond the single sentence', in discourse (i.e., text, monologue) and dialogue, from a formal, computational, or experimental perspective, as reflected in the wide range of work presented at the SEMDIAL and SIGDIAL conferences (https://www.illc.uva.nl/semdial/; http://www.sigdial.org/) and various other forums. "Dialogue and Discourse" is the first journal devoted to a wide dissemination of such work.
We are part of the eJournal initiative of the Linguistic Society of America http://elanguage.net/home.php. Articles will be published online as soon as they have been accepted. Each year, a (hardcopy) volume, collecting all articles of the year will be published by CSLI Publications, Stanford.
The journal is open for submissions and we urge you to consider submitting your work on any topic relevant to dialogue and discourse as specified in our Aims and Scope. For more information, see http://www.dialogue-and-discourse.org/
8-10 March 2010, Rudolf Carnap Lectures 2010 & International Graduate Workshop in Philosophy, Bochum, Germany
The workshop offers lectures by keynote speakers Prof. David Papineau (King's College London), and Michael Esfeld (University of Lausanne, CH), as well as presentations of selected Graduate Papers.
General Registration deadline: February 25th. For more information, see http://www.rub.de/philosophy/carnap2010
Submissions (full papers, not longer than 3000 words) for the graduate conference should be send electronically to Robert.Schuetze at rub.de no later than February 5th.
8-9 February 2010, Dialogues and Games: Historical Roots and Contemporary Models, Lille
A two-day workshop covering historical and modern aspects of games and dialogues in logic.
Studies in the history of logic have shown that the medieval traditions, both in western Europe and in India, have many distinctive dialogical and epistemological characteristics. As a result, they have much more in common with each other than they do mathematical logic of the 1950's. Recently, it has become apparent that these shared characteristics can be fruitfully modeled in the context of modern developments in logic, which are dynamic and dialogical in flavor. We believe that investigating the common properties of these two historical approaches can advance our understanding of these philosophical and historical traditions with the help of recent technical advances in dialogical and game semantics and dialogue games. The purpose of this workshop is to bring together LogICCC researchers from both the philosophical and technical traditions to provide a spring-board for collaboration and potential cross-discipline applications, allowing people working in both historical traditions, the Western and the Indian, to gain knowledge of current modeling techniques and those on the technical side access to new problems and theories to model.
The four fields that we intend to represent are: the dialogical tradition in Indian logic, obligationes in medieval Western logic, dialogical semantics and dialogue models, and games for dialogues and semantics. Each day there will be two tutorials; the first day will cover the historical topics and the second day will cover the modern techniques.
For more information, see https://www.illc.uva.nl/medlogic/DDAHL/DiG.html
8-9 February 2010, Dialogues and Games: Historical Roots and Contemporary Models, Lille
A two-day workshop covering historical and modern aspects of games and dialogues in logic.
Studies in the history of logic have shown that the medieval traditions, both in western Europe and in India, have many distinctive dialogical and epistemological characteristics. As a result, they have much more in common with each other than they do mathematical logic of the 1950's. Recently, it has become apparent that these shared characteristics can be fruitfully modeled in the context of modern developments in logic, which are dynamic and dialogical in flavor. We believe that investigating the common properties of these two historical approaches can advance our understanding of these philosophical and historical traditions with the help of recent technical advances in dialogical and game semantics and dialogue games. The purpose of this workshop is to bring together LogICCC researchers from both the philosophical and technical traditions to provide a spring-board for collaboration and potential cross-discipline applications, allowing people working in both historical traditions, the Western and the Indian, to gain knowledge of current modeling techniques and those on the technical side access to new problems and theories to model.
The four fields that we intend to represent are: the dialogical tradition in Indian logic, obligationes in medieval Western logic, dialogical semantics and dialogue models, and games for dialogues and semantics. Each day there will be two tutorials; the first day will cover the historical topics and the second day will cover the modern techniques.
For more information, see https://www.illc.uva.nl/medlogic/DDAHL/DiG.html
11 February 2010, Viva Informatica!, Room C0.110, Science Park 904, Amsterdam
[In Dutch only]
Op donderdag 11 februari 2010 organiseren het Instituut voor Informatica (IvI) en het Institute for Logic, Laguage and Computation (ILLC) van de Universiteit van Amsterdam het congres Viva Informatica! voor docenten, scholieren en andere belangstellenden die geïnteresseerd zijn in de actuele ontwikkelingen in het informatica onderzoek.
Voor meer informatie, zie http://www.science.uva.nl/vivainformatica.
16-20 August 2010, European Conference on Artificial Intelligence (ECAI-2010), Lisbon, Portugal
Artificial Intelligence (AI) is a central topic in contemporary computer science and informatics. The fruits of fifty years of AI research have benefited application domains as disparate as industrial systems control and medicine. The milestone events in AI research are increasingly regarded as milestones in human scientific and technological development: from the first chess playing program to defeat a reigning world champion under standard chess tournament rules, to the first robot to autonomously traverse 150 miles of rough terrain. Techniques, results, and concepts developed under the banner of AI research have proved to be of fundamental importance in areas such as economics, philosophy, linguistics, psychology, and logical analysis. And of course, AI remains a topic of perennial fascination in popular culture.
Initiated in 1974, the biennial European Conference on Artificial Intelligence (ECAI) is Europe's premier archival venue for presenting scientific results in AI. Organised by the European Coordinating Committee for AI (ECCAI), the ECAI conference provides an opportunity for researchers to present and hear about the very best research in contemporary AI. As well as a full programme of technical papers, ECAI-2010 will include the Prestigious Applications of Intelligent Systems conference (PAIS), the Starting AI Researcher Symposium (STAIRS), and an extensive programme of workshops, tutorials, and invited speakers.
For more information, see http://ecai2010.appia.pt/
Papers, posters and workshop proposals by all members of the international AI community are welcome. Workshops should be one- or two-day interactive events, and ample time should be allocated to discussion. Deadline for proposals: 11 December 2009 (early submissions are welcome!). Deadline for abstracts of papers and posters: 15 February 2010.
15-19 February 2010, Third Young Set Theory Workshop, Raach, Austria
The aim of this conference is to bring together PhD students and postdocs in Set Theory in order to learn from leading researchers in the field, hear about the latest research and to discuss research issues in a co-operative environment. The conference format will be similar to previous years, including tutorials, postdoc research talks and discussion sessions.
For more information, please see: http://www.math.uni-bonn.de/people/logic/events/young-set-theory-2010/.
10-11 April 2010, Special Session on Universal Algebra, St. Paul MI, U.S.A.
A Special Session on Universal Algebra and Order is to be held at the AMS Sectional Meeting in St. Paul, Minnesota on April 10 and 11.
For more information, see http://ams.org/amsmtgs/2166_deadlines.html or contact Jeffrey Olson at jolson at norwich.edu.
If you are interested in giving a 20-minute contributed talk at this session, please submit a title and abstract via the online submission form at the AMS website. Although there is a final deadline of February 16, 2010, first priority will go to abstracts submitted by December 1.
15-19 February 2010, Third Young Set Theory Workshop, Raach, Austria
The aim of this conference is to bring together PhD students and postdocs in Set Theory in order to learn from leading researchers in the field, hear about the latest research and to discuss research issues in a co-operative environment. The conference format will be similar to previous years, including tutorials, postdoc research talks and discussion sessions.
For more information, please see: http://www.math.uni-bonn.de/people/logic/events/young-set-theory-2010/.
15-19 February 2010, Third Young Set Theory Workshop, Raach, Austria
The aim of this conference is to bring together PhD students and postdocs in Set Theory in order to learn from leading researchers in the field, hear about the latest research and to discuss research issues in a co-operative environment. The conference format will be similar to previous years, including tutorials, postdoc research talks and discussion sessions.
For more information, please see: http://www.math.uni-bonn.de/people/logic/events/young-set-theory-2010/.
17-20 February 2010, Workshop on "Logical Approaches to Barriers in Computing and Complexity", Greifswald, Germany
Computability theory and complexity theory have their origins in logic. Famous names such as Goedel, Turing, Cook, and Kolmogorov connect these areas of computer science to foundations of mathematics. The fundamental goal of this area is to understand the limits of computability (that is analysing which problems can be solved on nowadays and future computers in principle) and effective computability (that is understanding the class of problems which can be solved quickly and with restricted resources) where the most famous open problem is the P=NP-problem. Logic provides a multifarious toolbox of techniques to analyse questions like this, some of which promise to provide a deep insight in the structure of limit of computation.
In our workshop, we shall focus on the following aspects: logical descriptions of complexity (e.g., descriptive complexity, bounded arithmetic), complexity classes of abstract, algebraic and infinite structures, barriers in proving complexity results, and Kolmogorov complexity and randomness.
Some of these aspects are particularly timely: recently, research in these areas became more intense. Part of this is the new conference series CiE (run by the Association for Computability in Europe) whose range of interests includes those of our workshop, creating an important focus on the emerging topics of the field. This workshop is intended as a research-oriented follow-up to the CiE conferences, allowing researchers ample time for discussions and joint work.
For more information, see http://www.cs.swan.ac.uk/greifswald2010/
15-19 February 2010, Third Young Set Theory Workshop, Raach, Austria
The aim of this conference is to bring together PhD students and postdocs in Set Theory in order to learn from leading researchers in the field, hear about the latest research and to discuss research issues in a co-operative environment. The conference format will be similar to previous years, including tutorials, postdoc research talks and discussion sessions.
For more information, please see: http://www.math.uni-bonn.de/people/logic/events/young-set-theory-2010/.
17-20 February 2010, Workshop on "Logical Approaches to Barriers in Computing and Complexity", Greifswald, Germany
Computability theory and complexity theory have their origins in logic. Famous names such as Goedel, Turing, Cook, and Kolmogorov connect these areas of computer science to foundations of mathematics. The fundamental goal of this area is to understand the limits of computability (that is analysing which problems can be solved on nowadays and future computers in principle) and effective computability (that is understanding the class of problems which can be solved quickly and with restricted resources) where the most famous open problem is the P=NP-problem. Logic provides a multifarious toolbox of techniques to analyse questions like this, some of which promise to provide a deep insight in the structure of limit of computation.
In our workshop, we shall focus on the following aspects: logical descriptions of complexity (e.g., descriptive complexity, bounded arithmetic), complexity classes of abstract, algebraic and infinite structures, barriers in proving complexity results, and Kolmogorov complexity and randomness.
Some of these aspects are particularly timely: recently, research in these areas became more intense. Part of this is the new conference series CiE (run by the Association for Computability in Europe) whose range of interests includes those of our workshop, creating an important focus on the emerging topics of the field. This workshop is intended as a research-oriented follow-up to the CiE conferences, allowing researchers ample time for discussions and joint work.
For more information, see http://www.cs.swan.ac.uk/greifswald2010/
18-19 February 2010, Colloquium "PhD's in Logic II", Tilburg, The Netherlands
The aim of PhD's in Logic II is to bring together young researchers in the field of logic. During these two days there will be 4 tutorials in to tal, 2 about mathematical and 2 about philosophical logic. In addition, PhD students and recent postdocs in mathematical or philosophical logic are in vited to present their work. Of course, everyone is kindly invited to attend the tutorials and contribut ed talks!
For more information, see http://www.tilburguniversity.nl/phdsinlogic or contact phdsinlogic at uvt.nl
3 March 2010, Coalgebra Day, Science Park 904, Amsterdam
The Algebra & Coalgebra group at The Institute for Logic, language and Computation is organizing a sequel to the successful Dutch Coalgebra Days that took place in previous years (the last one was in the CWI, Amsterdam on the 2nd March 2009).
The Coalgebra Day is an informal one-day meeting on topics related to the theory of coalgebras. We will have talks from the two invited speakers, Jiri Adámek and Stefan Milius (Technical University of Braunschweig, Germany), and from people attending the event. Participation is free for everyone, and there is no registration fee. Lunch and drinks will be offered to the participants.
For practical reasons, please let us know in advance if you plan to attend, and whether you would like to give a talk (+/- 30 min.), by sending an e-mail to R.A.LealRodriguez at uva.nl and vincenzoml at gmail.com before the 19th of February. For more information, see http://staff.science.uva.nl/~ciancia/coalgebra_day/.
15-19 February 2010, Third Young Set Theory Workshop, Raach, Austria
The aim of this conference is to bring together PhD students and postdocs in Set Theory in order to learn from leading researchers in the field, hear about the latest research and to discuss research issues in a co-operative environment. The conference format will be similar to previous years, including tutorials, postdoc research talks and discussion sessions.
For more information, please see: http://www.math.uni-bonn.de/people/logic/events/young-set-theory-2010/.
17-20 February 2010, Workshop on "Logical Approaches to Barriers in Computing and Complexity", Greifswald, Germany
Computability theory and complexity theory have their origins in logic. Famous names such as Goedel, Turing, Cook, and Kolmogorov connect these areas of computer science to foundations of mathematics. The fundamental goal of this area is to understand the limits of computability (that is analysing which problems can be solved on nowadays and future computers in principle) and effective computability (that is understanding the class of problems which can be solved quickly and with restricted resources) where the most famous open problem is the P=NP-problem. Logic provides a multifarious toolbox of techniques to analyse questions like this, some of which promise to provide a deep insight in the structure of limit of computation.
In our workshop, we shall focus on the following aspects: logical descriptions of complexity (e.g., descriptive complexity, bounded arithmetic), complexity classes of abstract, algebraic and infinite structures, barriers in proving complexity results, and Kolmogorov complexity and randomness.
Some of these aspects are particularly timely: recently, research in these areas became more intense. Part of this is the new conference series CiE (run by the Association for Computability in Europe) whose range of interests includes those of our workshop, creating an important focus on the emerging topics of the field. This workshop is intended as a research-oriented follow-up to the CiE conferences, allowing researchers ample time for discussions and joint work.
For more information, see http://www.cs.swan.ac.uk/greifswald2010/
18-19 February 2010, Colloquium "PhD's in Logic II", Tilburg, The Netherlands
The aim of PhD's in Logic II is to bring together young researchers in the field of logic. During these two days there will be 4 tutorials in to tal, 2 about mathematical and 2 about philosophical logic. In addition, PhD students and recent postdocs in mathematical or philosophical logic are in vited to present their work. Of course, everyone is kindly invited to attend the tutorials and contribut ed talks!
For more information, see http://www.tilburguniversity.nl/phdsinlogic or contact phdsinlogic at uvt.nl
7-9 July 2010, 10th Interational Conference on Deontic Logic in Computer Science (DEON 2010), Florence, Italy
The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organisation theory and law.
In addition to these general themes, DEON2010 will encourage a special focus on the topics: Deontic Logic and Legal Systems.
For more information, see here.
The Program Committee invites papers concerned with any of the topics of DEON2010. We welcome both theoretical work and implementation-oriented work. Paper Submission Deadline: February 20, 2010
17-20 February 2010, Workshop on "Logical Approaches to Barriers in Computing and Complexity", Greifswald, Germany
Computability theory and complexity theory have their origins in logic. Famous names such as Goedel, Turing, Cook, and Kolmogorov connect these areas of computer science to foundations of mathematics. The fundamental goal of this area is to understand the limits of computability (that is analysing which problems can be solved on nowadays and future computers in principle) and effective computability (that is understanding the class of problems which can be solved quickly and with restricted resources) where the most famous open problem is the P=NP-problem. Logic provides a multifarious toolbox of techniques to analyse questions like this, some of which promise to provide a deep insight in the structure of limit of computation.
In our workshop, we shall focus on the following aspects: logical descriptions of complexity (e.g., descriptive complexity, bounded arithmetic), complexity classes of abstract, algebraic and infinite structures, barriers in proving complexity results, and Kolmogorov complexity and randomness.
Some of these aspects are particularly timely: recently, research in these areas became more intense. Part of this is the new conference series CiE (run by the Association for Computability in Europe) whose range of interests includes those of our workshop, creating an important focus on the emerging topics of the field. This workshop is intended as a research-oriented follow-up to the CiE conferences, allowing researchers ample time for discussions and joint work.
For more information, see http://www.cs.swan.ac.uk/greifswald2010/
26-28 March 2010, The 10th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2010), Paphos, Cyprus
The aim of the workshop is to bring together researchers with a common interest in the theory of coalgebras and its applications. Over the last two decades, coalgebra has developed into a field of its own, presenting a mathematical foundation for various kinds of dynamical systems, infinite data structures, and logics. Coalgebra has an ever growing range of applications in and interactions with other fields such as reactive and interactive system theory, object oriented and concurrent programming, formal system specification, modal logic, dynamical systems, control systems, category theory, algebra, analysis, etc.
CMCS 2010 is co-located with ETAPS 2010. For more information, see http://event.cwi.nl/cmcs10/ or contact cmcs10 at cwi.nl.
There are two types of submissions possible: regular papers presenting original research, and short contributions describing work in progress or summarising work submitted to a conference or workshop elsewhere. Submission deadline is 8 January 2010 (regular papers) or 27 February 2010 (short contributions).
27-29 May 2010, Third Colloquium 'Semantics and Philosophy in Europe' (SPE3), Paris, France
The purpose of the SPE colloquium is to enhance the dialogue between linguists and philosophers and to provide a new forum for presenting research in the interface between linguistic semantics and the related areas of philosophy (philosophy of language, metaphysics, philosophy of mathematics, philosophy of mind, epistemology) . The colloquium takes place annually in different European cities, such as Paris (SPE1, 2008), London (SPE2, 2009), and Bochum (SPE4, 2011).
Invited speakers: Thomas Hofweber (University of North Carolina, Chapel Hill), Peter Pagin (University of Stockholm), Paul Portner (University of Maryland), Graham Priest (University of Melbourne and CUNY Graduate Center)
For more information, see http://semantics.univ-paris1.fr/index.php/visiteur/activite/afficher/activite/89
Two-page anonymous abstracts are invited for a 30-minute talk. Submission deadline: February 28, 2010.
11-13 May 2010, 3rd Formal Epistemology Festival: Learning from experience & defeasible reasoning, Toronto ON, Canada
This is the third of three small, thematically focused events in formal epistemology, organized by Franz Huber (Konstanz), Eric Swanson (Michigan), and Jonathan Weisberg (Toronto). This year;s festivities coincide with the 30th anniversary of Ray Reiter's "A Logic for D efault Reasoning" and the 15th anniversary of John Pollock's "Cognitive Carpentry". The event is dedicated to the memory of John Pollock. Confirmed participants include Thony Gillies, John Horty, Mohan Matthen, Jim Pryor, Susanna Siegel, and Scott Sturgeon.
The conference website is http://www.utm.utoronto.ca/~weisber3/3FEF/.
We welcome submissions of papers on topics related to learning from experience, defeasible reasoning, or both. Please send a pdf prepared for blind reviewing to FEF3 at utoronto.ca. Deadline for submissions: February 28, 2010.
6-9 July 2010, 17th Workshop on Logic, Language, Information and Computation (WoLLIC 2010), Brasilia, Brazil
WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The Seventeenth WoLLIC will be held in Brasilia, Brazil, from July 6th to 9th, 2010.
Special Event 2010 will mark the 50-th anniversary of the first publication of Paul Halmos' classic book Naive Set Theory by Springer Verlag. WoLLIC will celebrate this by screening the documentary about Paul Halmos which was directed by George Csicsery: "I want to be a mathematician. A conversation with Paul Halmos" (http://zalafilms.com/films/halmos.html).
For more information, see http://wollic.org/wollic2010/
Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. A title and single-paragraph abstract should be submitted by February 28.