These pages provide information about recent developments at ILLC (last update: 19 November 2009) 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

• 24-28 May 2010, 4th International Conference on Language and Automata Theory and Applications (LATA 2010), Trier, Germany (deadline: 3 December 2009)
• 18-19 February 2010, Colloquium "PhD's in Logic II", Tilburg, The Netherlands (deadline: 18 December 2009)
• 13-16 September 2010, 10th International Colloquium on Grammatical Inference (ICGI 2010), Valencia, Spain (deadline: 20 December 2009)
• 29-30 March 2010, Symposium on Mathematical Practice and Cognition, Leicester, U.K. (deadline: 30 December 2009)
• 30 June-5 July 2010, Computability in Europe 2010 (CiE 2010): Programs, Proofs, Processes, Ponta Delgada (Azores, Portugal) (deadline: 7 January 2010)
• 9-11 August 2010, Sixth International Conference on the Theory and Application of Diagrams (Diagrams 2010), Portland OR, U.S.A. (deadline: 8 January 2010)
• 13 April 2010, Workshop "Scientific Philosophy: Past and Future", Tilburg, The Netherlands (deadline: 15 January 2010)
• (New) 5th International Workshop on Normative Multiagent Systems (NorMAS'10), Leicester, UK (deadline: 15 January 2010)
• 30 June - 5 July 2010, Computability in Europe (CiE 2010), Ponta Delgada, Azores, Portugal (deadline: 20 January 2010)
• 15-16 April 2010, The 2010 Synthese Conference (focus on epistemology and economics), New York NY, U.S.A. (deadline: 1 February 2010)
• New journal: Dialogue and Discourse (deadline: 2 February 2010)
• 16-20 August 2010, European Conference on Artificial Intelligence (ECAI-2010), Lisbon, Portugal (deadline: 15 February 2010)
• 10-11 April 2010, Special Session on Universal Algebra, St. Paul MI, U.S.A. (deadline: 16 February 2010)
• (New) 9-20 August 2010, ESSLLI 2010 Student Session, Copenhagen, Denmark (deadline: 19 February 2010)
• 26-28 March 2010, The 10th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2010), Paphos, Cyprus (deadline: 27 February 2010)
• 6-9 July 2010, 17th Workshop on Logic, Language, Information and Computation (WoLLIC 2010), Brasilia, Brazil (deadline: 28 February 2010)
• 5-7 July 2010, Ninth Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2010), Toulouse, France (deadline: 15 March 2010)
• 17-20 May 2010, Symposium "Meaning, Modality and Apriority", Cologne, Germany (deadline: 15 March 2010)
• 25-29 August 2010, 8th International Conference on Advances in Modal Logic (AiML-2010), Moscow, Russia (deadline: 1 June 2010)

   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.

• 19-22 November 2009, IADIS International Conference WWW/Internet 2009, Rome, Italy
• 2009, IADIS International Conference Applied Computing 2009, Rome, Italy
• 4-5 Dec 2009, Conference on Eastern and Western Philosophical Themes, New York NY, U.S.A.
• 13-14 December 2009, Workshop on Structural Aspects of Rationality, Kanpur, India
• 14-16 December 2009, Tinbergen Workshop on Cooperative Game Theory and Economics (TIGAEC)
• 16-18 December 2009, 4th Indian Conference on Artificial Intelligence (IICAI-09), Tumkur, Bangalore, India
• 16-18 December 2009, 17th Amsterdam Colloquium, Amsterdam, The Netherlands
• 17-18 December 2009, EUMAS-09, European Workshop on Multi-Agent Systems, Ayia Napa, Cyprus
• 14-15 January 2010, GLoRiClass Farewell Event
• 18-29 January 2010, Third Indian School on Logic and its Applications, Hyderabad, India
• 18-29 January 2010, Third Indian School on Logic and its Applications (ISLA 2010), University of Hyderabad, Gachibowli, India
• 20-22 January 2010, "Epistemology and Philosophy of Mind at the Crossroads", 4th Conference of the Dutch-Flemish Association for Analytic Philosophy, Leuven, Belgium
• 22-24 January 2010, International Conference on Agents and Artificial Intelligence (ICAART 2010), Valencia, Spain
• 15-19 February 2010, Third Young Set Theory Workshop, Raach, Austria
• 17-20 February 2010, Workshop on "Logical Approaches to Barriers in Computing and Complexity", Greifswald, Germany
• 5-8 March 2010, 3rd Conference on Artificial General Intelligence (AGI-10), Lugano, Switzerland
• 18-21 March 2010, IADIS International Conference e-Society 2010, Porto, Portugal
• 22-24 March 2010, AAAI Spring Symposium on Time and Interactive Behaviour, Stanford CA, U.S.A.
• 26-28 March 2010, Modelling Interaction, Dialog, Social Choice, and Vagueness (MIDiSoVa), ILLC, Amsterdam
• 27-28 March 2010, 2nd Workshop on Philosophy and Ethics of Social Reality (SOCREAL 2010), Sapporo, Japan
• 27-28 March 2010, Second International Workshop on Philosophy and Ethics of Social Reality (SOCREAL 2010), Hokkaido University, Sapporo, Japan
• 6-9 April 2010, Symposium on AI and Games (AISB 2010), Leicester (U.K.)
• 9-14 April 2010, COST-ADT Doctoral School on Computational Social Choice, April 2010, Estoril, Portugal
• 14-16 April 2010, Sydney-Tilburg Conference on "The Future of Philosophy of Science", Tilburg, The Netherlands
• 8-14 May 2010, The 9th International Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2010), Toronto ON, Canada
• 12-14 May 2010, NICSO 2010 (The IV International Workshop on Nature Inspired Cooperative Strategies for Optimization), Granada, Spain
• 24-28 May 2010, 5th Conference on Logic, Computability and Randomness, Notre Dame (U.S.A)
• 21-25 June 2010, North American Summer School in Logic, Language and Information (NASSLLI 2010), Bloomington IN, U.S.A.
• 7-9 July 2010, 6th Spain, Italy and Netherlands meeting on Game Theory (SING 6), Palermo, Italy
• 9-21 July 2010, Fifth Federated Logic Conference (FLoC'10), Edinburgh, Scotland
• 9-20 August 2010, 22th European Summer School in Logic, Language and Information (ESSLLI-2010), Copenhagen, Denmark
• 15-17 August 2010, Conference on Mathematical Logic and Set Theory (ICM 2010 Satellite), Chennai, India
• 13-16 September 2010, 3rd International Workshop on Computational Social Choice (COMSOC-2010), Duesseldorf, Germany
• 19-26 July 2011, 14th Congress of Logic, Methodology and Philosophy of Science, Nancy, France

   Calls for Papers

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

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

  Authors are invited to submit papers presenting original and unpublished research. Deadline for submission: December 3, 2009

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

• 18-19 February 2010, Colloquium "PhD's in Logic II", Tilburg, The Netherlands (deadline: 18 December 2009)

  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!

  Abstract submission before December 18, 2009.

  For more information, see http://www.tilburguniversity.nl/phdsinlogic or contact phdsinlogicuvt.nl

• 13-16 September 2010, 10th International Colloquium on Grammatical Inference (ICGI 2010), Valencia, Spain (deadline: 20 December 2009)

  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.

  The organizing committee invites proposals for tutorials to be held in conjunction with the conference. A tutorial may be a theme-oriented comprehensive survey, discuss novel grammatical inference techniques or may center around successful application of grammatical inference in important application areas. The typical tutorial will be 2 hrs long. Proposals should be submitted by December 20, 2009.

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

• 29-30 March 2010, Symposium on Mathematical Practice and Cognition, Leicester, U.K. (deadline: 30 December 2009)

  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.

  We welcome submissions from anyone interested in themes such as those described above, and especially encourage interdisciplinary submissions which link previously unassociated fields. We welcome full papers and short papers, where a full paper comprises a completed piece of work and a short paper describes ongoing work. Full papers should be between six and eight pages in length and short papers two pages. Accepted papers will be published in the AISB 2010 proceedings. Submission deadline: 20th December, 2009.

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

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

  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.

  In a Call for Papers to be sent out this month, the PC will invite all researchers in the area of the conference to submit their papers for presentation at CiE 2010. We particularly invite papers that build bridges between different parts of the research community.

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

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

  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.

  Diagrams 2010 will consist of sessions including presentations of refereed papers, posters, and also tutorial and workshop sessions. For the first time in history of Diagrams we will organize workshops and postgraduate student sessions. We invite submissions of long and short research papers, posters, and tutorial and workshop proposals. Deadline for abstract submission: 8 January 2010.

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

• 13 April 2010, Workshop "Scientific Philosophy: Past and Future", Tilburg, The Netherlands (deadline: 15 January 2010)

  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.

  Most talks will be given by the invited speakers. We will reserve, however, 3-4 slots for contributed papers. If you are interested in presenting something, please send an extended abstract of up to 1500 words to TiLPSuvt.nl by 15 January 2010. Decisions will be made by 1 February 2010.

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

• (New) 5th International Workshop on Normative Multiagent Systems (NorMAS'10), Leicester, UK (deadline: 15 January 2010)
  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.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 15 January 2009.

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

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

  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.

  The Programme Committee cordially invites all researchers in the area of the conference to submit their papers (in PDF-format, at most 10 pages) for presentation at CiE 2010. The committee particularly invites papers that build bridges between different parts of the research community. Submission date of papers: January 20, 2010.

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

• 15-16 April 2010, The 2010 Synthese Conference (focus on epistemology and economics), New York NY, U.S.A. (deadline: 1 February 2010)

  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.

  We encourage submissions for the contributed slots. Submissions should be relevant to the conference theme of epistemology and economics, broadly construed, and should satisfy the usual guidelines for submissions to Synthese. Submissions for the contributed slots must be received no later than February 1, 2010.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=3063 or contact synthese.conference.2010gmail.com.

• New journal: Dialogue and Discourse (deadline: 2 February 2010)

  The journal "Dialogue and Discourse" reflects the surge of interest in the analysis of language `beyond the single sentence', in discourse (i.e., text, monologue) and dialogue, from a formal, computational, or experimental perspective, as reflected in the wide range of work presented at the SEMDIAL and SIGDIAL conferences (http://www.illc.uva.nl/semdial/; http://www.sigdial.org/) and various other forums. "Dialogue and Discourse" is the first journal devoted to a wide dissemination of such work.

  We are part of the eJournal initiative of the Linguistic Society of America http://elanguage.net/home.php. Articles will be published online as soon as they have been accepted. Each year, a (hardcopy) volume, collecting all articles of the year will be published by CSLI Publications, Stanford.

  The journal is open for submissions and we urge you to consider submitting your work on any topic relevant to dialogue and discourse as specified in our Aims and Scope. For more information, see http://www.dialogue-and-discourse.org/

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

• (New) 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/.

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

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

• 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 lbeklyandex.ru or the PC co-chairs at aimolog2010gmail.com.

   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.

• 19-22 November 2009, IADIS International Conference WWW/Internet 2009, Rome, Italy

  WWW and Internet had a huge development in recent years. Aspects of concern are no longer just technical anymore but other aspects have arisen. This conference, organized by IADIS (the International Association for Development of the Information Society) aims to cover both technological as well as non-technological issues related to these developments.

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

• 2009, IADIS International Conference Applied Computing 2009, Rome, Italy

  The IADIS (International Association for Development of the Information Society) Applied Computing 2009 conference aims to address the main issues of concern within the applied computing area and related fields. This conference covers essentially technical aspects. The applied computing field is divided into more detailed areas (see below). However innovative contributes that don't fit into these areas will also be considered since they might be of benefit to conference attendees.

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

• 4-5 Dec 2009, Conference on Eastern and Western Philosophical Themes, New York NY, U.S.A.

  At one time, there was lively dialogue between Western and Eastern philosophy. Schopenhauer, Nietzsche and William James were strongly influenced by Eastern philosophy. But, during recent years, Western philosophy has shown much less respect for the East than previous and there seems less awareness that issues like epistemology, time, and selfhood have been addressed very intelligently in the East.

  The purpose of the conference is to reinvigorate the dialog between Eastern and Western philosophy (philosophy as distinct from religion), and a galaxy of brilliant speakers from all over the globe have agreed to participate.

  For more information, see http://web.cs.gc.cuny.edu/~kgb/

• 13-14 December 2009, Workshop on Structural Aspects of Rationality, Kanpur, India

  Predicting rational play is the central concern of game theory, and game models are built on rationality assumptions. Re-examining notions of rationality in new contexts has led to many interesting questions for game theory, as for instance in games of infinite duration, motivated by computation theory.

  This FSTTCS-2009 Pre-Conference Workshop on Structural Aspects of Rationality (STAR) is intended as an occasion for exchanging ideas on foundations of game theory, especially on structural and computational arguments for the analysis of solution concepts.

  For more information, see http://www.imsc.res.in/tcsweb/star/star.html

• 14-16 December 2009, Tinbergen Workshop on Cooperative Game Theory and Economics (TIGAEC)
  Location: Tinbergen Institute and VU University Amsterdam, The Netherlands

  On December 14-16, 2009 the Tinbergen Workshop on Cooperative Game Theory and Economics, and the Fourth Dutch-Russian Symposium will be held in Amsterdam, The Netherlands.

  There is no registration fee, but because of capacity restrictions, participation into the workshop and symposium is limited to about 35 participants. For more information, see http://staff.feweb.vu.nl/mestevez/WebPage_TIGAEC/default.php

• 16-18 December 2009, 4th Indian Conference on Artificial Intelligence (IICAI-09), Tumkur, Bangalore, India

  The 4th Indian International Conference on Artificial Intelligence (IICAI-09) will be held in Tumkur (near Bangalore), India during December 16-18 2009. The conference consists of paper presentations, special workshops, sessions, invited talks and local tours, etc. and it is one of the biggest AI events in the world.

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

• 16-18 December 2009, 17th Amsterdam Colloquium, Amsterdam, The Netherlands

  The Seventeenth Amsterdam Colloquium will be held December 16 - 18 2009 at the University of Amsterdam. The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages. The spectrum of topics covered ranges from descriptive (syntactic and semantic analyses of all kinds of expressions) to theoretical (logical and computational properties of semantic theories, philosophical foundations, evolution and learning of language).

  Details about the symposium, and about the submission of abstracts, can be found at: http://www.illc.uva.nl/AC2009/

• 17-18 December 2009, EUMAS-09, European Workshop on Multi-Agent Systems, Ayia Napa, Cyprus

  In the last two decades, we have seen a significant increase of interest in agent-oriented technology. It is crucial that both academics and industrialists within Europe have access to a forum at which current research and application issues are presented and discussed. The aim of this Seventh European Workshop on Multi-Agent Systems is to encourage and support activity in the research and development of multi-agent systems, in academic and industrial efforts. This workshop is primarily intended as a European forum at which researchers and those interested in activities relating to research in the area of autonomous agents and multi-agent systems could meet, present (potentially preliminary) research results, problems, and issues in an open and informal but academic environment.

  For more information, see http://www.eumas.org/ or http://www.easychair.org/conferences/?conf=eumas09

• 14-15 January 2010, GLoRiClass Farewell Event
  Location: Doelenzaal, Universiteitsbibliotheek, Singel 425, Amsterdam

  After four years of research, the Marie Curie Research Training Site GLoRiClass is coming to the end of his four-year lifetime. Eight fellows have been funded by the project and wrote (or are still in the process of writing) their thesis. Their research touched many areas connecting games to other parts of logic. In our Farewell Event, we shall be celebrating the success of their work by inviting leading figures of their respective research areas.

  On 14-15 January 2010, we shall meet again in the historical Doelenzaal of the university library (where also the Halftime Event was held). All eight fellows will present their research: Cédric Dégrémont, Amélie Gheerbrant, Daisuke Ikegami, Marc Staudacher, Jakub Szymanik, Joel D. Uckelman, Andreas Witzel, Jonathan Zvesper. In addition to that, we are inviting keynote speakers who are leaders of the research areas touched by the work of our fellows.

  For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=12

• 18-29 January 2010, Third Indian School on Logic and its Applications, Hyderabad, India

  The Indian School on Logic and Applications is a biennial event. The first school was held during January 2006 at IIT Bombay and the second school during January 2008 at IIT Kanpur. The objective is to present before graduate students and researchers of the country, some basics as well as active research areas in logic. The School typically attracts students and teachers from mathematics, philosophy and computer science departments. The School is complemented by a biennial conference. The third conference was held at IMSc, Chennai, this year and the proceedings published as LNAI 5378.

  The 3rd School will adopt a dual format: the mornings will consist of introductory courses on fundamental aspects of logic, by eminent researchers in the area. The afternoons will have workshops, which can be of the nature of advanced tutorials, or presentations on research areas, in different aspects of logic and applications.

  The deadline for receiving applications is November 13, 2009. For more information, see http://ali.cmi.ac.in/isla2010 or contact the organizers at iclaimsc.res.in.

• 18-29 January 2010, Third Indian School on Logic and its Applications (ISLA 2010), University of Hyderabad, Gachibowli, India

  The Indian School on Logic and Applications is a biennial event. The first school was held during January 2006 at IIT Bombay and the second school during January 2008 at IIT Kanpur. The objective is to present before graduate students and researchers of the country, some basics as well as active research areas in logic. The School typically attracts students and teachers from mathematics, philosophy and computer science departments. The School is complemented by a biennial conference. The third conference was held at IMSc, Chennai, in January 2009, and the proceedings published as LNAI 5378.

  For more information, see http://ali.cmi.ac.in/isla2010/

• 20-22 January 2010, "Epistemology and Philosophy of Mind at the Crossroads", 4th Conference of the Dutch-Flemish Association for Analytic Philosophy, Leuven, Belgium

  The Dutch-Flemish Association for Analytic Philosophy organizes its Fourth Conference from wendesday January 20 (1.30 p.m) till Friday January 22 (4 p.m) 2010 at the Institute of Philosophy (University of Leuven, Belgium). This year's topic will be Epistemology and Philosophy of Mind at The Crossroads.

  For more information, see http://drcwww.uvt.nl/~buekens/vaf/vaf2010.htm or contact Filip Buekens at f.a.i.buekensuvt.nl

• 22-24 January 2010, International Conference on Agents and Artificial Intelligence (ICAART 2010), Valencia, Spain

  ICAART brings together top researchers and practitioners in several areas of Artificial Intelligence, from multiple areas of knowledge, such as Agents, Multi-Agent Systems and Software Platforms, Distributed Problem Solving and Distributed AI in general, including web applications, on one hand, and within the area of non-distributed AI, including the more traditional areas such as Knowledge Representation, Planning, Learning, Scheduling, Perception and also not so traditional areas such as Reactive AI Systems, Evolutionary Computing and other aspects of Computational Intelligence and many other areas related to intelligent systems, on the other hand.

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

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

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

• 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 (caeplet.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/.

• 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 aayeshdmu.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.endrissuva.nl).
  

• 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

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

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

• 21-25 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 21 - 25, 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 nasslliindiana.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 philsite.uottawa.ca.

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

• 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 jamimsc.res.in.

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

  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.

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

• 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