Institute for Logic, Language and Computation
News and Events: Conferences
 
  News and Events
 Upcoming Events
>Conferences
 MoL and PhD defenses
 Projects and Awards
 Funding, Grants and Competitions
 Open Positions
 New Appointments
 Miscellaneous
 Regular Events
 
 ILLC People in the Media
 
 Submit News Item
 
  News Archives
 2010
 2009
 2008
 2007
 2006
 2005
 2004
 2003
 2002
 2001
 2000
 
 
 Home
 About the ILLC
 News and Events
 People
 Research
 Publications
 Education
 Support and Information
 Contact Us
 
 Search

These pages provide information about recent developments at ILLC (last update: 8 February 2010) Please let us know if you have material that you would like to be added to the news page, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.

Items which are new or have been updated within the last week are marked "(New)" or "(Updated)".

*    Headlines Calls for Papers

*    Headlines Upcoming Conferences

Please note: conferences with an open Call for Papers will be listed under 'Calls for Papers', not under 'Upcoming Conferences', until the Call for Papers closes.


*    Calls for Papers

  • 16-20 August 2010, European Conference on Artificial Intelligence (ECAI-2010), Lisbon, Portugal (deadline: 15 February 2010)

    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.

    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 Dec 2009 (early submissions are welcome!). Deadline for abstracts of papers and posters: 15 February 2010.

    For more information, see http://ecai2010.appia.pt/

  • 10-11 April 2010, Special Session on Universal Algebra, St. Paul MI, U.S.A. (deadline: 16 February 2010)

    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.

    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.

    For more information, see http://ams.org/amsmtgs/2166_deadlines.html or contact Jeffrey Olson at jolson at norwich.edu.

  • 9-20 August 2010, ESSLLI 2010 Student Session, Copenhagen, Denmark (deadline: 19 February 2010)

    The Student Session of the 22nd European Summer School in Logic, Language and Information will take place in Copenhagen, Denmark from August 9 to August 20. We invite submissions of papers describing original, unpublished research conducted in the interdisciplinary areas of LOgic and COmputation, LOgic and LAnguage, and LAnguage and COmputation. All (co-)authors must be students (i.e., before the completion of the Ph.D.).

    Deadline for submissions: 19 February 2010. For more information, see http://marija.gforge.uni.lu/esslli2010.html or the ESSLLI 2010 website at http://esslli2010cph.info/.

  • 7-9 July 2010, 10th Interational Conference on Deontic Logic in Computer Science (DEON 2010), Florence, Italy (deadline: 20 February 2010)

    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.

    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

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=3157.

  • 26-28 March 2010, The 10th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2010), Paphos, Cyprus (deadline: 27 February 2010)

    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.

    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).

    CMCS 2010 is co-located with ETAPS 2010. For more information, see http://event.cwi.nl/cmcs10/ or contact cmcs10 at cwi.nl.

  • 6-9 July 2010, 17th Workshop on Logic, Language, Information and Computation (WoLLIC 2010), Brasilia, Brazil (deadline: 28 February 2010)

    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).

    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.

    For more information, see http://wollic.org/wollic2010/

  • 11-13 May 2010, 3rd Formal Epistemology Festival: Learning from experience & defeasible reasoning, Toronto ON, Canada (deadline: 28 February 2010)

    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.

    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.

    The conference website is http://www.utm.utoronto.ca/~weisber3/3FEF/.

  • 27-29 May 2010, Third Colloquium 'Semantics and Philosophy in Europe' (SPE3), Paris, France (deadline: 28 February 2010)

    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)

    Two-page anonymous abstracts are invited for a 30-minute talk. Submission deadline: February 28, 2010.

    For more information, see http://semantics.univ-paris1.fr/index.php/visiteur/activite/afficher/activite/89

  • 13-15 May 2010, Logic in Cognitive Science, Torun, Poland (deadline: 1 March 2010)

    Logic is an independent research area, however its significance in science depends on its possible applications. Cognitive Science is an area where applications of logic are especially needed and welcomed.

    The Conference is organized by Department of Logic at Nicolaus Copernicus University, Torun, Poland. At the same time two other related conferences concerning philosophy of mind and artificial intelligence will take place in ToruĊ„. All three events are parts of the project called Argumentation as a Cognitive Process. We hope to gather broader audience consisting of logicians, philosophers and computer scientists among others.

    We encourage everyone who finds his research results important to Cognitive Science to participate in our Conference. Deadline for submissions: March 1, 2010.

    For more information, see http://www.logika.umk.pl/lcs/

  • 2-6 June 2010, Boolean Algebras, Lattices, Algebra, Set Theory, Topology (BLAST 2010), Boulder CO, U.S.A. (deadline: 1 March 2010)

    BLAST is a conference focusing on Boolean Algebras, Lattices, Algebraic Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. The conference is the third in a series that will rotate among universities of the region.

    There will be invited talks by Mohamed Bekkali, Robert Bonnet, Ken Kunen, Ralph McKenzie, David Milovich, Grigor Sargsyan, Juris Steprans, and Friedrich Wehrung. There will also be tutorials by Andreas Blass, Gary Gruenhage, Sabine Koppelberg, and Ross Willard.

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline to be announced.

    More information can be found at http://euclid.colorado.edu/~kasterma/blast/index.php or obtained by contacting blast at colorado.edu.

  • 28 - 29 May 2010, Game Theory and Communication: Prospects and Syntheses (deadline: 1 March 2010)
    Location: Center for the Study of Language and Information, Stanford University

    This conference aims to explore the state of the art of game-theoretic models in the study of communication and language. The importance of the interplay between participants in modeling the dynamics of communication has long been appreciated. Only recently, however, have the specific models of game theory been applied to this problem. Recent developments in fields as diverse as evolutionary biology and multi-agent systems have shed new light on both the sophistication of game-theoretic models and the breadth of phenomena they can address. The goal of this conference is to consolidate perspectives and encourage communication on this topic across disciplinary lines. As such, both "communication" and "game-theoretic model" should be construed as broadly as possible; researchers in any field actively pursuing this endeavor are encouraged to apply.

    Invited speakers include Robert Stalnaker, Rohit Parikh, Prashant Parikh.

    Interested parties should submit a 1 - 2 page abstract summarizing material suitable for a 30 - 40 minute talk. Deadline: March 1, 2010. This is an interdisciplinary conference: submissions from any relevant field are welcome.

    Send submission or any inquiries to Alistair Isaac at aisaac at stanford.edu

  • (New) 12-14 July 2010, 2010 International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-10), Orlando, USA (deadline: 3 March 2010)

    TMFCS is an important event in the theoretical, mathematical and logical areas of computer science. The conference will be held at the same time and location where several other major international conferences will be taking place.

    Draft paper submission date is extended to: March 3, 2010. Please see http://www.promoteresearch.org/2010/tmfcs/ for more details.

  • 5-7 July 2010, Ninth Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2010), Toulouse, France (deadline: 15 March 2010)

    This is the ninth in a series of conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences.

    The three-day conference will give opportunity for paper presentations and discussions. Potential contributors should submit an extended abstract before March 15, 2010.

    For more information, see http://www.econ.ucdavis.edu/faculty/bonanno/loft9.html

  • 17-20 May 2010, Symposium "Meaning, Modality and Apriority", Cologne, Germany (deadline: 15 March 2010)

    The symposium comprises a two-day graduate conference and a two-day research workshop with Scott Soames. It is organized by the Emmy Noether Research Group "Understanding and the A Priori" at the University of Cologne. The graduate conference will feature eight talks by graduated students on issues related to meaning, modal truths, a priori knowledge and their interrelations, each followed by a short comment by a graduate student. The keynote lecturer is Scott Soames. The workshop is aimed at researchers interested in the work of Scott Soames. In addition to a discussion of selected papers of Soames' the workshop will feature four critical comments on aspects of his work.

    Graduate students interested in presenting at the conference are encouraged to submit a manuscript of about 4000 words by 1 February 2010. Researchers interested in presenting are encouraged to submit a detailed abstract of 1000 words or less by 15 March 2010.

    For further information on the symposium and general registration details see: http://mmasymposium.fromthearmchair.net/ or contact mmasymposium at gmail.com.

  • 16-18 June 2010, The 14th Workshop on the Semantics and Pragmatics of Dialogue (SemDial 2010, "PozDial"), Poznan (Poland) (deadline: 15 March 2010)

    The SemDial Workshops aim at bringing together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, artificial intelligence, computational linguistics, psychology, and neural science. SemDial 2010 will be the 14th workshop in the SemDial series. It will take place in the historic city of Poznan (Poland), organized by the Institute of Psychology at Adam Mickeiwicz University.

    The submission deadline for full papers (8 pages) is the 15th of March, 2010. For more information, see http://www.semdial2010.amu.edu.pl/ and http://www.illc.uva.nl/semdial/

  • 29 July-04 August 2010, 2nd Brazilian Workshop of the Game Theory Society, University of Sao Paulo, Sao Paulo, Brazil (deadline: 15 March 2010)

    2nd Brazilian Workshop of the Game Theory Society, in honor of John Nash, on the occasion of the 60th anniversary of Nash equilibrium.

    The workshop will offer the participants the opportunity to interact with some of the most productive researchers in Game Theory. The week-long event will consist of conferences, contributed papers sessions and mini-courses which will start at the introductory level and will reach the frontiers of current research.

    Deadline for contributed paper abstracts: 03/15/2010 Early registration; 03/15/2010. For more information, see http://www.gametheorysociety.org/conferences/#29July2010 and http://aplicativos.fipe.org.br/bwgt2010/index.htm

  • 20-22 September 2010, LRR10: Logic, Reasoning and Rationality, Gent, Belgium (deadline: 15 March 2010)

    The idea that there is a strong connection between logic, reasoning, and rationality, which was very popular among the philosophers of the Wiener Kreis, has long been out of fashion. Findings from history and philosophy of science and from cognitive psychology have revealed that the traditional logician's tool, Classical Logic, is not fit for explicating human reasoning either in the sciences or in everyday life. Times have changed, however. Today, a multiplicity of formal frameworks (ranging from non-classical logics over probability theory to Bayesian networks) is available in addition to Classical Logic. Also, historians and philosophers of science as well as psychologists have described a rich variety of patterns in both scientific and common sense reasoning.

    The aim of LRR10 is to stimulate the use of formal frameworks to explicate concrete examples of human reasoning and, conversely, to challenge scholars in formal studies by presenting them with interesting new examples of actual reasoning. Therefore, we welcome papers in all areas related to non-classical logics and non-classical formal frameworks. We also welcome case studies from history and philosophy of science, as well as from psychology, that enhance our apprehension of concrete reasoning patterns that occur in the sciences and in everyday life. Finally, we welcome contributions that deal with the philosophical implications of the present-day insights for our understanding of rationality.

    If you would like to present a paper at the conference, please submit an abstract (500 to 1000 words) by March 15, 2010.

    For more information, see http://www.lrr10.ugent.be/.

  • 27-29 Mar 2010, 19th Boise Extravaganza in Set Theory (BEST 2010), Boise ID, U.S.A. (deadline: 25 March 2010)

    The 19-th annual meeting of BEST will be hosted at Boise State University during the weekend of March 27 (Saturday) - March 29 (Monday), 2010

    Contributed and invited talks will be held on Saturday, Sunday and Monday at the Department of Mathematics, Boise State University. The invited speakers curently include: Justin Moore (Cornell University), Frank Tall (University of Toronto) and Toshimichi Usuba (University of Bonn).

    The deadline for submitting an abstract for invited or contributed talk is MARCH 25.

    The conference webpage is available at http://math.boisestate.edu/~best/best19.

  • 23-27 August 2010, CSL 2010: Computer Science Logic, Brno, Czech Republic (deadline: 26 March 2010)

    Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. The 19th EACSL Annual Conference on Computer Science Logic (CSL 2010) and the 35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010) are federated and organized in parallel at the same place. The federated MFCS & CSL 2010 conference has common plenary sessions and social events for all participants, and is accompanied by satellite workshops on more specialized topics. The Ackermann Award for 2010 will be presented to the recipients at CSL'10.

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline (title & abstract): March 26, 2010

    For more information, see http://www.mat.uc.pt/~csl/ or contact the organisers at mfcsl2010 at fi.muni.cz.

  • 10 July 2010, International Workshop on Hybrid Logic and Applications (HyLo 2010), Edinburgh, Scotland (deadline: 30 March 2010)

    Hybrid logic is an extension of modal logic which allows us to refer explicitly to states of the model in the syntax of formulas. This extra capability, very natural in the realm of temporal logics, where one usually wants to refer to specific times, has been shown very effective in other domains too. Although they date back to the late 1960s, and have been sporadically investigated ever since, it was only in the 1990s that work on them really got into its stride. Hybrid logic is now a mature field with significant impact on a range of other fields.

    The topic of the HyLo workshop of 2010 is hybrid logic and its applications, for instance within the fields mentioned above. The scope is not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder but, more generally, extensions of modal logic that increase its expressive power.

    Authors are invited to submit papers in the following two categories: regular papers describing original research, and presentation-only papers describing work recently published or submitted. Deadline for submissions: March 30, 2010.

    See the workshop home page at http://hylocore.ruc.dk/HyLo2010.html for further information.

  • (New) 1-6 June 2010, AAA80 workshop on general algebra / non-classical algebraic semantics, Bedlewo, Poland (deadline: 30 March 2010)

    The conference will consist of two parts:
    1. A workshop on non-classical algebraic structures (June 2-3, 2010);
    2. A workshop within the series of AAA conferences (June 4-6, 2010);
    each comprising several longer keynote plenary lectures, a number of shorter plenary lectures, and a larger number of 20-minute contributed talks.

    The primary aim of the conference is to review the most recent research results and trends in the above areas, and to promote discussions and interactions between researchers. It should bring together researchers working in the above areas, in order to foster collaboration and future research. A secondary goal is to attract the interest of graduate students and younger researchers, providing them with interesting and significant problems to work on.

    Abstracts of proposed talks should be sent by 30 March 2010.

    The deadline for registration is 7 May 2010. For more information, view the conference web site at http://www.mini.pw.edu.pl/aaa80/.

  • 16-20 August 2010, Workshop on Dependence and Independence in Logic, Copenhagen, Denmark (deadline: 1 April 2010)

    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.

    Authors are invited to submit an extended abstract with a maximum length of 5 pages. Submission deadline: 1 April 2010

    For more information, see http://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).

  • 16-20 August 2010, ESSLLI 2010 Workshop: Logic, Rationality and Intelligent Interaction, Copenhagen (deadline: 1 April 2010)

    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.

    We solicit short pieces (5 pages) about at least one of the themes described above. The accepted pieces will be made available on the website before the conference, and we will select a number of them for a short presentation (10 minutes) during the workshop. Please email submissions to logratint2010 at gmail.com">logratint2010@gmail.com by April 1, 2010.

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

  • 19-20 August 2010, "The Epistemology of Liberal Democracy" (2nd Copenhagen Epistemology conference), Copenhagen, Denmark (deadline: 1 April 2010)

    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.

    The Programme Committee cordially invite you to submit a 500 word abstract on any topic relevant to the conference theme. Abstracts should be submitted no later than April 1, 2010.

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

  • 16-20 August 2010, Workshop on Theories of Information Dynamics and Interaction and their Application to Dialogue, Copenhagen, Denmark (deadline: 12 April 2010)

    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.

    Authors are invited to submit an extended abstract presenting work relevant to the area of information dynamics, interaction and dialogue. Deadline for submission: Apr 12, 2010.

    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.

  • 13-15 September 2010, 12th European Conference on Logics in Artificial Intelligence (JELIA-2010), Helsinki (deadline: 3 May 2010)

    The European Conference on Logics in Artificial Intelligence (JELIA) is a biannual forum bringing together researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature.

    Authors are invited to submit papers presenting original and unpublished research in all areas related to the use of logics in Artificial Intelligence. Deadline: 3 May 2010.

    For more information, see http://jelia2010.tkk.fi/.

  • 24-25 September 2010, SIGdial 2010 Annual Meeting, Tokyo, Japan (deadline: 7 May 2010)

    The SIGDIAL venue provides a regular forum for the presentation of cutting edge research in discourse and dialogue to both academic and industry researchers. Continuing with a series of successful ten previous meetings, this conference spans the research interest area of discourse and dialogue. The conference is sponsored by the SIGDIAL organization, which serves as the Special Interest Group in discourse and dialogue for both ACL and ISCA. SIGDIAL 2010 will be co-located with Interspeech 2010 as a satellite event.

    We welcome formal, corpus-based, implementation, experimental, or analytical work on discourse and dialogue. See the conference website for more details. Submission deadline: 7 May 2010.

    For more information, see http://www.sigdial.org/workshops/workshop11/

  • 13-16 September 2010, 3rd International Workshop on Computational Social Choice (COMSOC-2010), Duesseldorf, Germany (deadline: 15 May 2010)

    Computational social choice is a new discipline 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.

    COMSOC-2010, the third in a series of biannual international workshops, will be held in association with the COST Action on Algorithmic Decision Theory and be accompanied by a LogICCC Tutorial Day with general introductory talks. Registration fees will cover both the workshop and the tutorial day and will be kept very low.

    Submissions of papers describing original or recently published work on all aspects of computational social choice are invited. Paper submission deadline: 15 May 2010

    For more information, see http://ccc.cs.uni-duesseldorf.de/COMSOC-2010/.

  • 18-20 October 2010, Computational Linguistics - Applications (CLA'10), Wisla, Poland (deadline: 31 May 2010)

    The CLA Workshop is located within the framework of the IMCSIT conference to create a dialog between researchers and practitioners involved in Computational Linguistics and related areas of Information Technology. It was created in 2008 in response to the fast-paced progress in the area.

    Traditionally, computational linguistics was limited to the scientists specialized in the processing of a natural language by computers. Scientific approaches and practical techniques come from linguistics, computer science, psychology, and mathematics. Nowadays, there is a number of practical applications available. These applications are sometimes developed by smart yet NLP-untrained developers who solve the problems using sophisticated heuristics. CLA'10 Workshop is a place where the parties meet to exchange views and ideas with a benefit to all involved. The Workshop will focus on practical outcome of modeling human language use and the applications needed to improve human-machine interaction.

    Papers are solicited that present research and developments on all aspects of Natural Language Processing used in real-life applications. Submission deadline is May 31, 2010.

    For more information, see http://cla2010.imcsit.org/

  • 25-29 August 2010, 8th International Conference on Advances in Modal Logic (AiML-2010), Moscow, Russia (deadline: 1 June 2010)

    Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net. AiML-2010 is the eighth conference in the series.

    Authors are invited to submit, for presentation at the conference and publication in the proceedings, full papers reporting on original research and not submitted elsewhere (deadline: 16 March 2010). Alternatively, authors may submit abstracts for short presentations, which may describe preliminary results, work in progress etc., and will be subject to light reviewing (deadline: 1 June, 2010). We invite submission on all aspects of modal logics.

    For more information, see http://aiml10.mi.ras.ru/ or contact the chair of the organizing committee at lbekl at yandex.ru or the PC co-chairs at aimolog2010 at gmail.com.

  • 22-25 October 2010, 30 Years of Nonmonotonic Logic, Lexington KY, U.S.A. (deadline: 11 June 2010)

    The publication of the seminal issue on Nonmonotonic Logics by the Artificial Intelligence Journal in 1980 resulted in the new area of research in Knowledge Representation. This development changed the paradigm of logic originated in antiquity, created an important area of mathematical logic, and resulted in exciting discoveries of logical techniques creating new bridges between logic, knowledge representation and computation. The research contributed to mathematical logic, computer science and philosophy, and changed the perspective on applications of logic.

    This conference aims to sum up the experience of the first 30 years of nonmonotonic logics and map paths into the future. It will interleave longer invited talks covering all major research trends of the past 30 years with shorter technical presentations providing an account of the current research. Invited presentations will be published in an edited book by the College Publications. A special issue of the Journal of Artificial Intelligence Research will provide a venue for technical presentations.

    We invite papers in all areas of nonmonotonic reasoning, and especially encourage submissions underlying the role of nonmonotonic reasoning in artificial intelligence and knowledge representation. Paper submission deadline: July 11 (Monday)

    For more information, see http://sites.google.com/site/nonmonat30/

  • (New) 3-5 November 2010, Logic and Philosophy of Knowledge, Communication and Action (LogKCA-10), San Sebastian, Spain (deadline: 25 June 2010)

    This Workshop seeks to examine and explore issues concerning the logical and philosophical aspects of knowledge, communication and action in an integrated view. Perspectives are sought from those engaged in the fields of logic, history and philosophy of logic, logic applied to artificial intelligence and cognitive systems, general epistemology, social epistemology, belief theory, communication theory, discourse theory, formal semantics, pragmatics, philosophy of action, and history of philosophy connected with those topics. These disciplines are indicative only, as papers are welcomed from any area in which logic and philosophy of KCA play a part.

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Abstracts should be submitted by June 25, 2010.

    For more information, see http://www.ilcli.ehu.es/p287-content/en/contenidos/evento/logkca10_call_for_papers/en_logkca10/logkca10_callpapers.html or contact Dr. María Ponte (e-mail: maria.deponte at ehu.es) or Dr. Xabier Arrazola (e-mail: josebaxabier.arrazola at ehu.es).

  • (New) 7-10 September 2010, 7th Italian-Spanish Conference on General Topology and its Applications (ItEs 2010), Badajoz, Spain (deadline: 12 August 2010)

    The meeting, which alternately takes place in Italy and in Spain, aims to promote the cooperation between Italian and Spanish topologists. The participation of researchers from other countries is warmly encouraged. Traditionally, it is emphasized on the relation between the general or set-theoretic topology, and other areas of mathematics or sciences. Thus, topics like, for example, topological methods in functional analysis or in dynamical systems, hyperspaces, applied topology for computer sciences or economy, algebraic methods in spaces of continuous functions, etc, are usually considered.

    The program will include short individual contributions (20 minutes). Participants who would like to propose a short communication are encouraged to submit the abstract of their talk by August 12, 2010.

    Deadline for registrations: August 12, 2010. For more information, see http://ites2010.unex.es or email ites2010 at unex.es.

*    Upcoming Conferences

Please note: conferences with an open Call for Papers will be listed under 'Calls for Papers', not under 'Upcoming Conferences', until the Call for Papers closes.

  • 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.

  • 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

  • 5-8 March 2010, 3rd Conference on Artificial General Intelligence (AGI-10), Lugano, Switzerland

    Continuing the mission of the highly successful First and Second AGI Conferences, AGI-10 will gather an international group of leading academic and industry researchers involved in serious scientific and engineering work aimed directly toward the goal of artificial general intelligence.

    This is the only major conference series devoted wholly and specifically to the creation of AI systems possessing general intelligence at the human level and ultimately beyond. By gathering together active researchers in the field, for presentation of results and discussion of ideas, we accelerate our progress toward our common goal.

    For more information, see http://agi-conf.org/2010/

  • 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

  • 11-15 March 2010, 11th Szklarska Poreba Workshop on the Roots of Pragmasemantics, Szklarska Poreba, Poland

    Linguists, logicians and (experimental) philosophers are invited to join the opening of a new decade of conferences on the Roots of Pragmasemantics. The focus of this eleventh convention is the role of logic in the interplay of theoretical and empirical research into natural language meaning and human reasoning.

    Conference Homepage: http://szklarska2010.hlotze.com/

  • 18-21 March 2010, IADIS International Conference e-Society 2010, Porto, Portugal
    Promotor: IADIS

    The IADIS e-Society 2010 conference aims to address the main issues of concern within the Information Society.
    This conference covers both the technical as well as the non-technical aspects of the Information Society. Broad areas of interest are eSociety and Digital Divide, eBusiness / eCommerce, eLearning, New Media and E-Society, Digital Services in ESociety, eGovernment / eGovernance, eHealth, Information Systems, and Information Management.

    For more information, see http://www.esociety-conf.org/

  • 22-24 March 2010, AAAI Spring Symposium on Time and Interactive Behaviour, Stanford CA, U.S.A.

    People do not experience the world solely as an ordered sequence of events. The timing of our perceptions and behaviors has as much of an impact on our experiences as the nature of the events themselves. Yet many of the representations currently used to model human behavior do not incorporate explicit models of the temporal expression of these stimuli or actions. Dynamic behavior is often modeled sequentially in such a way that its temporal resolution is reduced and potential nonstationarity is ignored for the sake of computational efficiency (as in Markov state-based models of behavior), and/or causal mappings between observations and behavior are simplified to mitigate the sparseness of available datasets. Given that any artificial agent designed to interact with people will be dealing with intelligent partners with rich mental representations of time, are we using the appropriate representations?

    This symposium is oriented towards several different groups of researchers, including, but not limited to: computer scientists who use machine learning techniques to model human behavior, psychologists and neuroscientists who study social behavior, and designers of robots or computational artifacts that interact naturally with humans in real time. By bringing together members of these communities through a shared interest in temporal representations, our goal is to identify critical areas of study and promising techniques.

    For more information, see http://asimov.usc.edu/~mower/aaai10ss_time/

  • 26-28 March 2010, Modelling Interaction, Dialog, Social Choice, and Vagueness (MIDiSoVa), ILLC, Amsterdam

    The cross-CRP workshop "Modelling Interaction, Dialog, Social Choice, and Vagueness (MIDiSoVa)" will take place at the Institute for Logic, Language and Computation of the University of Amsterdam on 26-28 March 2010.

    Members of the CFSC, DiFoS, LINT and VAAG LogICCC projects will participate in this workshop, organized by Jouko Väänänen, which aims to further cross-CRP cooperation.

    For more information, see http://www.illc.uva.nl/lint/midisova.php

  • 27-28 March 2010, 2nd Workshop on Philosophy and Ethics of Social Reality (SOCREAL 2010), Sapporo, Japan

    In the past two decades, a number of logics and game theoretical analyses have been proposed and combined to model various aspects of social interaction among agents including individual agents, organizations, and individuals representing organizations. The aim of SOCREAL Workshop is to bring together researchers working on diverse aspects of such interaction in logic, philosophy, ethics, computer science, cognitive science and related fields in order to share issues, ideas, techniques, and results. Invited speakers include Johan van Benthem (University of Amsterdam and Stanford University) and Fenrong Liu (Tsinghua University, China).

    For more information, see http://ethics.let.hokudai.ac.jp/en/events.html or contact Shunzo Majima (caep at let.hokudai.ac.jp).

  • 27-28 March 2010, Second International Workshop on Philosophy and Ethics of Social Reality (SOCREAL 2010), Hokkaido University, Sapporo, Japan

    In the past two decades, a number of logics and game theoretical analyses have been proposed and combined to model various aspects of social interaction among agents including individual agents, organizations, and individuals representing organizations. The aim of SOCREAL Workshop is to bring together researchers working on diverse aspects of such interaction in logic, philosophy, ethics, computer science, cognitive science and related fields in order to share issues, ideas, techniques, and results.

    For more information, see http://www.hucc.hokudai.ac.jp/~k15696/home/sr10/.

  • 29-30 March 2010, Symposium on Mathematical Practice and Cognition, Leicester, U.K.

    The belief that what mathematicians think and do is important to the philosophy of mathematics is a relatively recent position. This focus on mathematical practice suggests that research into how mathematical definitions or axioms are motivated, representations changed, problems discovered and explained, analogies formed between different mathematical fields, etc., and how these processes grow out of biologically important competences in dealing effectively with rich and complex environments, is relevant and necessary. This contrasts the traditional focus in philosophy on how mathematics should be done, or the epistemological status of mathematical theorems. The new direction is complemented by recent work in cognitive science on the origin and development of mathematical ideas. Researchers are now working at all levels to investigate how people, from young babies up to professionals and geniuses are able to perform different mathematical tasks.

    With the new approach in the philosophy of mathematics, and developments in cognitive science of mathematics and embodied cognition, we feel that the time is ripe for interaction between the fields. We hope to promote a sharing of ideas and enable an atmosphere in which new connections and collaborations are forged.

    For more information, see http://homepages.inf.ed.ac.uk/apease/aisb10/home.html

  • 5th International Workshop on Normative Multiagent Systems (NorMAS'10), Leicester, UK
    Date: March, 29-30th 2010

    A normative multi-agent system is a multi-agent system to which norms (e.g., obligations, permissions) are added, which specify the desired agents' behavior within the system. Agents, on the other hand, can autonomously decide whether to follow or to violate such norms and, possibly, whether to change them.

    The workshop brings together researchers at the interface of several disciplines such as multi-agent systems, deontic logic, sociology, legal theory.

    For more information, see http://staff.science.uva.nl/~grossi/NorMAS10Site/home.html

  • 29 March - 1 April 2010, Linguistic and Cognitive Approaches to Dialog Agents (LaCATODA 2010), Leicester, U.K.

    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/

  • 3 April 2010, Harvard-MIT Graduate Student Philosophy Conference, Cambridge, MA, USA

    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 http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=3126 or contact the organizers at harvardmit2010 at gmail.com.

  • 6-9 April 2010, Symposium on AI and Games (AISB 2010), Leicester (U.K.)

    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.

  • 9-14 April 2010, COST-ADT Doctoral School on Computational Social Choice, April 2010, Estoril, Portugal

    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).

  • 13 April 2010, Workshop "Scientific Philosophy: Past and Future", Tilburg, The Netherlands

    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/

  • 14-16 April 2010, Sydney-Tilburg Conference on "The Future of Philosophy of Science", Tilburg, The Netherlands

    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

  • 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 http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=3063 or http://www.springer.com/philosophy/philosophy+of+sciences/journal/11229, or contact synthese.conference.2010 at gmail.com.

  • 22-23 April 2010, Philosophy of Mathematics: Sociological Aspects and Mathematical Practice (PhiMSAMP-6), Amsterdam & Utrecht (The Netherlands)

    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 member meeting of the VvL during the lunch break.

    For more information, see http://www.lib.uni-bonn.de/PhiMSAMP/6/

  • 25 April - 1 May 2010, Logic for Programming, Artificial Intelligence and Reasoning (LPAR-16), Dakar, Senegal

    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/

  • 6-7 May 2010, Set Theory, Classical and Constructive
    Location: ILLC, Science Park 904, Amsterdam, The Netherlands

    The aim of the meeting is to inform set theorists from whatever denomination about frontier research in the other field, and also to probe possible areas of common interest. Classical and constructive set theory have obvious points of contact: topos models are analogous to forcing, and classical set theory is often instrumental in the construction of models for intuitionistic set theory (e.g. in the work of Friedman and Scedrov). The organizers hope that this meeting brings these points to life.

    The following invited speakers have confirmed to come: Peter Aczel, Andreas Blass, Juliet Floyd, Peter Koepke, Ieke Moerdijk, Erik Palmgren, Dana Scott, Alex Simpson, Benno van den Berg, Nik Weaver and Hugh Woodin

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=3210.

  • 8-14 May 2010, The 9th International Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2010), Toronto ON, Canada

    AAMAS is the leading scientific conference for research in autonomous agents and multi-agent systems. The AAMAS conference series was initiated in 2002 by merging three highly-respected meetings: International Conference on Multi-Agent Systems (ICMAS); International Workshop on Agent Theories, Architectures, and Languages (ATAL); and International Conference on Autonomous Agents (AA). 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 multi-agent systems. AAMAS-2010 is the Ninth conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Sheraton Centre Toronto Hotel in downtown Toronto.

    For more information, see http://www.cse.yorku.ca/AAMAS2010/

  • 12-14 May 2010, NICSO 2010 (The IV International Workshop on Nature Inspired Cooperative Strategies for Optimization), Granada, Spain

    Biological and natural processes have always been a source of inspiration for computer science and information technology. It is well known that biological entities, from single cell organisms -like bacteria- to humans, often engage in a rich repertoire of social interaction that could range from altruistic cooperation through open conflict. One specific kind of social interaction is cooperative problem solving (CPS), where a group of autonomous entities work together in order to achieve certain goal. The NICSO 2010 aims at promoting cooperative problem solving strategies bringing together international researchers and practitioners from different disciplines in order to discuss the investigations and exchange ideas on the current state of the art of the topic.

    The conference seeks contributions that are inspired by Nature and that encompass a range of spatio-temporal scales, for visionary conceptions of information processing and computation as pertaining to cooperation mechanisms in the context of problem solving. Full paper submission deadline: October 15, 2009. For more information, please visit http://www.nicso2010.org/.

  • 14-16 May 2010, NMR'2010 Special session on Argument, Dialogue and Decision, Toronto, Canada

    Since the work of John Pollock, Ronald Loui and others in the eighties, argumentation has proven to be successful in nonmonotonic logic. In the early nineties Dung and others showed that argumentation is also very suitable as a general framework for relating different nonmonotonic logics. Finally, in recent years argument-based logics have been used to facilitate reasoning and communication in multi-agent systems.

    Argumentation can be studied on its own, but it also has interesting relations with other topics, such as dialogue and decision. For instance, argumentation is an essential component of such phenomena as fact finding investigations, computer supported collaborative work, negotiation, legal procedure, and online dispute mediation. However, only recently researchers have begun to explore the use of argumentation in these contexts.

    For more information, see http://www.cs.sfu.ca/NMR2010/NMR_2010/Argument,_Dialog_and_Decision.html.

  • 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/

  • 24-28 May 2010, 5th Conference on Logic, Computability and Randomness, Notre Dame (U.S.A)

    The 5th Conference on Logic, Computability and Randomness will be held at Notre Dame May 24-28, 2010.  The arrival day is May 23. The meeting will end by 1pm on the 28th.

    This meeting is supported by the National Science Foundation via NSF-DMS-0652669, FRG: Collaborative Research: Algorithmic Randomness

    The meeting URL is http://math.nd.edu/conferences/AlgoRandomness/. More info about the meeting will be available by late fall in 2009. Travel support will be available.

  • 24-28 May 2010, 4th International Conference on Language and Automata Theory and Applications (LATA 2010), Trier, Germany

    LATA is a yearly conference in theoretical computer science and its applications. As linked to the International PhD School in Formal Languages and Applications that was developed at Rovira i Virgili University (the host of the previous three editions and co-organizer of this one) in the period 2002-2006, LATA 2010 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).

    For more information, see http://grammars.grlmc.com/LATA2010/ or contact gindorf-ti at informatik.uni-trier.de.

  • 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/&RH=depphiloacc&RF=1257591848904

  • 7-25 June 2010, Carnegie Mellon Summer School in Logic and Formal Epistemology, Pittsburgh PA (U.S.A.)

    In the summer of 2010, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, and to forge lasting links between the various disciplines.

    The summer school will be held from Monday, June 7 to Friday, June 25, 2010. There will be morning and afternoon lectures and daily problem sessions, as well as outings and social events. This year's topics are "Logic and Scientific Inquiry", "Computability and Foundations" and "Philosophical Logic and Formal Epistemology".

    The summer school open to undergraduates, as well as to students who will have just completed their first year of graduate school. Applicants need not be US citizens. There is a $20 nonrefundable application fee. Deadline for applications: March 15, 2010.

    For more information, see http://www.phil.cmu.edu/summerschool or contact Jeremy Avigad at avigad at cmu.edu.

  • 17-20 June 2010, 2nd World Congress on the Square of Oppositions, Corte (Corsica, France)

    The square of opposition is a very famous theme related to Aristotelian logic dealing with the notions of opposition, negation, quantification and proposition. This will be the second world congress organized about the square of opposition after a very succesful first edition organized in Montreux , Switzerland in 2007.

    The square will be considered in its various aspects. There will be talks by the best specialists of the square and this will be an interdisciplinary event gathering people from various fields : logic, philosophy, mathematics, psychology, linguistics, anthropology, semiotics. Visual and artistic representations of the square will also be presented. There will be a music show and a movie illustrating the square. Invited speakers include Alain Badiou, Pierre Cartier, Jaakko Hintikka, Saul Kripke, Stephen Read.

    For more information, see http://www.square-of-opposition.org/.

  • 18 - 19 June 2010, Proof, Computation, Complexity (PCC), Bern
    Costs: CHF 25

    The aim of PCC is to stimulate research in proof theory, computation, and complexity, focusing on issues which combine logical and computational aspects. Topics may include applications of formal inference systems in computer science, as well as new developments in proof theory motivated by computer science demands. Specific areas of interest are (non-exhaustively listed) foundations for specification and programming languages, logical methods in specification and program development including program extraction from proofs, type theory, new developments in structural proof theory, and implicit computational complexity.

    For more information, see http://pcc2010.unibe.ch/

  • (Updated) 20-26 June 2010, North American Summer School in Logic, Language and Information (NASSLLI 2010), Bloomington IN, U.S.A.

    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.

  • 21-23 June 2010, "From Practice to Results in Logic and Mathematics", Nancy, France

    This conference is part of a series of conferences organised by the PratiScienS research group at the Archives Henri Poincaré, Nancy University, France. It is aimed at discussing and exploring the practice of mathematics and logic from an epistemological standpoint. That is, we look for papers on how the concrete practices of mathematicians and logicians may influence the results of their enquiries and, more broadly, the notion of what counts as proof. Through this conference, the PratiScienS group also aims at promoting a methodological reflection on the difficulties that a critical analysis of such practices in logic and mathematics implies and on issues related to the development of the appropriate exploratory conceptual tools.

    For more information, see http://poincare.univ-nancy2.fr/encours/Activites?contentId=6803

  • 30 June-5 July 2010, Computability in Europe 2010 (CiE 2010): Programs, Proofs, Processes, Ponta Delgada (Azores, Portugal)

    CiE 2010 is the sixth in a successful series of conferences organised by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings took place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), and Heidelberg (2009).

    Formal systems, attendant proofs, and the possibility of their computer generation and manipulation (for instance, into programs) have been changing a whole spectrum of disciplines. The conference will address not only the more established lines of research of Computational Complexity and the interplay between Proof Theory and Computation, but also novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency. Also, information systems like the Web are a recent subject of attention in view of the fact that managing such complex and evolving systems pose particular problems. In all cases we are looking for fundamental and theoretical submissions.

    In line with other conferences in this series, CiE2010 has a broad scope and provides a forum for the discussion of theoretical and practical issues in Computation with an emphasis on new paradigms of computation and the development of their mathematical theory.

    For more information, see http://www.cie2010.uac.pt/

  • 30 June - 5 July 2010, Computability in Europe (CiE 2010), Ponta Delgada, Azores, Portugal

    Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE serves as an interdisciplinary forum for research in all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.

    CiE 2010 in the Azores is the sixth conference of the Series, held in a geographically unique and dramatic location, Europe's most Westerly outpost. The theme of CiE 2010 - "Programs, Proofs, Processes" - points to the usual CiE synergy of Computer Science, Mathematics and Logic, with important computability-theoretic connections to science and the real universe. The conference will address not only the more established lines of research of Computational Complexity and the interplay between Proofs and Computation, but also novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency.

    For more information, see http://www.cie2010.uac.pt/

  • 5-23 July 2010, UCLA Logic Center Summer School for Undergraduates, Los Angeles CA (U.S.A.)

    The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are _very_ intensive, designed to assume little if any prior experience with logic, yet reach highly advanced, graduate level material, within three weeks.

    Further information is available on the summer school webpage, http://www.math.ucla.edu/~ineeman/Summer-school/. Questions about the summer school can be directed to logicschool at math.ucla.edu

  • 7-9 July 2010, 6th Spain, Italy and Netherlands meeting on Game Theory (SING 6), Palermo, Italy

    SING 6 is the sixth in the series of Spain-Italy-Netherlands Meetings on Game Theory. Presentations will focus on new research directions in different disciplines. The meeting provides an avenue where new research collaborations can be forged.

    For more information, see http://www.unipa.it/sing6/

  • 9-21 July 2010, Fifth Federated Logic Conference (FLoC'10), Edinburgh, Scotland

    The fifth Federated Logic Conference (FLoC'10), will be 9-21 July, 2010 hosted by the University of Edinburgh. The following seven conferences will participate in FLoC:
    - International Conference on Computer-Aided Verification (CAV).
    - International Conference on Interactive Theorem Proving (ITP).
    - International Conference on Logic Programming (ICLP).
    - International Joint Conference on Automated Reasoning (IJCAR).
    - IEEE Symposium on Logic in Computer Science (LICS).
    - International Conference on Rewriting Techniques and Applications (RTA).
    - International Conference on Theory and Applications of Satisfiability Testing (SAT).

    For more information, see http://www.floc-conference.org/ or contact Philip Scott (FLoC Workshop Chair) at phil at site.uottawa.ca.

  • 11-14 July 2010, Logic in Computer Science (LICS 2010), Edinburgh, Scotland

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2010 will be organized as part of the "Fifth Federated Logic Conference" (FLoC) 2010 to be held in Edinburgh from July 9 to 21.

    For more information, see http://www.informatik.hu-berlin.de/lics/lics10/. For information regarding FLoC 2010 and the participating meetings, please visit http://www.floc-conference.org.

  • 16-19 July 2010, The 5th International Joint Conference on Automated Reasoning (IJCAR 2010), Edinburgh, UK

    IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions, and invited talks.

    For more information, see http://www.floc-conference.org/IJCAR-home.html.

  • 9-20 August 2010, 22th European Summer School in Logic, Language and Information (ESSLLI-2010), Copenhagen, Denmark

    The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

    Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information.

    For more information, see the full Call for Proposals at http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=2944 or the website (forthcoming) at http://www.hum.ku.dk/esslli2010/.

  • 9-11 August 2010, Sixth International Conference on the Theory and Application of Diagrams (Diagrams 2010), Portland OR, U.S.A.

    Diagrams is an international and interdisciplinary conference series, covering all aspects of research on the theory and application of diagrams.

    Recent advances in technology have enabled the use of diagrams, sketches and other visualizations to become an integral part of our lives. For effective communication with these novel and sophisticated visual representations, we need insight into how diagrams are used, how they are represented, which types are available and when it is appropriate to use them. These concerns have triggered a surge of interest in the study of diagrammatic notations for communication, cognition, creative thought, computation and problem-solving.

    For more information, see http://www.diagrams-conference.org/2010/ or contact the organisers at diagrams2010 at diagrams-conference.org.

  • 15-17 August 2010, Conference on Mathematical Logic and Set Theory (ICM 2010 Satellite), Chennai, India

    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 http://www.illc.uva.nl/Chennai/ or contact the organizeres, Benedikt Löwe (Amsterdam) and R. Ramanujam (Chennai), at jam at imsc.res.in.

  • 13-16 September 2010, 10th International Colloquium on Grammatical Inference (ICGI 2010), Valencia, Spain

    ICGI-2010 is the tenth in a series of successful biennial international conferences in the area of grammatical inference. Grammatical inference has been extensively addressed by researchers in information theory, automata theory, language acquisition, computational linguistics, machine learning, pattern recognition, computational learning theory and neural networks.

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

  • 19-26 July 2011, 14th Congress of Logic, Methodology and Philosophy of Science, Nancy, France

    Starting from 1960 the International Congress of Logic, Methodology and Philosophy of Science has been held every four years in capital cities and/or by famous university centers. The congress is meant to reflect the current state of the art in Logic and Philosophy of Science and also to draw upon and present new perspectives.

    A novelty of the Nancy Congress is that it has adopted a topic of special focus: "Logic and science facing new technologies". This presents the opportunity for casting a strong light on an issue of major importance today, namely: the integration of contemporary technologies in sciences and in society. Questions surrounding this issue are likely to interest the scientific community, as well as a variety of social actors and various partners involved in the congress.

    For more information, see http://www.clmps2011.org/

        Back to top of page