We tend to think of liberal democracy as providing the most ethically defensible way to set up a modern society. A separate yet highly relevant issue is whether liberal democracies also are preferable from an epistemological perspective, i.e., from the point of view of promoting true over false belief, knowledge over ignorance, and so on. The purpose of this conference-and of the research project that it is part of-is to investigate the norms, practices, and institutions that determine how belief and knowledge is acquired and transmitted in liberal democracies.

For more information, see http://epistemology.ku.dk/

In recent years there has been a good deal of interest in developing two perspectives in tandem: logics that analyze agent interaction, and introducing interactive viewpoints into logic itself. While this has generated much new research, many broad questions remain. This ESSLLI 2010 workshop will systematically cover a number of major issues that arise here.

For more information, see ai.stanford.edu/~epacuit/lograt/wkshp-esslli2010.html

Dependence and independence are common phenomena, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is their role in logic and - turning the tables - what is the logic of these concepts?

The possibility of nesting quantifiers, thus expressing patterns of dependence and independence between variables, accounts for much of the expressive power of first order logic. However, first order logic is not capable of expressing all such patterns, and as a consequence various generalizations - such as branching quantifiers, or the various variants of independence-friendly logic - have been introduced during the last fifty years. Dependence logic is a recent formalism, which brings to the forefront the very concept of dependence, isolating it from the notion of quantifier and making it one of the primitive elements of the language. It can also be added to other logics, such as modal logic. This has opened up an opportunity to develop logical tools for the study of complex forms of dependence, with applications to computer science, philosophy, linguistics, game theory and mathematics. Recently there has been an increasing interest in this topic, especially among young researchers.

The goal of this workshop is to provide an opportunity for researchers to further explore the very notions of dependence and independence and their role in formal logic, inparticular with regard to logics of imperfect information.

For more information, see https://www.illc.uva.nl/dependence/. This workshop is organized as part of the European Summer School on Logic, Language and Information 2010 in cooperation with the European Science Foundation EUROCORES program LogICCC project LINT (Logic for interaction).

In the successful tradition of logic satellite meetings at recent ICMs, we shall hold a satellite conference on mathematical logic and set theory in India to provide a specialized venue for logicians and set theorists connected with ICM 2010 in Hyderabad. The scope of the intended meeting is all of mathematical logic, including its areas of application (theoretical computer science, algebraic logic and others) with a special emphasis on set theory.

For more information, see https://www.illc.uva.nl/Chennai/ or contact the organizeres, Benedikt Löwe (Amsterdam) and R. Ramanujam (Chennai), at jam at imsc.res.in.

The age of information explosion gives us a whole new spectrum of possibilities for creating an intelligent machine. Many marvelous ideas of the dawn of Artificial Intelligence research faced problems of exceptions and the impossibility of manual input of all needed knowledge, but today we have vast amounts of data from sensors and text so that we can rethink classical AI methods and approaches. The increased use of WWW, RFID, Bluetooth, etc. could allow us to determine standard human behaviors, emotions or even moral reasoning according to the Wisdom of Crowds hypothesis. Collective input data could also help to retrieve knowledge about the physical world we live in. By combining Natural Language Processing methods with cognitive approaches, we can discover a new range of intelligent systems that understand us, our environment and our feelings.

In this context, we see a role for NLP and cognitive approaches to play in developing a new generation of user-friendly, safe systems that, through interaction with the user and the world, can learn how to reason, behave or speak naturally. We are interested in original papers on systems and ideas for systems that use common sense knowledge and reasoning, affective computing, cognitive methods, learning from broad sets of data and acquiring knowledge, or language and user preferences. The symposium intends to spark an interdisciplinary discussion on joining forces to return AI to its original, broader and deeper goals which are currently represented by AGI - Artificial General Intelligence.

For more information, see http://sig.media.eng.hokudai.ac.jp/AISB10/LaCATODA2010/

The Harvard-MIT Gradute Philosophy Conference is an annual philosophy conference for graduate students organized by graduate students at Harvard and MIT.

2010 Keynote Speaker: Derek Parfit, All Souls College, Oxford

For more information, see here or contact the organizers at harvardmit2010 at gmail.com.

The fourth NASSLLI (after previous editions at Stanford University, Indiana University, and UCLA) will return to Bloomington, Indiana, June 20 - 26, 2010. The summer school, loosely modeled on the long-running ESSLLI series in Europe, will consist of a number of courses and workshops, selected on the basis of the proposals. By default, courses and workshops meet for 90 or 120 minutes on each of five days.

For more information, see http://www.indiana.edu/~nasslli/ or contact the local organisers at nasslli at indiana.edu.

The AISB convention is an annual event organised as a number of collocated symposia loosely organised around a theme, and interspersed with invited plenary talks and poster sessions.

For more information, see http://www.aisb.org.uk/convention/aisb10/ or contact Aladdin Ayesh at aayesh at dmu.ac.uk.

The AISB convention is an annual event organised as a number of collocated symposia loosely organised around a theme, and interspersed with invited plenary talks and poster sessions.

For more information, see http://www.aisb.org.uk/convention/aisb10/ or contact Aladdin Ayesh at aayesh at dmu.ac.uk.

We are having an informal set theory seminar. Anyone who is interested in set theory is welcome to attend.

For more information, see here.

The AISB convention is an annual event organised as a number of collocated symposia loosely organised around a theme, and interspersed with invited plenary talks and poster sessions.

For more information, see http://www.aisb.org.uk/convention/aisb10/ or contact Aladdin Ayesh at aayesh at dmu.ac.uk.

We are having an informal set theory seminar. Anyone who is interested in set theory is welcome to attend.

For more information, see here.

This annual event brings together researchers from all areas of computer science that involve temporal representation and reasoning. The program includes three tracks: temporal representation and reasoning in AI, temporal database management, and temporal logic and verification in computer science. The invited speakers include: I. Hodkinson, B. Kuijpers, and M. Leucker.

For further information, visit the website below http://www.lsv.ens-cachan.fr/Events/TIME10/.

The AISB convention is an annual event organised as a number of collocated symposia loosely organised around a theme, and interspersed with invited plenary talks and poster sessions.

For more information, see http://www.aisb.org.uk/convention/aisb10/ or contact Aladdin Ayesh at aayesh at dmu.ac.uk.

The European Science Foundation's COST Action on Algorithmic Decision Theory will sponsor a doctoral school on Computational Social Choice during 9-14 April 2010 in Estoril, near Lisbon, Portugal.

All interested PhD students, working in fields such as Computational Social Choice, (classical) Social Choice Theory and related areas of Mathematical Economics, Multiagent Systems, Artificial Intelligence, Logic, Theoretical Computer Science, as well as Operations Research and Decision Analysis, are encouraged to apply (by sending a CV and a short cover letter).

The doctoral school can accommodate up to 30 participants. The registration fee is EUR 225 (full pension). Applications must be received by the end of January 2010.

For further information, see http://algodec.org or contact Ulle Endriss (ulle.endriss at uva.nl).

The European Science Foundation's COST Action on Algorithmic Decision Theory will sponsor a doctoral school on Computational Social Choice during 9-14 April 2010 in Estoril, near Lisbon, Portugal.

All interested PhD students, working in fields such as Computational Social Choice, (classical) Social Choice Theory and related areas of Mathematical Economics, Multiagent Systems, Artificial Intelligence, Logic, Theoretical Computer Science, as well as Operations Research and Decision Analysis, are encouraged to apply (by sending a CV and a short cover letter).

The doctoral school can accommodate up to 30 participants. The registration fee is EUR 225 (full pension). Applications must be received by the end of January 2010.

For further information, see http://algodec.org or contact Ulle Endriss (ulle.endriss at uva.nl).

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.

The European Science Foundation's COST Action on Algorithmic Decision Theory will sponsor a doctoral school on Computational Social Choice during 9-14 April 2010 in Estoril, near Lisbon, Portugal.

All interested PhD students, working in fields such as Computational Social Choice, (classical) Social Choice Theory and related areas of Mathematical Economics, Multiagent Systems, Artificial Intelligence, Logic, Theoretical Computer Science, as well as Operations Research and Decision Analysis, are encouraged to apply (by sending a CV and a short cover letter).

The doctoral school can accommodate up to 30 participants. The registration fee is EUR 225 (full pension). Applications must be received by the end of January 2010.

For further information, see http://algodec.org or contact Ulle Endriss (ulle.endriss at uva.nl).

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.

Theoretical approaches to communication and dialogue modeling are varied and often unrelated because separately focusing on different aspects of dialogue (speech acts, goals, beliefs, plans, questions, conventions, roles, cooperation, disputes, argumentation, reference, semantics-pragmatics interface...). On the other hand, the area of foundations of multi-agent systems is inducing new developments in logics of interaction and information dynamics, with a recent trend towards comparison and integration. Analyzing the impact of this trend on communication and dialogue modeling is timely.

This ESSLLI-2010 workshop aims at discussing formal theories and logics of information dynamics and interaction and their applications to dialogue and communication modeling. It is intended to bring together logicians, linguists and computer scientists in order to provide a better understanding of the potentialities and limitations of formal methods for the analysis of dialogue and communication. Its scope includes not only the technical aspects of logics, but also multidisciplinary aspects from linguistics, philosophy of language, philosophy of social reality, social sciences (social psychology, economics).

For more information about the workshop, see http://www.irit.fr/~Laure.Vieu/Esslli10.

Theoretical approaches to communication and dialogue modeling are varied and often unrelated because separately focusing on different aspects of dialogue (speech acts, goals, beliefs, plans, questions, conventions, roles, cooperation, disputes, argumentation, reference, semantics-pragmatics interface). On the other hand, the area of foundations of multi-agent systems is inducing new developments in logics of interaction and information dynamics, with a recent trend towards comparison and integration. Analyzing the impact of this trend on communication and dialogue modeling is timely.

This workshop aims at discussing formal theories and logics of information dynamics and interaction and their applications to dialogue and communication modeling. It is intended to bring together logicians, linguists and computer scientists in order to provide a better understanding of the potentialities and limitations of formal methods for the analysis of dialogue and communication. Its scope includes not only the technical aspects of logics, but also multidisciplinary aspects from linguistics, philosophy of language, philosophy of social reality, social sciences (social psychology, economics). The focus of the workshop will be on recent developments, especially those that combine several approaches to deal with complex dialogue and communication phenomena.

For more information, see http://www.irit.fr/~Laure.Vieu/Esslli10 This workshop is organized as part of the European Summer School on Logic, Language and Information 2010.

The European Science Foundation's COST Action on Algorithmic Decision Theory will sponsor a doctoral school on Computational Social Choice during 9-14 April 2010 in Estoril, near Lisbon, Portugal.

All interested PhD students, working in fields such as Computational Social Choice, (classical) Social Choice Theory and related areas of Mathematical Economics, Multiagent Systems, Artificial Intelligence, Logic, Theoretical Computer Science, as well as Operations Research and Decision Analysis, are encouraged to apply (by sending a CV and a short cover letter).

The doctoral school can accommodate up to 30 participants. The registration fee is EUR 225 (full pension). Applications must be received by the end of January 2010.

For further information, see http://algodec.org or contact Ulle Endriss (ulle.endriss at uva.nl).

The European Science Foundation's COST Action on Algorithmic Decision Theory will sponsor a doctoral school on Computational Social Choice during 9-14 April 2010 in Estoril, near Lisbon, Portugal.

All interested PhD students, working in fields such as Computational Social Choice, (classical) Social Choice Theory and related areas of Mathematical Economics, Multiagent Systems, Artificial Intelligence, Logic, Theoretical Computer Science, as well as Operations Research and Decision Analysis, are encouraged to apply (by sending a CV and a short cover letter).

The doctoral school can accommodate up to 30 participants. The registration fee is EUR 225 (full pension). Applications must be received by the end of January 2010.

For further information, see http://algodec.org or contact Ulle Endriss (ulle.endriss at uva.nl).

Various philosophers of the past - and many philosophers of today - believe that there can be real progress in philosophy and that such progress is facilitated crucially by a close interaction between philosophy and the sciences. "Scientific Philosophy" maintains that philosophical theses and arguments should be just as clear and precise as scientific ones; philosophers ought to build theories and models much as scientists do; and the application of mathematical methods as well as input from empirical studies are often necessary in order to gain new insights into old philosophical questions and to progress to new and deeper ones. This workshop will address what Scientific Philosophy is all about, what it has in common with science and where it might diverge from it, what we can learn from its historical successes and failures, and, most importantly, how we should assess its future prospects.

For more information, see http://www.tilburguniversity.nl/faculties/humanities/tilps/sppf2010/

The European Science Foundation's COST Action on Algorithmic Decision Theory will sponsor a doctoral school on Computational Social Choice during 9-14 April 2010 in Estoril, near Lisbon, Portugal.

All interested PhD students, working in fields such as Computational Social Choice, (classical) Social Choice Theory and related areas of Mathematical Economics, Multiagent Systems, Artificial Intelligence, Logic, Theoretical Computer Science, as well as Operations Research and Decision Analysis, are encouraged to apply (by sending a CV and a short cover letter).

The doctoral school can accommodate up to 30 participants. The registration fee is EUR 225 (full pension). Applications must be received by the end of January 2010.

For further information, see http://algodec.org or contact Ulle Endriss (ulle.endriss at uva.nl).

Philosophy of science deals with the foundations and the methods of science. While the scope of philosophy of science is rather uncontroversial, there is considerable disagreement about its methodology. A look into the relevant journals reveals that there is a plurality of approaches. In spite of this, there also seem to be undeniable trends in our discipline, such as the increasing specialization, and the increasing co-operation with empirical scientists. This conference will explore the future of philosophy of science. In particular, we are interested in how the different methods philosophers of science use relate to each other, whether they can fruitfully complement each other, and whether current trends allow predictions about the development of our field.

For more information, see http://www.uvt.nl/tilps/FPS2010

The Institute of Philosophy of the Academy of Sciences of the Czech Republic in cooperation with the Technical University of Vienna is organizing a colloquium broadly dedicated to the role of uncertainty calculi in epistemology.

Tentatively invited speakers and participants include Colin Howson, Peter Milne and Nick Smith.

For more information, see http://www.flu.cas.cz/colloquium or contact the organizers at colloquium at flu.cas.cz.

Philosophy of science deals with the foundations and the methods of science. While the scope of philosophy of science is rather uncontroversial, there is considerable disagreement about its methodology. A look into the relevant journals reveals that there is a plurality of approaches. In spite of this, there also seem to be undeniable trends in our discipline, such as the increasing specialization, and the increasing co-operation with empirical scientists. This conference will explore the future of philosophy of science. In particular, we are interested in how the different methods philosophers of science use relate to each other, whether they can fruitfully complement each other, and whether current trends allow predictions about the development of our field.

For more information, see http://www.uvt.nl/tilps/FPS2010

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.

The Centre for Philosophy of Natural and Social Science announces its Third Graduate Conference in Philosophy of Probability to be held at the London School of Economics.

We are very pleased to have Professor Dorothy Edgington (Birkbeck), Professor Mauricio Suárez (Compultense University) and Dr. Antony Eagle (Oxford) as our keynote speakers.

For more information, see http://www2.lse.ac.uk/CPNSS/events/GraduateConferences/gradconf10.aspx or contact Seamus Bradley at :s.c.bradley at lse.ac.uk.

Philosophy of science deals with the foundations and the methods of science. While the scope of philosophy of science is rather uncontroversial, there is considerable disagreement about its methodology. A look into the relevant journals reveals that there is a plurality of approaches. In spite of this, there also seem to be undeniable trends in our discipline, such as the increasing specialization, and the increasing co-operation with empirical scientists. This conference will explore the future of philosophy of science. In particular, we are interested in how the different methods philosophers of science use relate to each other, whether they can fruitfully complement each other, and whether current trends allow predictions about the development of our field.

For more information, see http://www.uvt.nl/tilps/FPS2010

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.

The 2010 Logic and Language Conference is the first of a series of conferences co-organized by the Northern Institute of Philosophy at the University of Aberdeen, and by the Centre for Logic and Language of the Institute of Philosophy at the School of Advanced Study, University of London. Staged every two years, alternating location between Aberdeen and London, this workshop aims at resurrecting the traditional UK Logic and Language conference series and at becoming a prominent feature in the British philosophical calendar.

The Conference is meant primarily as a showcase for young philosophers to present and discuss their best work, but will host keynote speakers as well. For this first edition, the topic for the invited contributions is 'Fiction and Fictionalism'.

For any other enquiries or further information please contact f.berto at abdn.ac.uk or see the conference website at http://www.abdn.ac.uk/philosophy/nip/ll2010/.

The Logic Colloquium is the annual European conference on logic, organised under the auspices of the Association for Symbolic Logic (ASL). It provides a forum for presenting and discussing the new developments in the area of logic. The conference attracts researchers from logic, with an emphasis on mathematical logic, but also including researchers from computer science logic and philosophical logic.

For further information, contact R. Cori (email: cori at logique.jussieu.fr) or T. Ehrhard (email: thomas.ehrhard at pps.jussieu.fr), or visit the website at http://www.logic2010.org/.

The Vereniging voor Logica (VvL) invites you cordially to the PhiMSAMP Book Launch (PhiMSAMP-6), held on 22 and 23 April 2010 in Amsterdam and Utrecht.

PhiMSAMP ("Philosophy of Mathematics: Sociological Aspects and Mathematical Practice") is an international research network funded by the Deutsche Forschungsgemeinschaft and coordinated from Amsterdam and Utrecht aiming to combine tools from sociology, psychology, educational studies, history and other subjects to provide a philosophy of mathematics that has a closer affinity to actual mathematical research practice than the traditional foundationalist philosophies. The network worked on this from 2006 to 2010 during a number of workshops and conferences; the result of this work is a volume published in the series "Texts in Philosophy". This volume will be presented to the public at the event.

The event also includes the annual General Membership Meeting of the VvL during the lunch break (12:15-13:45) on the 23rd (in Hoog Catharijne, Utrecht).

For more information, see http://www.lib.uni-bonn.de/PhiMSAMP/6/. For the minutes of the previous VvL general membership meeting see http://www.verenigingvoorlogica.nl/verslagen/Notulen-ALV-19-jan-2007.pdf

The Vereniging voor Logica (VvL) invites you cordially to the PhiMSAMP Book Launch (PhiMSAMP-6), held on 22 and 23 April 2010 in Amsterdam and Utrecht.

PhiMSAMP ("Philosophy of Mathematics: Sociological Aspects and Mathematical Practice") is an international research network funded by the Deutsche Forschungsgemeinschaft and coordinated from Amsterdam and Utrecht aiming to combine tools from sociology, psychology, educational studies, history and other subjects to provide a philosophy of mathematics that has a closer affinity to actual mathematical research practice than the traditional foundationalist philosophies. The network worked on this from 2006 to 2010 during a number of workshops and conferences; the result of this work is a volume published in the series "Texts in Philosophy". This volume will be presented to the public at the event.

The event also includes the annual General Membership Meeting of the VvL during the lunch break (12:15-13:45) on the 23rd (in Hoog Catharijne, Utrecht).

For more information, see http://www.lib.uni-bonn.de/PhiMSAMP/6/. For the minutes of the previous VvL general membership meeting see http://www.verenigingvoorlogica.nl/verslagen/Notulen-ALV-19-jan-2007.pdf

(Dutch only)
Vrijdag 23 april is het weer zo ver: Leve de Wiskunde! 2010. Tijdens dit jaarlijks terugkerend congres vertellen vooraanstaande wetenschappers over hun bevindingen in en rondom de wiskunde. De onderwerpen zijn zeer uiteenlopend: van logica tot algebra en van vermoedens over priemgetallen tot de filosofie van de wiskunde.

Voor meer informatie en aanmelden, zie http://www.science.uva.nl/levedewiskunde

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 16th edition will be held in Dakar, Senegal.

For more information, see http://www.lpar.net/lpar-16/

ICGI-2010 is the tenth in a series of successful biennial international conferences in the area of grammatical inference. The conference seeks to provide a forum for presentation and discussion of original research papers on all aspects of grammatical inference,

For more information, see http://users.dsic.upv.es/workshops/icgi2010/

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 16th edition will be held in Dakar, Senegal.

For more information, see http://www.lpar.net/lpar-16/

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 16th edition will be held in Dakar, Senegal.

For more information, see http://www.lpar.net/lpar-16/

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 16th edition will be held in Dakar, Senegal.

For more information, see http://www.lpar.net/lpar-16/

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 16th edition will be held in Dakar, Senegal.

For more information, see http://www.lpar.net/lpar-16/

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 16th edition will be held in Dakar, Senegal.

For more information, see http://www.lpar.net/lpar-16/