Institute for Logic, Language and Computation

Events

News and Events:
Conferences

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

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

  • 23-24 July 2014, First International Workshop on Logics for Reasoning about Preferences, Uncertainty and Vagueness (PRUV 2014), Vienna, Austria (deadline: 20 April 2014)

    PRUV 2014 is the first Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness. The aim of PRUV is to make researchers aware of and fruitfully discuss the most recent application areas, new challenges and the existing body of work on logics for reasoning about preferences, uncertainty, and vagueness, and to bring together people from different communities (such as the Artificial Intelligence and the Semantic Web community, among others), including theorists and practitioners, that are working on these topics.

    PRUV 2014 is associated with the Vienna Summer of Logic, a major event hosting logic conferences and workshops. In particular, PRUV will be hosted by FLoC and associated to IJCAR.

    PRUV welcomes submissions relating logic with preferences, uncertainty and vagueness. We accept submissions of papers and results previously published in other major conferences and journals. Paper submission deadline: April 20, 2014.

    For more information, see http://vsl2014.at/pruv/

  • 23-24 August 2014, Conference on Hypothetical Reasoning, Tuebingen, Germany (deadline: 22 April 2014)

    Hypothetical reasoning or reasoning under assumptions is a key concept of logic, philosophy of science and mathematics. This conference focusses on its logical aspects.

    This conference is organised as part of the French-German ANR-DFG project HYPOTHESES, In conjunction with ESSLLI 2014.

    We invite contributed talks on any of the conference topics. Contributions on related topics are welcome, too. We especially encourage young researchers, including students, to contribute. There will be 12 slots for contributed talks (30 min) and 5 slots for shorter presentations. The deadline for submission is 22 April 2014.

    For more information, see http://ls.informatik.uni-tuebingen.de/hypo/

  • (New) 22-26 September 2014, 8th International Workshop on Applications of Semantic Technologies (AST 2014), Stuttgart, Germany (deadline: 22 April 2014)

    Semantic Technologies encode meanings explicitly and independent from concrete formats and application logic. This enables machines and people likewise to understand, share, and reason over semantically represented data during retrieval and processing time. In the light of the W3C’s vision of a Web of linked data, Semantic Technologies are substantial constituents for the creation of data stores, the building of vocabularies for various domains, and the specification of rules for handling data.

    The application of Semantic Technologies is currently being investigated in various fields. The AST 2014 workshop will bring together researchers and practitioners who work on applications of Semantic Technologies in order to foster cross-fertilisation between application areas and aid technology transfer from foundational research into practice. The workshop will provide an open and stimulating environment that brings together researchers, practitioners and users from various fields to discuss goals, limitations and real experiences related to the application and deployment of semantic technologies.

    We invite you to submit original research, case studies, in-use, or position papers in English language of up to 12 pages. We also encourage you to submit demonstration papers, which will be given special attention in a separate slot (max. 8 pages). Submission deadline: April 22, 2014

    For more information, see http://ast2014.fzi.de or contact the AST 2014 organising committee: ast2014 at fzi.de

  • 25-27 August 2014, 9th Scandinavian Logic Symposium, Tampere, Finland (deadline: 25 April 2014)

    The scope of SLS 2014 is broad, ranging over the whole areas of Mathematical and Philosophical Logic, as well as Logical Methods in Computer Science, Artificial Intelligence, Linguistics, etc. As with previous editions, the primary aims of the Symposium are to reflect the current activities in logic in the Nordic countries and to provide a local meeting forum for their logical communities, broadly conceived. Besides, it invites and warmly welcomes participation of logicians from all over the world.

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline: April 25, 2014

    For more information, see http://www.sis.uta.fi/SLS2014/ or write am email to scandinavianlogicsymposium at gmail.com.

  • 3-4 September 2014, Bucharest Colloquium in Analytic Philosophy - Logic and its philosophy (BCAP 2014), Bucharest, Romania (deadline: 25 April 2014)

    Confirmed keynote speakers: Kit Fine (New York), Øystein Linnebo (Birbeck), David McCarty (Indiana) and Gabriel Sandu (Helsinki).

    We are looking for high-quality contributions on logic and philosophy of logic. Presentations will be 30 minutes, followed by 15 minutes for discussion. Deadline for submission is April 25th, 2014.

    For more information, please contact: Sorin Costreie s.cos3e at yahoo.ca or visit http://www.srfa.ro/bcap-2014

  • 28 July 2014, 4th International Workshop on Euler Diagrams (ED 2014), Melbourne, Australia (deadline: 28 April 2014)

    Euler diagrams represent relationships between sets, including intersection, containment, and disjointness. These diagrams have become the foundations of various visual languages and have notably facilitated the modelling of, and logical reasoning about, complex systems. This workshop of peer-reviewed submissions will afford the growing Euler diagrams community the opportunity to present and discuss new research, and share multi-interdisciplinary expertise. We envisage that this will stimulate collaborations on current and future research needs.

    We solicit submissions on any of the conference topics, both full papers (consisting of original research or surveys) and short paperse (consisting of systems descriptions, software demonstrations, position statements or original research contributions). Paper submission deadline: April 28th (abstracts April 21st).

    For more information, see http://www.diagrams-conference.org/2014/ED2014 or contact the workshop organizers at ed2014 at easychair.org.

  • 23 July 2014, Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2014), Vienna, Austria (deadline: 28 April 2014)

    The ARQNL workshop aims at fostering the development of proof calculi, ATP systems and model finders for all sorts of quantified non-classical logics. The workshop will provide a forum for researchers to present and discuss recent developments in this area. In particular, we are interested in all sorts of applications and problem formalizations that use a quantified non-classical logic. A particular emphasis of the first edition of the ARQNL workshop will be on quantified modal logics.

    We welcome contributions from computer scientists, linguists, philosophers, and mathematicians. These contributions may range from theory to system descriptions and implementations; they may also outline relevant applications and describe example problems and benchmarks. Research papers (up to 15 pages), short papers, talk abstracts, and system demonstrations (up to 5 pages) are solicited. The submission deadline is April 28th.

    For further information see the workshop web page at http://vsl2014.at/arqnl/.

  • 18-22 August 2014, ESSLLI Workshop on Information Dynamics in Artificial Societies (IDAS@ESSLLI-14), Tuebingen, Germany (deadline: 30 April 2014)

    Describing intelligent agents with the help of cognitive and social notions is now well established in the domain of artificial intelligence. In the recent years, concepts such as trust, reputation, delegation, commitment and convention have been proposed in order to describe how artificial agents interact in an artificial society or in a virtual organization. This workshop aimed at discussing formal theories and logics of information dynamics - including formal theories and logics of belief and preference change, learning theory, social choice theory and judgement aggregation - in order to better understand how information circulates in an artificial society, and how it influences the individual and collective cognitive attitudes.

    The workshop is an event of ESSLLI-14 and will take place on August 18-22 2014, Tubingen, Germany. It will form part of the coordination activities of SINTELNET, the European Network for Social intelligence (FP7-286370), within the Working Group co-chaired by Emiliano Lorini.

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is April 30, 2014.

    For more information, see http://www.irit.fr/~Laurent.Perrussel/idas-14/

  • 22-26 September 2014, The 37th German Conference on Artificial Intelligence (KI 2014), Stuttgart, Germany (deadline: 1 May 2014)

    KI 2014 is the 37th edition of the German Conference on Artificial Intelligence, which traditionally brings together academic and industrial researchers from all areas of AI, providing a premier forum for exchanging news and research results on theory and applications of intelligent system technology. The technical program of KI 2014 will comprise paper and poster presentations and a variety of workshops and tutorials. KI 2014 will be co-located with Informatik 2014 (Annual Conference of the German Informatics Society) and MATES 2014 (The 12th German Conference on Multi- Agent System Technologies).

    The conference invites original research papers from all areas of AI, its fundamentals, its algorithms, its history and its applications. We especially welcome application papers that provide novel insights on the interplay of AI and the real world, as well as papers that bring useful computational technologies from other areas of computer science into AI. Paper submission deadline: May 1st.

    For more information, see http://www.ki2014.de/ or contact ki2014 at easychair.org.

  • 15 July 2014, Vienna Summer of Logic 2014 Workshop on Logic and Games, Vienna, Austria (deadline: 1 May 2014)

    Despite its austere appearance, formal logic can often be viewed through the lens of game theory, whereby various logical concepts -- validity, consequence, provability, satisfiability, (in)dependence, possibility, etc. -- become animated as games. Going in the other direction, one can start with games and find logics, and various logical concepts, therein. The idea of viewing logics as games, and vice versa, is by no means new, but it has enjoyed a certain renaissance in recent years. The workshop is intended to serve as a magnet to attract the latest research in the spirit of connecting logic to games.

    Logic and Games will be a one-day event consisting of three invited 60-minute talks, together with selected shorter contributed talks. Invited speakers: Gabriel Sandu (Helsinki), Ondrej Majer (Prague) and Kazushige Terui (Kyoto).

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is May 1st.

    For more information, see http://www.logic.at/logic-and-games-2014/ or contact the organizers at LG2014 at logic.at.

  • (New) 17-18 July 2014, International Workshop on Proof, Structure and Computation (PSC 2014), Vienna, Austria (deadline: 1 May 2014)

    The extraction of computational content from proofs has a long tradition in logic, but usually depends on a concrete encoding that allows us to turn proofs into algorithms. A recent trend in this field is the departure from such encoding which not only makes it simpler to represent the mathematical content, but also makes the extracted computational content encoding independent. This shift in focus allows us to focus on what is relevant: the computational aspects of proofs and the specification (not representation) of the structures involved. We now have growing evidence that this move from representations (e.g. the signed digit representation of the reals) to axioms (e.g. of the real numbers) is possible. This development largely parallels the step from assembler to high level languages in programming. As a by-product this move has already opened up the possibility to gain computational information from axiomatic proofs in more abstract and genuinely structural areas of mathematics such as algebra and topology.

    We welcome 1-2-page abstracts presenting (finished, ongoing, or if clearly stated even published) work on proof, structure, and computation. Submission deadline is 1 May 2014.

    For more information, see http://vsl2014.at/psc/ or contact psc2014 at easychair.org.

  • 12-13 July 2014, The Fifteenth International Workshop on Logic and Computational Complexity and Workshop in Honor of Neil Immerman's 60th Birthday (LCC 2014/ImmermanFest), Vienna, Austria (deadline: 2 May 2014)

    LCC 2014/ImmermanFest will be held in Vienna, Austria, on July 12-13, 2014, as an affiliated meeting of the Vienna Summer of Logic. The program will consist of a first day (July 12th) of talks which include both invited lectures and contributed talks selected by the program committee (based on submitted abstracts), and a second day (July 13th) devoted entirely to invited talks in celebration of Neil Immerman's 60th birthday.

    LCC meetings are aimed at the foundational interconnections between logic and computational complexity, to which Neil Immerman has made numerous fundamental and inspiring contributions. In particular, he has been one of the leading figures in the development of descriptive complexity, which has elucidated intimate and beautiful connections between complexity theory and finite model theory. This year, day two of LCC 2014 will honor Neil's 60th birthday with a series of invited lectures by some of the leading researchers working in areas that have been influenced by Neil's work.

    We welcome submissions of abstracts, including submissions based on work submitted or published elsewhere, provided that all pertinent information is disclosed at submission time. Abstract submission deadline: May 2nd, 2014

    For more information, see http://www.cs.swansea.ac.uk/lcc2014/

  • 10-12 September 2014, 5th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2014), Verona, Italy (deadline: 10 May 2014)

    The aim of the symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.

    Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers focused on formal methods are especially welcome. Papers discussing new ideas that are at an early stage of development are also welcome. Abstract submission deadline: May 10th, 2014.

    Please visit the conference website http://gandalf2014.di.univr.it for more information.

  • (New) 28 July - 1 August 2014, 16th Latin American Symposium on Mathematical Logic (XVI SLALM), Buenos Aires, Argentina (deadline: 10 May 2014)

    XVI SLALM will include four tutorial courses in Model Theory, Computability Theory, Set Theory and Non-classical Logic. About a hundred researchers and students from Latin-America and other continents will participate in the meeting. The Symposium has the scientific sponsorship of the Association for Symbolic Logic.

    Contributed presentations can be submitted in one of the four parallel sessions: Model Theory, Computability Theory, Set Theory and Non-classical Logic. Abstract submission deadline: May 10th, 2014.

    For more information, see the conference web site at http://www-2.dc.uba.ar/congresos/slalm2014/

  • 18-22 August 2014, 15th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XIV), Prague, Czech Republic (deadline: 11 May 2014)

    The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way.

    Following the previous fourteen, very successful, editions, the 15th CLIMA will take place in Prague, Czech Repulblic, on the 18th and 19th of August 2014. It will be co-located with ECAI’14. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions, on 'Logics for Games, Strategic Reasoning, and Social Choice' and on 'Logics for Agreement Technologies'.

    We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. Submissions will be peer-reviewed by at least three PC members. Submission deadline is May 11th.

    For more information, see http://www-sop.inria.fr/members/Serena.Villata/climaXV.html

  • 18-19 August 2014, Logics for Games and Strategic Reasoning and Social Choice, Prague, Czech Republic (deadline: 11 May 2014)

    Strategic reasoning occurs in many multi-agent scenarios. This is evident in theoretical approaches to MAS, as well as in practical solutions used, for example, in computer games, IT infrastructures for e-voting procedures, social network services, etc. This special session at CLIMA XV (Computational Logic in Multi-Agent Systems) addresses the question how formal logic can contribute to our understanding, modeling and analysis of strategic behavior, and investigates how the metaphors of game and social interaction can help in constructing and using logical formalisms.

    We encourage submission of high quality, original papers which have not been accepted for publication nor are currently under review for another journal or conference. Submissions should not exceed 16 pages in the Springer LNCS format. Note that, while theoretical papers are welcome, submissions must include at least some illustrating examples. Submission deadline: May 11, 2014

    For more information, see http://www-sop.inria.fr/members/Serena.Villata/climaXVsessions.html or contact the organizer, Wojtek Jamroga (University of Luxembourg), at wojtek.jamroga at uni.lu. For general information on CLIMA XI, see http://centria.di.fct.unl.pt/events/climaXIV/ or contact clima2014 at easychair.org .

  • 5-8 August 2014, 10th International Conference on Advances in Modal Logic (AiML-2014), Groningen, The Netherlands (deadline: 12 May 2014)

    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. AiML-2014 is the tenth 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. Authors are also invited to submit short presentations, intended for presentation at the conference but not for the published proceedings. Submission deadline is 14 March 2014 (12 May 2014 for short presentations).

    For more information, see http://www.philos.rug.nl/AiML2014/

  • 18-19 August 2014, 7th European Starting Artificial Intelligence Researcher Symposium (STAIRS-2014), Prague (deadline: 15 May 2014)

    The 7th European Starting AI Researcher Symposium will be held as a satellite event of ECAI-2014, the 21st European Conference in Artificial Intelligence, in Prague in August 2014.

    STAIRS is aimed at young researchers in Europe and beyond, particularly PhD students, but also advanced Master's students and postdoctoral researchers holding a PhD for less than one year at the time of the paper submission deadline. STAIRS offers opportunities to gain ex­peri­ence with submitting to and presenting at an international event with a broad scientific scope.

    We welcome submissions in all areas of AI, ranging from foundations to applications. Accepted papers will be presented either orally or in a poster session. The paper submission deadline is 15 May 2014.

    For more information, see http://www.ecai2014.org/stairs/.

  • 9-11 October 2014, Sixth French Philosophy of Mathematics Workshop (FPMW 6), Toulouse, France (deadline: 15 May 2014)

    This workshop is the sixth in an annual series of workshops in philosophy of mathematics organized by a team of scholars from France and abroad. The forthcoming workshop will be held at the Institut de Mathématiques de Toulouse (France). It will consist, as the previous workshops, in a three-day meeting, and feature both invited and contributed talks: 4 invited talks and 6 contributed talks.

    Submissions of papers in any topic of philosophy of mathematics are welcome. The languages of the workshop are French and English. The deadline for submission is May 15, 2014. The Scientific Committee (see below) will evaluate each submission and notifies acceptance by July 1, 2014.

    Each talk should be no longer than 45 minutes, and will be followed by a 30 minutes discussion. Each submission should be no more than 15,000 characters, and formatted in Word, RTF or PDF. It should be sent to both brice.halimi at u-paris10.fr and sebastien.maronne at math.univ-toulouse.fr. Receipt of submissions will be acknowledged by email.

    Younger scholars and graduate students working on their dissertations are particularly encouraged to submit, as the workshop wll provide them with an opportunity to discuss their work with internationally renowned experts in the field.

    The program of last year's workshop is available at: http://phier.univ-bpclermont.fr/article76.html

  • 1-3 September 2014, The 18th Workshop on the Semantics and Pragmatics of Dialogue (Semdial 2014), Edinburgh (deadline: 16 May 2014)

    SemDial 2014 (DialWatt) will be the 18th edition of the SemDial workshop series, which aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, computational linguistics, artificial intelligence, philosophy, psychology, and neuroscience. In 2014 the workshop will be hosted by the Interaction Lab, Heriot-Watt University, Edinburgh. It will be collocated with Ro-Man (The 23rd IEEE Symposium on Robot and Human Interactive Communication) and the world-famous Edinburgh festival.

    Paper submissions are invited on all topics related to the semantics and pragmatics of dialogue. The deadline is the 16th of May 2014.

    For more information, see http://www.macs.hw.ac.uk/InteractionLab/Semdial/

  • 24-26 September 2014, 14th European Conference on Logics in Artificial Intelligence (JELIA-2014), Madeira Island, Portugal (deadline: 19 May 2014)

    The aim of JELIA-2014 is to bring together active 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. JELIA strives to foster links and facilitate cross- fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners.

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

    For more information, see http://www.uma.pt/jelia2014/.

  • (New) 7-11 July 2014, CICM-2014 workshop "The Notion of Proof", Coimbra, Portugal (deadline: 20 May 2014)

    The traditional notion of mathematical proof faces in the 21st century what we will call "the computer challenge". Three different aspects are worth separating. 'Proof search' has its known limitations due to undecidability and complexity results. However, special areas, such as semigroup theory, already enjoy considerable support from computer-generated proofs. 'Proof check' is recently the 'hottest' area, in no small part due to the attempt to formally verify the proof of the Kepler conjecture by its author Hales. 'Proof representation' seems currently be the stumbling block for convincing the mathematical community to accept computer-aided theorem proving as a viable complement to everyday mathematical research.

    For our workshop we solicit contributions for discussions about the current state-of-the-art of automated theorem proving (ATP), approaching the topic from the mathematical (or even philosophical) side, as well as from computer science.

    In addition to standard scientific/philosophical papers, descriptions and demonstrations of computer systems that bear on these issues are also welcome. Submission deadline is May 20.

    For more information, see the workshop homepage at http://cicm-conference.org/2014/cicm.php?event=nop.

  • 19 August 2014, International Workshop on Defeasible and Ampliative Reasoning (DARe@ECAI 2014), Prague, Czech Republic (deadline: 25 May 2014)

    The International Workshop on Defeasible and Ampliative Reasoning (DARe), held in conjunction with ECAI 2014 in Prague, Czech Republic, aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss the defeasible and ampliative aspects of reasoning in a multi-disciplinary forum.

    The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community.

    DARe welcomes contributions on all aspects of defeasible and ampliative reasoning. We invite submissions of papers presenting original research results or position statements. Submission deadline: 25 May 2014

    Please visit the workshop website (http://dare2014.yolasite.com) for further information and regular updates. Enquiries should be sent to dare.to.contact.us at gmail.com.

  • 11-13 September 2014, Workshop on Modal Syllogistics, Lisbon, Portugal (deadline: 31 May 2014)

    Aristotle is the founder of modal logic. His system of modal syllogisms has been studied for many centuries, with less than successful results. In 1955, Jan Lukasiewicz declared that "in contrast to the assertoric syllogistic which is perfectly clear and nearly free of errors, Aristotle's modal syllogistic is almost incomprehensible because of its many faults and inconsistencies". Some scholars have been trying to resist this pessimistic judgement and to articulate interpretations of the modal syllogistic that are, at the same time, logically consistent and plausible on exegetical grounds. This workshop wants to provide a forum for discussion and to reflect, via the contributed talks and informal discussions, the state of art of the subject.

    We invite submissions of long abstracts or short papers on any aspect of the modal syllogistic. The time slot is 80 minutes (50' talk + 30' discussion). We aim at accepting five contributed papers. Submission deadline: May 31, 2014.

    For more information, see http://www.lancog.com/modalsyllogistics.html

  • 6-8 September 2014, Semantic content workshop, Barcelona, Spain (deadline: 31 May 2014)

    Recent debates about semantic content have called into question traditional accounts and have renewed interest in unorthodox approaches, in particular approaches that operate with semantic contents that do not have absolute truth-values. These novel approaches to semantic content challenge the simple models of communication and information transfer that have traditionally been assumed. They also raise independently interesting questions about linguistic communication.

    The project 'Semantic Content and Conversational Dynamics' organizes an international workshop on topics relevant to these issues. Invited speakers include Frank Veltman.

    Contributions are invited. There will be space for up to 8 contributed papers. Submission deadline: 31st of May 2014.

    For more information, see http://semcon.wordpress.com/workshop-2/.

  • 16-18 October 2014, The Making of the Humanities IV, Royal Netherlands Institute, Rome, Italy (deadline: 1 June 2014)

    This is the fourth of a biennially organized conference that brings together scholars and historians interested in the comparative history of the humanities (philology, art history, historiography, linguistics, logic, literary studies, musicology, theatre studies, media studies, a.o.). Although histories of single humanities disciplines already exist for a long time, the history of the humanities as a whole has only very recently been investigated, and the first monographs have just appeared.

    We welcome papers on any aspect of the history of humanities, but we especially encourage submissions on the conference theme Connecting Disciplines. Deadline for abstract submissions: 1 June 2014

    For more information, see http://makingofthehumanities.blogspot.nl/

  • 3-14 August 2015, 27th European Summer School in Logic, Language and Information (ESSLLI-2017), Barcelona, Spain (deadline: 1 June 2014)

    The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. ESSLLIs attract around 500 participants from all over the world. There will be about 50 courses at introductory and advanced levels, as well as workshops, invited lectures and a student session to foster interdisciplinary discussion of current research.

    Proposals for courses and workshops at ESSLLI'2015 are invited in all areas of Logic, Linguistics and Computing Sciences. Cross-disciplinary and innovative topics are particularly encouraged. Each course and workshop will consist of five 90 minute sessions, offered daily (Monday-Friday) in a single week. Proposal submission deadline: 1 June 2014.

    For more information, see http://www.esslli2015.org/ or email A.Jung at cs.bham.ac.uk.

  • 16-18 October 2014, Logical aspects of Rational Agency (LARA2014), St Petersburg Russia (deadline: 1 June 2014)

    The cognitive diversity of agents has been a recurrent topic of contemporary investigations in the fields of artificial intelligence, information science, psychology, linguistics, neurosciences and logic, opening new horizons for logical inquiry that focuses on the in-depth analysis of rational agency. Today it is a novel challenge and a cross point for various lines of research including the study of formal theories, informal philosophical and logical approaches as well as that of their wider application. We encourage the discussions related to the logical aspects of the diversity of agents.

    The Programme Committee invites submissions centered on the following topics:
    -Logic and Pragmatics of Speech Communication
    -Logical Models of Agents' Interaction
    -Action Analysis: Game-Theoretic, Model-Theoretic and Dynamic approaches
    -Epistemic and Dynamic Epistemic Logics
    -Logical Theory of Rational Choice and Free Will
    -Game Theory and Game-Theoretical Semantics in the Studies of Agency
    -Modality and Time
    -Formal Semantics for Modelling Rational Agents' Behavior
    -Historical Issues in the Logical Theory of Agency
    Deadline for submission of short abstracts (up to 500 words): 1 June 2014. After the first selection round, a second selection round will take place based on reviews of full papers (12 pages).

    For more information, see http://ocs.philosophy.spbu.ru/index.php/LARA/

  • (New) 11-13 December 2014, Agent-based modeling in philosophy, Munich, Germany (deadline: 1 June 2014)

    In the past two decades, agent-based models (ABMs) have become ubiquitous in philosophy and various sciences. In contrast with classical economic models or population-level models in biology, ABMs are praised for their lack of assumptions and their flexibility. Nonetheless, many of the methodological and epistemological questions raised by ABMs have yet to be fully articulated and answered. This conference aims to bring together an interdisciplinary group of researchers aimed at understanding the foundations of agent-based modeling and how the practice can inform and be informed by philosophy.

    We invite submissions of extended abstracts of 750-1000 words for contributed talks by 1 June 2014.

    For more information, see http://www.lmu.de/abmp2014

  • (New) 22-26 September 2014, Logic and Applications (LAP 2014), Dubrovnik, Croatia (deadline: 2 June 2014)

    The conference brings together researchers from various fields of logic with applications in computer science. Student sessions will be organized.

    The first conference Proof Systems was held in Dubrovnik on June 28, 2012, co-located with the conference LICS 2012. LAP 2013 was held in Dubrovnik, September 16-20, 2013.

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Abstract Submission deadline: June 2, 2014.

    For more information, see http://imft.ftn.uns.ac.rs/math/cms/LAP2014

  • 4-6 September 2014, Colloquium Logicum 2014, Neubiberg/Munich (Germany) (deadline: not yet known)

    The Colloquium Logicum is organized every two years by the DVMLG, the German association of logicians in mathematics, philosophy and theoretical computer science. In 2014 the conference will take place in Munich at the Universität der Bundeswehr München, Neubiberg. The conference will cover the whole range of mathematical logic and the foundations of the exact sciences, in particular, logic in philosophy, computer science and artificial intelligence.

    Besides the regular scientific programme it is planned to include a PhD Colloquium with invited presentations of excellent recent PhD graduates.

    The programme committee invites the submission of abstracts of papers of all fields of research covered by the DVMLG: mathematical logic and the foundations of the exact sciences (including logic in philosophy, computer science and artificial intelligence). The submission deadline is Monday, June 16, 2014.

    For more information, see the web page at http://cca-net.de/cl2014/

  • 2-5 September 2014, Highlights of Logic, Games and Automata (Highlights 2014), Paris, France (deadline: 30 June 2014)

    There is a distinct community in theoretical computer science, which studies logic, games and automata. Results produced by this community are dispersed across many conferences, which makes them difficult to follow, and the community rarely gathers. Also, since conferences are mainly used for publication, there are few incentives to make good talks. A new conference: Highlights of Logic, Games and Automata, aims to provide a solution to this problem.

    A visit to this conference gives you a wide picture of the latest research in the area. Also, a chance to meet everybody in the field, not just those who happen to publish in one particular proceedings volume. We intend to achieve this popularity by having no proceedings, a short and cheap event, and building on the tradition of the similar proceedings-free GAMES workshop.

    The conference has no published proceedings. Participants are invited to present their best work, be it published elsewhere or yet unpublished. The conference is three days long. The contributed talks are around ten minutes. Submission deadline TBA.

    For more information, see http://highlights-conference.org/

  • CfP special issue of BJP on "Facets of Rationality: Reasoning, Communication and Decision making" (deadline: 30 November 2014)

    The Balkan Journal of Philosophy is pleased to announce the topic of the 2015 issue: 'Facets of Rationality: Reasoning, Communication and Decision making'.

    "Human actions in all their appearances are evaluated and assessed as rational or irrational. Subject to evaluation are everyday thinking and decision-making, scientific research, economic and political behavior, even love-affaires and sport competitions, as well as communication and speech acts of all kinds. Rationality is a normative concept in the sense that it is supposed to provide a standard or criteria to evaluate a piece of reasoning or an instance of decision-making. Why is this important? Using these criteria we are able to evaluate, control and regulate our own and others actions, thinking and decision-making".

    You are kindly invited to submit a paper on any of these topics. Papers should be between 6000 and 8000 words. The deadline for receiving manuscripts is the end of November 2014 but earlier submissions would be appreciated. This special issue will appear in 2015.

    For more information, see http://www.issk-bas.org/BJP/call_for_papers.htm

  • (New) 3-8 August 2015, 15th Congress of Logic, Methodology, and Philosophy of Science (CLMPS 2015), Helsinki, Finland (deadline: 30 November 2014)

    The great tradition of international congresses of LMPS, under the auspices of the Division of Logic, Methodology and Philosophy of Science, was started in 1960 at Stanford University. Every four years these meetings bring together logicians and philosophers of science from all over the world to present and discuss their current work.

    The programme covers all systematic and historical aspects of formal logic, general philosophy of science, and philosophical issues of special sciences. The theme of the 15th Congress is "Models and Modelling". A special feature of the LMPS in 2015 is the co-location of the Logic Colloquium, the European Summer Meeting of the Association for Symbolic Logic (ASL), in Helsinki, which allows the participants also to enjoy a rich supply of lectures in mathematical logic.

    CLMPS 2015 calls for Contributed Papers, Contributed Symposia, and Affiliated Meetings. Submission deadline: 30 November 2014.

    For more information, see http://www.helsinki.fi/clmps

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.

  • 14-17 April 2014, LMS Lecture series on Games, Trees, Models, Second Order Logic, Foundations of Mathematics, and Dependence, London & Norwich (U.K.)

    The London Mathematical Society Lecture series given by Jouko Vaananen will take place in London and Norwich April 14-17. There will be a series of 10 lectures on the following topics:
    1. Games, Trees and Models.
    2. Second Order Logic and Foundations of Mathematics.
    3. The Mathematical Theory of Dependence and Independence.

    There will also be supporting lectures by Samson Abramsky (Oxford), Joan Bagaria (Barcelona), Mirna Dzamonja (UEA), Pietro Galliani (Clausthal), Dan Isaacson (Oxford) and Philip Welch (Bristol). The series is organized by Mirna Dzamonja and will take place at UEA/London and UEA/Norwich. First 3 lectures on Monday are in London starting 12:30.

    For further information see: http://www.uea.ac.uk/~h020/Jouko.html.

  • 21-25 April 2014, The International Interdisciplinary Conference on Philosophy, Mathematics, Linguistics: Aspects of Interaction 2014 (PhML-2014), St. Petersburg, Russia

    The conference PhML-2014 is a sequel in the series of conferences intended to provide a forum for philosophers, mathematicians, linguists, logicians, and computer scientists who share an interest in cross-disciplinary research. The scientific program of PhML-2014 will include plenary sessions, thematic sessions to present contributed papers and Panel Discussion "Understanding complexity in cross-disciplinary research". Papers will be given in English.

    For further practical information, see: http://www.pdmi.ras.ru/EIMI/2014/PhML/.

  • 24-25 April 2014, PhDs in Logic VI, Utrecht University

    'PhDs in Logic' is a graduate conference organized by local graduate students. Its aim is to bring together PhD candidates and researchers as well as to foster contact between graduate students. Earlier editions of the event took place in Ghent (2009, 2012), Tilburg (2010), Brussels (2011) and Munich (2013).

    Following the previous meetings, the academic setup of the conference consists of two main parts:
    (i) Four established researchers in logic will each give two 45-minute tutorial sessions on a relevant topic in logic;
    (ii) About 15 PhD candidates will give 20-minute presentations on their work.
    There will also be opportunities for informal gatherings, including a conference dinner.

    If you would like to participate, please fill in the registration form on our website by 13 April 2014. For more information, see http://phdsinlogic2014.wp.hum.uu.nl/ or contact phdsinlogic at gmail.com.

  • 26-28 April 2014, Third international conference on the History of Logic in China, Tianjin, China

    The Third International Conference on the History of Logic in China will take place on 26-28 April, 2014, Tianjin. Besides the general academic exchange, one of the main purposes of this conference is to advance our larger project, the production of the Handbook of Logical Thought in China, to be published by Springer-Verlag both online and in print in a few years. Many of the presentations will be of material aimed at chapters of the Handbook, for discussion and comment among experts both mainland China and outside.

    For more information, see http://holicnet.net/?page_id=324

  • 27 April - 1 May 2014, 14th International Conference on Relational and Algebraic Methods in Computer Science (RaMICS 2014), Marienstatt im Westerwald. Germany

    Since 1994, the RelMiCS meetings on Relational Methods in Computer Science have been a main forum for researchers who use the calculus of relations and similar algebraic formalisms as methodological and conceptual tools. The AKA workshop series on Applications of Kleene algebra started with a Dagstuhl seminar in 2001 and was co-organised with the RelMiCS conference until 2009. Since 2011, joint RAMiCS conferences continue to encompass the scope of both RelMiCS and AKA.

    The conference will be accompanied by a PhD training program. Details will be published in due time in a special call and on the conference website.

    For more information, see http://mathcs.chapman.edu/ramics2014

  • 28-30 April 2014, 3rd Conference on Games, Interaction, Reasoning, Learning & Semantics: Evolution and Cooperation (GIRLS'14@LUND), Lund, Sweden

    The 3rd Lund Conference on 'Games, Interaction, Reasoning, Learning and Semantics' (GIRLS14@LUND) welcomes researchers in philosophy, cognitive science, economics & linguistics, using agent based models with bounded rationality, models of evolutionary dynamics, and other naturalistic approaches. The primary conference aims are to foster cooperation between these groups and help establish common ground. G.I.R.L.S.14@LUND will be themed around Evolution and Cooperation.

    For more information, see the GIRLS14@LUND website at http://girls.loriweb.org/.

  • (New) 28 April 2014, Colloquium "Issues in Aristotle's modal ontology, logic and moral epistemology", Helsinki, Finland

    The Department of Philosophy, History, Culture and Arts Studies at the University of Helsinki is holding a Colloquium on " Issues in Aristotle's modal ontology, logic, and moral epistemology". The colloquium is open to all interested in Aristotle's philosophy and these issues in general.

    For more information, see http://helsinginyliopisto.etapahtuma.fi/Default.aspx?tabid=310&id=8921 or contact the organizer Mika Perälä (mika.perala at helsinki.fi).

  • 5-9 May 2014, 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014), Paris, France

    AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the 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 multiagent systems.

    For more information, see http://aamas2014.lip6.fr/

  • 5 or 6 May 2014, Logical Aspects of Multi-Agent Systems (LAMAS 2014), Paris, France

    There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, etc. The LAMAS workshop is a satellite workshop of AAMAS 2014 that serves the community as a platform for presentation, exchange, and publication of ideas.

    For more information, see http://lamas2014.in.tu-clausthal.de

  • 5-9 May 2014, 17th International Workshop on Trust in Agent Societies (TRUST 2014), Paris, France

    The principal aim of this workshop series is to provide a consistent and high-quality forum for sharing new ideas and developments in trust within the context of agent societies and socio-technical systems in general. The 17th edition of this international workshop will be co-located with AAMAS 2014, the 13th International Conference on Autonomous Agents and Multiagent Systems to be held in Paris, France, 5-9 May 2014.

    For more information, see https://sites.google.com/site/trustworkshop/trust2014

  • 9-11 May 2014, Sixth Models and Simulations Conference (MS6), Notre Dame IN, U.S.A.

    MS6 is the latest in a series of international conferences to explore philosophical issues arising from the construction and use of models and computer simulations in the natural and social sciences, after meetings in Paris, Tilburg, Charlottesville, Toronto, and Helsinki.

    Plenary speakers are William Bechtel (California), Philip Mirowski (Notre Dame) and Andrea Woody (Washington).

    All conference-related information will be posted on the MS6 website at http://ms6conf.wordpress.com/. Further inquiries may be addressed to Xavi Lanao at MS6conf at gmail.com.

  • (New) 9-10 May 2014, Colloquium in honour of Rosemarie Rheinwald, Muenster, Germany

    Rosemarie Rheinwald died, all too early, five years ago at the age of 60. She was a professor at the philosophy department of the Universtity of Münster and worked mainly in the fields of philosophy of science, philosophy of language, and logics. Her publications were not large in number, but deep in thought. Her very original and excellent work does not yet seem to have the repercussions it deserves.The convenors wish to help changing this a little bit and honour Rosemarie Rheinwald by discussing some of the main topics she worked on, and relating their own philosophical work to her thoughts and results.

    To register, please send an email at your earliest convenience, preferably before April 30, to Claudia.guestrau at uni-muenster.de. For more information, see https://www.uni-muenster.de/imperia/md/content/philosophischesseminar/ (PDF). or contact the local organizer at ulrich.krohs at uni-muenster.de.

  • 12-23 May 2014, 2014 Spring Course on Epistemic Game Theory, Maastricht University

    Purpose of this course: The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.

    This course is primarily meant for master students and PhD students in the Netherlands and abroad. But researchers are also very welcome.

    For more information, see http://www.epicenter.name/course

  • 12-16 May 2014, 7th Young Set Theory Workshop, Bedlewo, Poland

    The aims of the "Young Set Theory Workshops" are to bring together young researchers in the domain of set theory and give them the opportunity to learn from each other and from experts in a friendly environment. A long-term objective of this series of workshops is to create and maintain a network of young set theorists and senior researchers, so as to establish working contacts and help disseminate knowledge in the field.

    YSTW will keep its typical framework: tutorials and invited lectures during morning sessions; afternoons reserved mainly for free discussions in small groups. The following mathematicians will give mini-courses: Piotr Koszmider, Lajos Soukup, Simon Thomas and Jindrich Zapletal. The invited speakers are: David Chodounsky, Aleksandra Kwiatkowska, Philipp Luecke, Nam Trang and Konstantinos Tyros.

    For more information, see http://bcc.impan.pl/14Young/

  • 15-16 May 2014, Proof, Computation and Complexity (PCC 2014), Paris, France

    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.

    PCC 2014 is organised as a satellite event of TYPES 2014. Registration for PCC 2014 will be through the TYPES 2014 site, with details to be announced later on. The workshop is scheduled for the full day of Friday, May 16. The participants are encouraged to attend the Thursday sessions of TYPES 2014. If the number and quality of submissions justifies this, then PCC 2014 will start in the afternoon of Thursday, May 15. This will be known by the notification date.

    For more information, see http://www.irit.fr/PCC2014/

  • (New) 15 - 16 May 2014, Algebra and Coalgebra meet Proof Theory (ALCOP 2014), London, U.K.

    The aim of this workshop is to bring together experts in algebra, coalgebra, and proof theory to share ideas and methods. Everybody is welcome to attend the workshop. Giving a talk is by invitation only. This is the fifth issue of this workshop. Previous meetings were held in London, Bern, Prague and Utrecht. This meeting is partially sponsored by the British Logic Colloquium.

    Invited Speakers include Samson Abramsky, Michael Rathjen, Sara Negri, Corina Cirstea, Marcelo Fiore and Bart Jacobs. Plus 13 contributed talks.

    More details can be found on the workshop webpage: http://www.eecs.qmul.ac.uk/~pbo/workshops/ALCOP2014.html There is no registration fee for attending the workshop, but we need to keep track of numbers. Therefore, if you would like to attend the workshop please register by sending an email to the organisers Mehrnoosh Sadrzadeh and Paulo Oliva. Please also indicate whether you plan to join us for the workshop dinner in the evening of 15 May.

  • 16 May 2014, NVTI Theory Day 2014

    Date and time: 16 May 2014, 09:00-16:45
    Location: Vergaderruimte Utrecht, Pieterskerkhof 23, Utrecht, The Netherlands

    The Dutch Asssociation for Theoretical Computer Science (NVTI) supports the study of theoretical computer science and its applications. One of the main activities of the NVTI is the organization of the yearly Theoryday. This event consists of a scientific part and a business part. In the business part, members of the NVTI discuss the activities of the NVTI and decide what actions and new activities should be undertaken. The scientific part consists of four scientific contributions which are organized as follows: Four speakers are invited, two speakers from abroad and two domestic speakers.

    This year, the talks will be by the following speakers: Erika Abraham (RWTH Aachen University, Germany), Marieke Huisman (University of Twente), Elena Marchiori (Radboud University, Nijmegen) and Peter Bro Miltersen (Aarhus University, Denmark).

    For more information, see http://www.nvti.nl/Theorydays.html

  • 21-23 May 2014, Summer School and Workshop "Abstraction: Philosophy and Mathematics", Oslo, Norway

    This combined summer school and workshop aims to take stock of the abstractionist programme after three decades of intensive philosophical and technical study, as well as to make progress on some questions that have recently received much attention, such as the metaontology of abstraction and the variety of responses to the bad company problem, including the possibility of a more 'dynamic' approach to abstraction (recently advocated by Øystein Linnebo, James Studd, and others), which sees abstraction as a process whereby ever greater domains of abstracta are 'generated'.

    For more information, see http://philevents.org/event/show/12908. For any questions, please contact Salvatore Florio at florio at ksu.edu

  • 22-23 May 2014, Workshop "Objects of All Kinds" (OAK), Lille, France

    Speaker: Dale Jacquette (Bern), Wim Veldman (Nijmegen)

    The concept of object is one of the most general concepts in philosophy. On the one hand, we may be interested in the general question of what it is to be an object. On the other hand, we face the problem of delineating the criteria of objecthood in connection with specialized topics, giving rise to specific questions on what it is to be an object of a certain kind (such as concrete, abstract, indeterminate, mathematical, etc.). Accepting or refusing things of a certain kind as legitimate objects (of that particular kind) when developing a scientific theory or a philosophical position is likely to have important general repercussions.

    In our workshop we wish to investigate the notion of object, both generally and in relation to particular fields of research. The emphasis is on the grounds and consequences of specific views on objects.

    For more information, see http://evenements.univ-lille3.fr/oak/ or contact ronzitti at gmail.com or tero.tulenheimo at univ-lille3.fr (for information concerning the workshop) or matthieu.gallais at univ-lille3.fr (for practical information).

  • 23-25 May 2014, Colloquium and Workshop "Infinity, computability, and metamathematics": celebrating the 60th birthdays of Peter Koepke and Philip Welch, Bonn, Germany

    In the year 2014, Peter Koepke and Philip Welch are celebrating their 60th birthdays, and we wish to celebrate this festive occasion with a scientific workshop in their honour. Peter has been a professor at the University of Bonn for many years; Philip was a Mercator professor in Bonn during the academic year 2002/03. The workshop speakers are students, collaborators, colleagues and friends of Peter and Philip whose research was influenced by them.

    For more information, see http://www.hcm.uni-bonn.de/events/eventpages/2014/ or contact schlicht at math.uni-bonn.de

  • (New) 24-28 May 2014, Ramsey Theory Conference, Denver CO, U.S.A.

    The aim of this conference is to bring together students and researchers from around the world in the field of Ramsey Theory. The focus is on structural and infinitary Ramsey theory and applications to other fields of mathematics, including Banach spaces, Boolean algebras, Set Theory, and Topological Dynamics. The conference will consist of a large number of plenary talks and contributed talks of 25 minutes. The official language of the conference is English. As part of the DU Sesquicentennial Celebration, this conference celebrates the contributions of George Boole (1815-1864) to Ramsey Theory and Boolean Algebras.

    For more information, see https://portfolio.du.edu/ramsey/

  • 26 May - 1 June 2014, Language Resources and Evaluation Conference (LREC 2014), Reykjavik, Iceland

    ELRA, the European Language Resources Association, is very pleased to announce that the 9th edition of the Language Resources and Evaluation Conference will take place in Reykjavik (Iceland) on May 26-June 1, 2014.

    LREC has become the major event on Language Resources (LRs) and Evaluation for Human Language Technologies (HLT). The aim of LREC is to provide an overview of the state-of-the-art, explore new R&D directions and emerging trends, exchange information regarding LRs and their applications, evaluation methodologies and tools, ongoing and planned activities, industrial uses and needs, requirements coming from the e-society, both with respect to policy issues and to technological and organisational ones.

    More information will be available soon on: http://www.lrec-conf.org.

  • 29-31 May 2014, First international conference of the Italian Network for the Philosophy of Mathematics (FilMat), Milan, Italy

    The FilMat network originates from two interconnected needs: to establish and foster exchanges between Italian scholars working in the philosophy of mathematics and strictly related fields, either in Italy or abroad, with special attention to those at early stages of their careers; and to support the relationships between the Italian community and international scholars.

    In order to contribute to this process of establishment, the network is now promoting its first international conference, in the hope this will become a regular meeting for Italian and international researchers. The conference will give the opportunity to keep the attention on this field alive at national level, and to make the Italian research community even more visible internationally.

    For more information, see http://www.unisr.it/filosofia/filmat

  • 30-31 May 2014, Workshop on Formal Ethics, Erasmus University Rotterdam

    Costs: free, but registration required

    The workshop aims to bring together researchers who are employing formal tools to address questions in ethics and/or political philosophy. We encourage graduate students and members of underrepresented groups to submit to this conference.

    For more information, see http://www.formalethics.net/ or email organization at formalethics.net.

  • 201 June 4, European Symposium on Medieval Logic and Semantics (ESMLS XX), June 2014, Cambridge, U.K.

    The 20th European Symposium on Medieval Logic and Semantics will take place in Cambridge (UK) in 2014, as was decided at the last meeting in Geneva. Most probably it will take place in the second half of June, although the exact dates has not yet been fixed. The topic for the meeting is: Theories and Uses of Relations in medieval logic, grammar and science.

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

  • 2-6 June 2014, International Conference "Algebra and Mathematical Logic: Theory and Applications", Kazan, Russia

    Kazan Federal University and Tatarstan Republic Academy of Science organize an International Conference "Algebra and Mathematical Logic: Theory and Applications" dedicated to 80-th anniversary of Department of Algebra of Kazan University and to 70-th anniversary of Professor M.M. Arslanov.

    The main topics of the conference include (but are not limited to) Lie Algebras, Group Theory, Ring Theory, Algebraic Geometry, Universal Algebra, Model Theory, Mathematical Logic, Computability Theory, Algebraic and Logic Methods in Computer Science.

    For more information, see http://www.kpfu.ru/main_page?p_sub=25931

  • 2-6 June 2014, Workshop "Descriptive Inner Model Theory", Palo Alto CA, U.S.A.

    The AIM at Palo Alto will host a workshop on descriptive inner model theory, June 02-06, 2014, organized by R. Schindler (Münster) and J. Steel (Berkeley).

    How to construct canonical inner models satisfying large cardinal hypotheses has been a central problem in pure set theory since the 1960s. In recent years, there has been encouraging progress on two broad fronts: the construction of iteration strategies, and inner models with long extenders. This workshop is devoted to communicating and developing further the new ideas.

    If you would like to participate, then you may fill out the online form provided by AIM. Participants will be invited to suggest open problems and questions before the workshop begins, and these will be posted on the workshop website. The deadline to apply is Feb 02, 2014. For more information see http://aimath.org/workshops/upcoming/innermodel/.

  • 2-20 June 2014, Carnegie Mellon Summer School in Logic and Formal Epistemology, Pittsburgh PA, U.S.A.

    In 2014, 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, economics, and other sciences.The goals are to introduce promising students to cross-disciplinary research early in their careers, and forge lasting links between the various disciplines.

    Further information and instructions for applying can be found at http://www.hss.cmu.edu/philosophy/summerschool/home.php

  • 2-6 June 2014, Logic, Dynamics, and their interaction II, Denton TX, U.S.A.

    The RTG Research Conference 'Logic, Dynamics, and Their Interactions II' brings together researchers in descriptive set theory, ergodic theory, dynamical systems, and other related areas, and encourages research that crosses boundaries of various different fields.

    Full details are available at the conference website at http://math.unt.edu/rtgconference2014. If you have any questions (including if you would like to give a talk), please contact rtg at unt.edu. We would like to particularly encourage graduate students and recent PhDs to participate.

  • 2-3 June 2014, Workshop on Doxastic Agency & Epistemic Responsibility, Bochum, Germany

    The aim of the workshop is to bring together experts who are working in the areas of doxastic agency, belief-revision theory, epistemic deontologism, and epistemic justification, and to discuss recent advances regarding the interplay between doxastic agency and epistemic responsibility. The workshop addresses questions such as: do we have the same kind of control over our beliefs as we have over our actions, what kind of control do we have over our doxastic attitudes and how is epistemic responsibility related to notions such as epistemic justification and practical responsibility?

    There is no registration fee, but the number of participants is limited. If you want to participate in the workshop, please register by writing an e-mail to andrea.kruse at rub.de. For further information visit the website of the workshop: http://www.ruhr-uni-bochum.de/philosophy/logic/doxastic_agency/home-DAER.html

  • 3 June 2014, ILLC Current Affairs Meeting, ILLC Common room (F1.21), Science Park 107, Amsterdam

    As in the previous editions, the purpose of this meeting is to inform you on various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend. Drinks will be served afterwards in the ILLC Common Room.

    For more information, see illc at uva.nl

  • 4-6 June 2014, Cracow Workshop in Analytical Philosophy - Normativity of meaning, belief and knowledge (CWAP 2014), Cracow, Poland

    CWAP 2014 is the 1st edition of what is planned to become a new platform for discussing problems in analytical philosophy in a small but stimulating environment. This year's edition shall focus on "normativity" as discussed within three areas of philosophical inquiry: theory of meaning, belief and knowledge.

    All information concerning editorial guidelines, deadlines, fees, programme, our speakers and venue are available on-line at http://www.2014.cwap.pl/.

  • 5-6 June 2014, 6th British Wittgenstein Society (BWS) Annual Conference: Wittgenstein and Epistemology, Edinburgh, U.K.

    For more information, see https://sites.google.com/site/bws2014edinburgh/

  • 5-6 June 2014, 14th Annual Philosophy of Logic, Mathematics and Physics Graduate Conference, London ON, Canada

    The LMP Graduate Student Conference will bring together philosophers of logic, mathematics, and physics for two days of presentations and discussions with some of the leaders in these fields. Doreen Fraser (University of Waterloo) will be giving the keynote address.

    Additional information can be found on our website: http://logicmathphysics.ca. Please send questions to the LMP Conference Committee: uwolmp at gmail.com

  • 6-12 June 2014, The 9th International Computer Science Symposium in Russia (CSR-2014), Moscow, Russia

    CSR 2014 intends to reflect the broad scope of international cooperation in computer science. It is the 9th conference in a series of regular events started with CSR 2006 in St. Petersburg.

    Further information and contacts:
    Web: http://logic.pdmi.ras.ru/csr2014
    Email: csr2014 at googlegroups.com

  • 6-7 June 2014, Fourth LSE Graduate Conference in Philosophy of Probability, London, U.K.

    This is the fourth edition of the LSE Graduate Conferences in Philosophy of Probability. It aims to attract researchers working on any philosophical aspect of probability, including, but not limited to, Bayesian epistemology, the foundations of statistics, decision theory, probabilistic causation, probability logic and applications of probabilities in the natural, social and medical sciences.

    For more information see http://www.lse.ac.uk/CPNSS/events/GraduateConferences/pop2014/.

  • 7-9 June 2014, Logic, Grammar and Meaning, Norwich, U.K.

    The "Logic, Grammar, and Language" Conference explores the the multifarious interactions between logic and natural language. We are interested to explore the relation(s) between logic and natural language from empirical (linguistic), philosophical, and logical perspectives.

    For more information, see http://www.confhub.net/lola. For additional information, please do not hesitate to contact the organisers at: logogrammar at gmail.com

  • 7-8 June 2014, Mitchellfest: 70th birthday of William Mitchell, Berkeley CA, U.S.A.

    June 07 and 08, 2014, UC Berkeley will host a conference honoring William Mitchell on the occasion of his 70th birthday.

    See http://wwwmath.uni-muenster.de/logik/Personen/Uhlenbrock/MitchellConference/. If you wish to participate, then please contact R. Schindler (rds at wwu.de) and J. Steel ( coremodel at berkeley.edu ).

  • 9-13 June 2014, Workshop on descriptive inner model theory, Berkeley CA, U.S.A.

    UC Berkeley will host a workshop on descriptive inner model theory June 09-13, 2014, organzed by G. Sargsyan (Rutgers), R. Schindler (Münster), and J. Steel (Berkeley).

    See http://wwwmath.uni-muenster.de/logik/Personen/Uhlenbrock/DIMTConference/. If you wish to participate, then please contact R. Schindler (rds at wwu.de) and J. Steel (coremodel at berkeley.edu).

  • 9-13 June 2014, Ninth International Conference on Computability, Complexity and Randomness (CCR 2014), Singapore, Singapore

    CCR 2014 will be held at the Institute for Mathematical Sciences in Singapore as a part of the Algorithmic Randomness Programme, 2-30 June 2014. Topics include Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity and Reverse mathematics and logic.

    Please register before 15 March 2014. For more information, see the Conference Web Page at http://www2.ims.nus.edu.sg/Programs/014algo/.

  • 13-15 June 2014, 27th Annual Conference on Learning Theory (COLT 2014), Barcelona, Spain

    Invited speakers are Leslie Valiant (Harvard University) and Michael Jordan (UC Berkeley). COLT 2014 will take place within a larger research program on the Mathematics of Machine Learning organized at the Centre de Recerca Matemática in Barcelona.

    For more information, see the conference website at http://orfe.princeton.edu/conferences/colt2014/

  • 16 - 20 June 2014, Logica 2014, Hejnice, Czech Republic

    Logica 2014 is the 28th in the series of annual international symposia devoted to logic.

    For more information, see http://www.flu.cas.cz/cz/logica2014 or contact logica at flu.cas.cz

  • 16-18 June 2014, Journées sur les Arithmétiques Faibles 33, University of Gothenburg, Sweden

    The 33rd meeting of JAF (Journées sur les Arithmétiques Faibles) will be held in Gothenburg, Sweden during 16-18 of June 2014. The meeting will feature invited talks, a tutorial on feasible analysis, and a number of contributed talks. Possible topics include:

    Provability and Definability in Arithmetics
    Model Theory and Arithmetics
    (Un)decidability of Arithmetics
    Modelling computations on Logical Theories

    Abstracts of contributed talks, in PDF format, not exceeding one A4 (11pt) page, should be submitted by May 1, 2014 to: ali.enayat at gu.se

    For more information, see http://www.illc.uva.nl/NewsandEvents/Events/newsitem.php?id=5681 or contact rasmus.blanck at gu.se.
  • 18-20 June 2014, Triennial International Conference of the Italian Society for Logic and Philosophy of Sciences (SILFS 2014), Rome, Italy

    On June 18-20 2014 SILFS, the Italian Society of Logic and Philosophy of Science will hold its triennial conference at the University of Rome 'Roma TRE'. Invited speakers are John Norton, Hannes Leitgeb and Tarja Knuuttila.

    For more information, see http://www.silfs.net/#442-2 pr contact the SILFS secretary, Matteo Morganti: matteo.morganti at uniroma3.it.

  • 18-25 June 2014, NIP Summer School: Foundations of Logic and Mathematics, Aberdeen UK

    Costs: £395 including seven nights accommodation on campus

    The Northern Institute of Philosophy at the University of Aberdeen will host a summer school on the Foundations of Logic and Mathematics, led by Jc Beall, Oystein Linnebo, Greg Restall, and Crispin Wright.

    Interested parties are asked to register for the summer school before May 15th by contacting Dr. Paula Sweeney on p.sweeney at abdn.ac.uk. As this school has a limited number of participants, interested parties are asked to refrain from booking travel until after 15th May, at which point their registration will be confirmed.

    For more information (including syllabus and timetable) see the webpage at http://www.abdn.ac.uk/nip/events/event?id=474, or contact Paula Sweeney at p.sweeney at abdn.ac.uk.

  • 18-20 June 2014, Logical Aspects of Computational Linguistics (LACL 2014), Toulouse, France

    LACL'2014 is the 8th international conference on logical and formal methods in computational linguistics. This conference addresses the use of type theoretic, proof theoretic and model theoretic methods for describing natural language syntax and semantics, as well as the implementation of natural language processing software relying on such models. It will be held at IRIT, Toulouse, France, from 18 to 20 June 2014 (with support from IRIT, Université Paul Sabatier et INP de Toulouse), and is co-located with CSLP 2014.

    For more information, see http://www.irit.fr/LACL2014/ or contact soloviev at irit.fr and asher at irit.fr (co-chairs of LACL 2014).

  • 20-22 June 2014, 11th Annual Formal Epistemology Workshop (FEW 2014), Los Angeles CA, U.S.A.

    The Formal Epistemology Workshop will be held in connection with the 2014 meeting of the Society for Exact Philosophy, which will take place immediately afterwards, at the California Institute of Technology, a short rail ride away in Pasadena.

    There will be four contributed talks on Friday, June 20 and four contributed talks on Saturday, June 21. Sunday, June 22 will consist of shared events as part of both FEW and SEP, including a keynote address (by Bas van Fraassen) and a poster session.

    For more information, see http://www.kennyeaswaran.org/few/

  • 21-29 June 2014, Sixth North American Summer School for Logic, Language, and Information (NASSLLI 2014), University of Maryland, U.S.A.

    Costs: $175 for academics

    The 6th North American Summer School in Logic, Language and Information (NASSLLI 2014), a bi-annual summer school loosely modeled on the long-running ESSLLI series in Europe, will be held at the University of Maryland, College Park, June 23 - 27, 2014. In addition, we will run three intensive introductory courses ("bootcamps") on Saturday and Sunday, June 21-22. Additional events will be held during the weekend following the summer school, June 28-29.

    The summer school will consist of 18 courses, scheduled in five parallel sessions throughout the week. Courses will meet for 90 minutes on each of five days. The instructors are prominent researchers who volunteer their time and energy to present work in their disciplines. NASSLLI courses are aimed at graduate students and advanced undergraduates in any of the fields represented at the summer school, but will also be of interest to post-docs and researchers in those fields. Courses are designed with an interdisciplinary audience in mind, by instructors who enjoy addressing students and colleagues from a wide range of disciplines.

    For more information including the full program, see http://www.nasslli2014.com/.

  • 23-25 June 2014, 5th International Workshop on Computational Social Choice (COMSOC-2014), Pittsburgh, Pennsylvania

    Computational social choice is a growing 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. Like its predecessors, this 5th edition of COMSOC will bring together theoretical computer scientists, researchers working in artificial intelligence, economicsts, political scientsists, mathematicians, and logicians working on these topics.

  • 23-27 June 2014, CiE 2014: Computability in Europe, Budapest, Hungary

    CiE 2014 is the tenth conference organized 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.

    The motto of CiE 2014 "Language, Life, Limits" intends to put a special focus on relations between computational linguistics, natural computing, and more traditional fields of computability theory. This is to be understood in its broadest sense including computational aspects of problems in linguistics, studying models of computation and algorithms inspired by physical and biological approaches as well as exhibiting limits (and non-limits) of computability when considering different models of computation arising from such approaches.

    For more information, see http://cie2014.inf.elte.hu

  • 23-27 June 2014, NASSLLI 2014 Student Session, University of Maryland, College Park, MD, USA

    The Student Session of the North American Summer School for Logic, Language and Information (NASSLLI) will provides students an excellent opportunity to present their work to experts in their field as well as to a broader, well-informed interdisciplinary audience.

    For more information, see http://web.pacuit.org/files/NASSLLI2014StuS_CFP.pdf or contact qharr at umd.edu

  • 26-28 June 2014, The 7th Semantics and Philosophy in Europe Colloquium (SPE7), Berlin

    The purpose of the Semantics and Philosophy in Europe colloquia is provide a forum for presenting research in the interface between linguistic semantics and various areas of philosophy (philosophy of language, logic, philosophy of mind, metaphysics, philosophy of mathematics, epistemology, etc.). Previous SPE meetings have taken place in Paris (SPE1, 2008 and SPE3, 2010), London (SPE2, 2009), Bochum (SPE4, 2011), Turin (SPE5, 2012) and St.Peterburg (SPE6, 2013).

    In addition to the general theme, SPE 7 will feature two special topics
    - Conceptual structures and truth-conditional semantics
    - Questions

    For more information, see http://www.zas.gwz-berlin.de/fileadmin/spe7/

  • 24-27 June 2014, 9th International Ershov Informatics Conference (PSI'2014), Peterhof, St. Petersburg, Russia

    The Institute of Informatics Systems (Russian Academy of Sciences) and the Saint Petersburg State University are jointly organizing the Ershov Informatics Conference (the PSI Conference Series, the 9th edition) to be held in St. Petersburg, Russia, on June 24 - 27, 2014.

    The PSI Conference is the premier international forum for research and its applications in computer, software and information sciences. The conference brings together academic and industrial researchers, developers and users to present and discuss the most recent trends, experiences and concerns in the conference area.

    For more information, see http://psi.nsc.ru

  • 25-27 June 2014, 21st International Symposium on Methodologies for Intelligent Systems (ISMIS 2014), Roskilde, Denmark

    The scope of ISMIS is intended to represent a wide range of topics on applying Artificial Intelligence techniques to areas as diverse as decision support, automated deduction, reasoning, knowledge based systems, machine learning, computer vision, robotics, planning, databases, information retrieval, etc. The focus is on research in intelligent systems. The conference addresses issues involving solutions to problems that are complex to be solved through conventional approaches and that require the simulation of intelligent thought processes, heuristics and applications of knowledge. The integration of these multiple approaches in solving complex problems is of particular importance.

    ISMIS'14 is intended to attract individuals who are actively engaged both in theoretical and practical aspects of intelligent systems. The goal is to provide a platform for a useful exchange between theoreticians and practitioners, and to foster the cross-fertilization of ideas.

    For more information, see http://isl.ruc.dk/ismis2014/

  • 30 June - 1 July 2014, Workshop "Arguing on the Web 2.0"

    Location: Doelenzaal, Singel 425, Amsterdam
    Costs: free

    In this workshop, we aim to bring together philosophers, computer scientists, argumentation scholars, and experts in persuasive communication to discuss the nature and dynamics of argumentation on the Internet, how new technologies change the argumentative practices of users, what skills and expertise become critical in such a new info-ecology, how ICT can be used to foster rather than hamper critical reflection and debate, and what implications this should have for education, societal change and policy making.

    For more information, see http://www.sintelnet.eu/content/arguing-web-20-0 or contact Ulle Endriss (ulle.endriss at uva.nl).

  • 2-5 July 2014, Trends in Logic XIII "Gentzen's and Jaśkowski's heritage", Lodz, Poland

    Trends in Logic is the conference series of the journal 'Studia Logica'. The 13th Trends in Logic international conference will be held at the University of Lodz, Lodz, Poland, July 2-5, 2014 under the title 'Gentzen's and Jaskowski's heritage; 80 years of Natural Deduction and Sequent Calculi'. It is organized by the Department of Logic and Methodology of Sciences at the Institute of Philosophy of the University of Lodz, in co-operation with >>Studia Logica<<.

    For more information, see http://filozof.uni.lodz.pl/trends

  • 2-8 July 2014, Third East-Asian School on Logic, Language and Computation (EASLLC 2014), Tsinghua University, China

    The Third East-Asian School on Logic, Language and Computation (EASLLC 2014) will take place at Tsinghua University, China on July 2-8, 2014. The event will start with an international workshop "Current Trends in Logic" on July 2, continue with the school on July 3-8. The program of the School will consist of six courses on logic in its interdisciplinary width. The courses cover logic, philosophy, computer science, and linguistics, with an emphasis on interaction between fields. There will be two plenary evening talks for a wider audience.

    In addition, there will be student sessions in the late afternoon/early evening. The student session is a forum for students at all levels (Bachelor, Master or PhD) to present original research to the audience. We plan a "mentoring" program in which selected students will be assigned to one of the lecturers for informal interaction and research/career discussions.

    For any questions, please contact easllc2014 at gmail.com. Or see http://www.illc.uva.nl/NewsandEvents/Events/newsitem.php?id=5560 or http://tsinghualogic.net/events/2014/easllc/?p=92.

  • 3-4 July 2014, Seventh Workshop on Computability Theory (WCT 2014), Prague, Czech Republic

    A Workshop on Computability Theory will be held in Prague on July 3 and July 4, 2014. The workshop will take place in the week between the end of the conference Computability in Europe 2014 Language, Life and Limits in Budapest and the start of the Vienna Summer of Logic.

    This will be the seventh in the Workshops on Computability Theory (WCT) Series. The WCT series onsists of short satellite workshops that are meant to attract more computability theorists to the meeting that they are associated with, and to provide a relaxed environment for specialists in all areas of computability theory to give full length talks on their recent work.

    More information about the workshop can be found here http://www.math.uconn.edu/~damir/wctprague/

  • 7-8 July 2014, Symposium on the Foundations of Mathematics, Vienna, Austria

    Set theory is taken to serve as a foundation for mathematics. But it is well-known that there are set-theoretic statements that cannot be settled by the standard axioms of set theory. The Zermelo-Fraenkel axioms, with the Axiom of Choice (ZFC), are incomplete. The primary goal of this symposium is to explore the different approaches that one can take to the phenomenon of incompleteness. These different approaches have wider consequences for the concepts of meaning and truth in mathematics and beyond. The conference will address these foundational issues at the intersection of philosophy and mathematics. The primary goal of the conference is to showcase contemporary philosophical research on different approaches to the incompleteness phenomenon.

    For more information, see the conference website at http://sotfom.wordpress.com/about/.

  • 8-11 July 2014, Trends in Logic XIV "The Road Less Travelled: Off-stream applications of formal methods", Ghent, Belgium

    Trends in Logic is the conference series of the journal 'Studia Logica'. The focus of the 14th conference is to be on those applications of formal methods in philosophy which might be of interest to people working on philosophical questions of more direct relevance to human life.

    Logicians have devoted considerable effort to applying formal methods to what are now considered core disciplines of analytic philosophy: philosophy of mathematics, philosophy of language and metaphysics. Researchers in these fields have been accused of sharpening their knives without actually cutting anything of interest to those outside of philosophy. The focus of formal methods is changing and our intent for this conference is to further counter the impression of idleness with respect to philosophy at large.

    For more information, see http://entiaetnomina.blogspot.be/p/trends-in-logic-xiv.html.

  • 8-12 July 2014, Summer School: Interdisciplinary Analysis of Voting Rules, Caen, France

    This summer school will provide a through introduction to insights coming from political science, economics, experimental economics, game theory, computer science and mathematics that are relevant to the analysis of voting rules and electoral reforms. There is the option to apply for a travel grant and to present a poster at the summer school. Deadline: 25 March 2014.

    For more information, see http://www.unicaen.fr/recherche/mrsh/AVR2014

  • 9-24 July 2014, Vienna Summer of Logic, Vienna, Austria

    In the summer of 2014, Vienna will host the largest event in the history of logic. The Vienna Summer of Logic (VSL) will consist of twelve large conferences and numerous workshops, attracting an expected number of 2500 researchers from all over the world.

    The conferences and workshops will deal with the main theme, logic, from three important aspects: logic in computer science, mathematical logic and logic in artificial intelligence. This unique event will be organized by the Kurt Goedel Society at Vienna University of Technology from July 9 to 24, 2014

    *Keynote Speakers* The VSL keynote speakers are Franz Baader (Technische Universitaet Dresden), Edmund Clarke (Carnegie Mellon University), Christos Papadimitriou (University of California, Berkeley) and Alex Wilkie (University of Manchester). Dana Scott (Carnegie Mellon University) will speak in the opening session.

    At the Vienna Summer of Logic, the Kurt Goedel Society will award three fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt Goedel Research Prize Fellowship Competition "Logical Mind: Connecting Foundations and Technology."

    The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic Games. Intended as a new FLoC tradition, the Games will bring together a multitude of established solver competitions by different research communities. In addition to the competitions, the Olympic Games will facilitate the exchange of expertise between communities, and increase the visibility and impact of state-of-the-art solver technology. The winners in the competition categories will be awarded Kurt Goedel medals at the FLoC Olympic Games award ceremonies.

    To ensure that all the scientific and social meetings taking place in the course of the VSL can be conducted successfully, the organizers of the VSL are solliciting volunteers, to help with tasks such as the registration of the participants at the conference or assisting with the use of the technical infrastructure at the conference site. Volunteers may attend all the VSL conferences for free.

    For more information: http://vsl2014.at

  • 12-24 July 2014, The Sixth Federated Logic Conference (FLoC 2014), Vienna, Austria

    The Sixth Federated Logic Conference (FLoC 2014) will be part of the Vienna Summer of Logic (VSL), the largest logic event in history, with over 2000 expected participants. FLoC 2014 will host eight conferences and many workshops. Each workshop will be affiliated with one of the eight conferences.

    Further information can be found at the FLoC 2014 Workshop Guide http://vsl2014.at/floc-ws/, or contact floc14cfw at easychair.org.

  • 12-15 July 2014, 12th International Conference on Deontic logic (DEON 2014), Gent, Belgium

    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, organization theory and law. In addition to these general themes, DEON 2014 will encourage a special focus on the topic "Deontic modalities in natural language".

    This DEON will be colocated with the 2014 edition of TiL (Trends in Logic), 8 July - 11 July, same venue.

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

  • 12-13 July 2014, FLoC workshop on proof complexity, Vienna, Austria

    Proof complexity is the study of the complexity of theorem proving procedures. The central question in proof complexity is: given a theorem F and a proof system P, what is the size of the smallest proof of F in the system P? Moreover, how difficult is it to construct a small proof? Many ingenious techniques have been developed to try to answer these questions; and they bare tight relations to intricate theoretical questions from computational complexity (such as the celebrated P vs. NP problem), mathematical logic (e.g. separating theories of Bounded Arithmetic) as well as to practical problems in SAT solving.

    The workshop will be part of the Vienna Summer of Logic and will be affiliated with the conferences SAT'14 and CSL/LICS'14.

    For more information, see http://vsl2014.at/pages/PC-index.html

  • 13 July 2014, Third International Workshop on Gentzen Systems and Beyond (GSB3), Vienna, Austria

    This is a workshop on Gentzen-style proof systems, their generalizations, and extensions. Since the introduction of the sequent calculus and natural deduction by Gerhard Gentzen in the 1930s, a wide spectrum of formalisms have been used to construct proof systems for logics resisting a simpler description, including hypersequents, deep inference systems, display calculi, labelled deductive systems, tableaux, and proof nets, to name just a few. The aim of this workshop is to explore and compare the motivations for and relative merits of these different approaches.

    A broader aim of the workshop is to build a bridge between researchers into theoretical aspects of structural proof theory and the more application-oriented goals of the proof theory community, particularly in cases where the methods, such as constructing analytic systems, are shared. ------------------------------------------------------------------------------------

    For more information, see http://vsl2014.at/pages/GSB-cfp.html

  • 14-17 July 2014, Joint 25th International Conference on Rewriting Techniques and Applications (RTA 2014) & 12th International Conference on Typed Lambda Calculi and Applications (TLCA 2014): , Vienna, Austria

    This joint RTA and TLCA conference is the major forum for the presentation of research on all aspects of rewriting and typed lambda-calculi. Areas of interest include but are not limited to Foundations, Algorithmic aspects and implementation, Logic, Types, Semantics and Programming.

    For more information, see http://vsl2014.at/rta-tlca

  • 14-18 July 2014, Twenty-Third EACSL Annual Conference on Computer Science Logic & Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (CSL/LICS 2014), Vienna, Austria

    CSL is the annual meeting of the European Association for Computer Science Logic (EACSL) intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

    LICS is an annual international forum on theoretical and practical topics in computer science that relate to logic.

    The organizers of these two series of meetings have chosen to join the 2014 editions of these meetings into a single event within the Federated Logic Conference (FLoC) that will be part of the Vienna Summer of Logic 2014. Thus, in 2014, these meetings will have one program committee, one program, and one proceedings. No decision has been made to hold CSL and LICS jointly beyond 2014.

    For more information, see and http://lii.rwth-aachen.de/lics/csl-lics14/

  • 16-19 July 2014, Logic, Algebra and Truth Degrees (LATD 2014), Vienna, Austria

    The conference "Logic, Algebra and Truth Degrees 2014" will be held on 16-19 July 2014 in Vienna, Austria, as part of the Vienna Summer of Logic event.

    Logic, Algebra and Truth Degrees is the fourth official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic. Mathematical Fuzzy Logic is the sub-discipline of Mathematical Logic that is concerned with the notion of comparative truth. The assumption that "truth comes in degrees" has proved to be very useful in many theoretical and applied areas of Mathematics, Computer Science, and Philosophy.

    For more information please visit the official web page of the conference: http://www.logic.at/latd2014/. All correspondence should be directed to latd2014 at logic.at.

  • 16-19 July 2014, Bolzano in Prague 2104, Prague, Czech Republic

    An International Bernard Bolzano meeting in Prague, Villa Lanna in mid-July (16-19) 2014 will be co-organised by the Institute of Philosophy of the Academy of Sciences of the Czech Republic and the International Bernard Bolzano Society.

    The community of Bolzano scholars will be present en masse at the meeting. If you have done any work on BB's thought (plan to, beginning to venture into), this is the place to be! Special Guest: Johan van Benthem.

    For more information, see http://bolzano2014.wordpress.com/about/

  • 17-19 July 2014, 15th International Workshop on Non-Monotonic Reasoning (NMR 2014), Vienna, Austria

    The NMR workshop series is the premier specialized forum for researchers in non-monotonic reasoning and related areas. This will be the 15th workshop in this series. Its aim is to bring together active researchers in the broad area of non-monotonic reasoning, including belief revision, reasoning about actions, argumentation, declarative programming, preferences, non-monotonic reasoning for ontologies, uncertainty, and other related topics.

    NMR will share a joint session with the 27th International Workshop on Description Logics (DL 2014).

    For more information, see http://www.kr.tuwien.ac.at/nmr14/ or email nmr14 at kr.tuwien.ac.at.

  • 17-20 July 2014, 27th International Workshop on Description Logics (DL 2014), Vienna, Austria

    The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.

    This year the DL workshop is part of the Vienna Summer of Logic, a vast event hosting several major logic conferences and workshops. In particular, the workshop is co-located with KR 2014 and will share a joint session with the International Workshop on Non-Monotonic Reasoning (NMR 2014).

    Information about submission, registration, travel information, etc., is available on the DL 2014 homepage: http://dl.kr.org/dl2014. Enquiries about the DL 2014 workshop can be made by contacting the organizing committee.

  • 21-24 July 2014, Eleventh International Conference on Computability and Complexity in Analysis (CCA 2014), Darmstadt, Germany

    The conference is concerned with the theory of computability and complexity over real-valued data. The classical approach in these areas is to consider algorithms as operating on finite strings of symbols from a finite alphabet. Most mathematical models in physics and engineering, however, are based on the real number concept. Thus, a computability theory and a complexity theory over the real numbers and over more general continuous data structures is needed.

    Despite remarkable progress in recent years many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be detected. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet, present work in progress and exchange ideas and knowledge.

    For more information, see the Conference Web Page at http://cca-net.de/cca2014/

  • 24-27 July 2014, Reasoning Conference 2014, Konstanz, Germany

    The conference aims at bringing together philosophers working in different areas related to the topic of reasoning, broadly understood: practical reasoning and the normativity of rationality, the psychology and phenomenology of reasoning, the formal structure of rationality and reasoning, the epistemology of reasoning and inference, etc. There will be 9-10 sessions, each comprising presentation of a paper, 15 minutes of comments and a discussion.

    Anyone working on issues related to the topic of the conference is invited to volunteer as a commentator or a chair. If you would like to volunteer please send an e-mail with your areas of specialization and a very short description of your research to Magdalena Balcerak Jackson: mbalcerakjackson at me.com. The deadline is February 15th 2014.

    Further information about the conference: http://www.reasoningconference.net/conference

  • 27-30 July 2014, Eleventh Conference on Logic and the Foundations of Game and Decision Theory (LOFT11), Bergen, Norway

    This is the eleventh in a series of bi-annual 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.

    For more information, see http://folk.uib.no/nmita/LOFT11

  • 27 July - 2 August 2014, Summer school on Mathematical Philosophy for female students, Munich, Germany

    The Munich Center for Mathematical Philosophy (MCMP) is organizing the first Summer School on Mathematical Philosophy for Female Students, which will be held from July 27 to August 2, 2014 in Munich, Germany. The summer school is open to excellent female students who want to specialize in mathematical philosophy.

    Since women are significantly underrepresented in philosophy generally and in formal philosophy in particular, this summer school is aimed at encouraging women to engage with mathematical methods and apply them to philosophical problems. The summer school will provide an infrastructure for developing expertise in some of the main formal approaches used in mathematical philosophy, including theories of individual and collective decision-making, agent-based modeling, and epistemic logic. Furthermore, it offers study in an informal setting, lively debate, and a chance to strengthen mathematical self-confidence and independence for female students. Finally, being located at the MCMP, the summer school will also provide a stimulating and interdisciplinary environment for meeting like-minded philosophers.

    The deadline for application is 15 February 2015. For more information, see http://www.mcmp.philosophie.uni-muenchen.de/news/mathsummer2014/

  • (Updated) 27-29 July 2014, Sixth International Summer School in Cognitive Sciences and Semantics: Quantum computing, logic, cognition, Latvia, Riga

    The summer school will consist of 3 intensive days of lectures, seminars, and group discussions. The course addresses a variety of theoretical and foundational issues in quantum computing. It will focus on the logical and physical scope of quantum computing. The course is primarily intended for graduate students in Cognitive Science, Computer Science, and Mathematics

    Topics to be addressed include the physical structure of quantum information, strategies and issues in experimental approaches to the physical representation and control of quantum information, mathematical models of quantum computing and quantum algorithms, diagrammatic patterns in quantum computing, and the relation of quantum computing computational models of cognition.

    Applications should be submitted by May 10th (extended deadline). For more information, see http://www.lu.lv/isscss/

  • 31 July - 2 August 2014, Fifth Workshop on Computational Models of Narrative (CMN'14), Quebec City QC, Canada

    Narratives are ubiquitous in human experience. We use them to communicate, convince, explain, and entertain. As far as we know, every society in the world has narratives, which suggests they are rooted in our psychology and serve an important cognitive function. The aim of this workshop series is to address key questions that advance our understanding of narrative at multiple levels: from the psychological and cognitive impact of narratives to our ability to model narrative responses computationally.

    For more information, see http://narrative.csail.mit.edu/cmn14/

  • 1-4 August 2014, 7th Annual Conference on Artificial General Intelligence (AGI 2014), Quebec City QC, Canada

    The AGI conference series is the premier international event aimed at advancing the state of knowledge regarding the original goal of the AI field - the creation of thinking machines with general intelligence at the human level and possibly beyond.

    AGI'14 will be co-located with and immediately after AAAI'14 and CogSci 2014. Yoshio Bengio will give a keynote on "Deep Learning for AI"; and AGI-14 will include a Workshop on AGI & Cognitive Science.

    For more information, see the conference website here: http://agi-conf.org/2014

  • 11-22 August 2014, 26th European Summer School in Logic, Language and Information (ESSLLI-2014), Tuebingen, Germany

    The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. ESSLLIs attract around 500 participants from all over the world. There will be about 50 courses at introductory and advanced levels, as well as workshops, invited lectures and a student session to foster interdisciplinary discussion of current research.

    For more information, see http://www.esslli2014.de/

  • 11-22 August 2014, Student Session at ESSLLI 2014, Tuebingen, Germany

    The Student Session of the 26th European Summer School in Logic, Language, and Information (ESSLLI) is a forum for PhD and Master students to present their research at the interfaces of logic, language, and computation. It features three tracks: Logic & Computation (LoCo), Logic & Language (LoLa), and Language & Computation (LaCo).

    More detailed guidelines and policies regarding submission can be found on the Student Session website: http://www.kr.tuwien.ac.at/drm/dehaan/stus2014/ or by emailing dehaan at kr.tuwien.ac.at. For general inquiries about ESSLLI 2014, please consult the main ESSLLI 2014 page: http://www.esslli2014.info/.

  • 11-15 August 2014, Epistemic Logic for Individual, Social, and Interactive Epistemology, Tübingen, Germany

    Historically, with its origins in philosophy, epistemic logic promised to illuminate traditional issues of epistemology, the theory of knowledge. In recent years, epistemic logic has been making good on that promise, with important new applications not only to individual epistemology, a traditional focus of philosophers for the last two-and-a-half thousand years, but also in social epistemology, the more recent investigation of the social dimensions of knowledge and information flow, as well as interactive epistemology, the study of knowledge and belief in strategic, game-theoretic situations.

    During five 90-minute sessions, the ELISIEM workshop will feature presentations covering the latest applications of epistemic logic to individual, social, and interactive epistemology, putting work at this fascinating intersection on the map of interdisciplinary activities in logic.

    For more information, see https://sites.google.com/site/elisiem2014/.

  • 11-15 August 2014, Formal and experimental pragmatics, Tübingen

    The recently emerging field of experimental pragmatics has painted a complex picture of the interaction between semantic and pragmatic information in phenomena as diverse as implicature, referentiality, figurative meaning, prosody, and presupposition. In parallel, advances in probabilistic and game-theoretic models that treat pragmatic inference as a problem of reasoning under uncertainty have yielded testable quantitative predictions about the outcome of many different kinds of pragmatic inference. Despite this progress, a great deal of work is needed on the mathematical foundations and quantitative empirical grounding of pragmatics, and, most critically, the connection between the two. The aim of this ESSLLI-2014 workshop is to promote dialog and community for these lines of research: strengthening the search for an empirically grounded formal pragmatics.

    For more information, see https://sites.google.com/site/fepesslli2014

  • 18-22 August 2014, The Twenty-first European Conference on Artificial Intelligence (ECAI 2014), Prague, Czech Republic

    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'14 will include the Prestigious Applications of Intelligent Systems conference (PAIS), the Starting AI Researcher Symposium (STAIRS), the International Web Rule Symposium (RuleML) and an extensive programme of workshops, tutorials, and invited speakers. (Separate calls are issued for PAIS, STAIRS, tutorials, and workshops.) ECAI'14 will be held in the beautiful and historic city of Prague, the capital of the Czech Republic. With excellent opportunities for sightseeing and gastronomy, Prague promises to be a wonderful venue for a memorable conference.

    For more information, see http://www.ecai2014.org/ or email ecai2014 at guarant.cz.

  • 18-22 August 2014, Workshop on Models in Formal Semantics and Pragmatics, Tübingen, Germany

    The field of natural-language semantics and pragmatics has undergone a shift away from defining or even mentioning models. Indeed, some scholars find their use redundant at best, harmful at worst. A generation of young semanticists got their first encounters with the formal theory through Heim and Kratzer's textbook, which does not mention models at all. There is little open discussion on these developments, but much anecdotal evidence that people have strong opinions about them. This ESSLII-2014 workshop will give the debate a public forum.

    For more information, see http://homepages.uconn.edu/~stk12004/Models_ESSLLI2014/.

  • 18-22 August 2014, Workshop on Sociolinguistics and Network Games (SLANG), Tübingen, Germany

    The ESSLLI-2014 Workshop 'Sociolingiostics and Network Games' provides a platform of new research on computational models of language use, language change and language contact. It focuses computational and simulation models of artificial multi-agent societies, particularly models that combine (i) techniques from network theory to build and analyze artificial social environments and (ii) decision/game theory to model (linguistic) behavior of its members.

    For more information, see http://www.sfs.uni-tuebingen.de/~roland/SLANG/

  • 19 August 2014, Computational Creativity, Concept Invention, and General Intelligence 2014, Prague, Czech Republic

    Researchers in several communities are trying to understand the basic principles underlying creativity-related abilities (such as concept invention, concept formation, creative problem solving, the production of art, and creativity in all its facets e.g. in engineering, science, mathematics, business processes), working on computational models of their functioning, and also their utilization in different contexts and applications (e.g. applications of computational creativity frameworks with respect to mathematical invention and inventions in engineering, to the creation of poems, drawings, and music, to product design and development, to architecture etc.). In particular, a variety of different methodologies are used in such contexts ranging from logic-based frameworks to probabilistic and neuro-inspired approaches. This workshop shall offer a platform for scientists and professional users within relevant areas, on the one hand presenting actual and ongoing work in research, on the other hand also offering a chance for obtaining feedback and input from applications and use-case studies.

    For more information, see http://cogsci.uni-osnabrueck.de/~c3gi/

  • 20-22 August 2014, Fourth Workshop on Controlled Natural Language (CNL 2014), Galway, Ireland

    This workshop on controlled natural language (CNL) has a broad scope and embraces all approaches that are based on natural language and apply restrictions on vocabulary, grammar, and/or semantics. This includes (but is certainly not limited to) approaches that have been called simplified language, plain language, formalized language, processable language, fragments of language, phraseologies, conceptual authoring, language generation, and guided natural language interfaces.

    Some CNLs are designed to improve communication among humans, especially for non-native speakers of the respective natural language. In other cases, the restrictions on the language are supposed to make it easier for computers to analyze such texts in order to improve computer-aided, semi-automatic, or automatic translations into other languages. A third group of CNL has the goal to enable reliable automated reasoning and formal knowledge representation from seemingly natural texts. All these types of CNL are covered by this workshop.

    For more information, see http://attempto.ifi.uzh.ch/site/cnl2014/

  • 25-27 August 2014, Concept Types and Frames in Language, Cognition and Science (CTF 2014), Duesseldorf, Germany

    The 4th conference on "*Concept Types and Frames in Language, Cognition, and Science*" (CTF'14) will take place on 25--27 August 2014 at the University of Düsseldorf, Germany. The conference is intended as an interdisciplinary platform that contributes to the development of a general theory of the structure of representation. Special focus is given to accounts using frames understood as recursive attribute-value structures with functional attributes. The topics range from formalisms to describe frames and their ontological interpretation to applications of frames in the modeling of dynamic aspects of concept formation in science and cognition and the description of natural language semantics.

    For more information, see http://www.sfb991.uni-duesseldorf.de/ctf-2014/

  • 25-29 August 2014, Summer School in Epistemology and Cognition, Groningen, The Netherlands

    From 25 to 29 August 2014, the Faculty of Philosophy at the University of Groningen will host two co-located summer schools with a common theme: Epistemology and Cognition. One of the summer schools will focus on contemporary philosophy and is co-organized with the Department of Philosophy of the University of Bristol. The other summer school will have a historical focus and is co-organized with the Department of Philosophy of the Radboud University Nijmegen.

    The summer schools are intended for graduate students (master's and PhD), post-docs and early-career researchers in philosophy. Participants can follow exclusively one of the two tracks, or mix-and-match tutorials from both tracks according to their interests. Student sessions and scholarships: we'll be offering 4 scholarships of EUR 400 (including registration fee) for the best student papers.

    For more information, see http://www.rug.nl/education/summer-winter-schools/summer-schools-2014/

  • 1-4 September 2014, 21st Workshop on Logic, Language, Information and Computation (WoLLIC 2014), Valparaiso, Chile

    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 twenty-first WoLLIC will be held at the Universidad Técnica Federico Santa María, from September 1st to 4th, 2014.

    WoLLIC is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL).

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

  • 8-12 September 2014, Seventeenth International Conference on Text, Speech and Dialogue (TSD 2014), Brno, Czech Republic

    The TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series.

    Topics of the conference will include Corpora and Language Resources, Speech Recognition, Tagging, Classification and Parsing of Text and Speech , Speech and Spoken Language Generation, Semantic Processing of Text and Speech, Integrating Applications of Text and Speech Processing , Automatic Dialogue Systems, and Multimodal Techniques and Modelling. Papers on processing of languages other than English are strongly encouraged.

    For more information, see http://www.tsdconference.org/tsd2014/ or contact the organizers at tsd2014 at tsdconference.org.

  • 12-13 September 2014, 10th international symposium of cognition, logic and communication: Perspectives on Spatial Cognition, Riga, Latvia

    The 10th Symposium for Cognition, Logic and Communication, to be held at the University of Latvia in Riga on September 12-13, 2014, will focus on the cognitive processing of space, its cognitive and formal representation, and its linguistic encoding. We will explore the content and the scope of spatial cognition and how universal it is. The impact of non-spatial factors on spatial cognition and transformations of spatial cognition into non-spatial domains will be discussed. Scale-dependency of spatial cognition and differences between small-scale and large-scale spatial cognition will be explored. The syntax and semantics of locative and other spatial expressions will be examined, along with their relations to cognitive structures of spatial representation.

    For more information, see http://cognition.lu.lv/symp/10-call.html or contact jurgis.skilters at lu.lv or jurgisskilters at gmail.com.

  • 14-20 September 2014, Set Theory Workshop & Thematic Session, , Bedlewo & Poznan, Poland

    We would like to announce two set-theoretic events in September 2014:
    - a Workshop in Set Theory, Bedlewo 14.09-17.09.2014
    - and a Thematic Session in Set Theory at the German and the Polish Mathematical Societies joint meeting in Poznan, 17-20.09.2014.

    We encourage all set theorists to participate. The initial information can be found here: http://www.impan.pl/~set_theory/dmvptm14/ In particular, everyone participating in the Poznan meeting should register directly at the webpage of the meeting.

  • 15 September 2014, Language in Interaction Board en Consortium meeting

    Location: F1.21, ILLC Common room, Science Park 107, Amsterdam

    Meeting of the board and consortium of the Language and Interaction project.

    For more information, contact illc at uva.nl

  • 17-20 September 2014, 11th International Conference on Theoretical Aspects of Computing (ICTAC 2014), Bucharest, Romania

    ICTAC 2014 is the 11th International Colloquium on Theoretical Aspects of Computing and will bring together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. Another aim of ICTAC is to bring together researchers working on theoretical aspects of computing in order to present their recent results and to discuss new ideas concerning computer science.

    For more information regarding the conference, see the ICTAC 2014 web page at http://fmi.unibuc.ro/ictac2014/ or contact the conference email address: ictac2014 at fmi.unibuc.ro

  • 22 September 2014, Concept Invention, Generation, Adaptation, and Representation 2014, Rio de Janeiro, Brazil

    Concepts, their acquisition, representation, generation, and adaptation stand in the focus of research in several different areas spanning a very diverse range of fields and disciplines: From artificial intelligence and computational creativity, through cognitive science, psychology and the learning sciences/pedagogics, to theoretical and formal philosophy. In this workshop, we want to shed light on several different key aspects of a concept life cycle.

    For more information, see http://cogsci.uni-osnabrueck.de/~cigar/

  • 26-27 September 2014, Celebration event in honour of Johan van Benthem, University of Amsterdam, Amsterdam, The Netherlands

    On 26 and 27 September 2014 the Institute for Logic, Language and Computation (ILLC) and the University of Amsterdam organize a Celebration Event for Johan van Benthem, on the occasion of his official retirement from the University of Amsterdam. The first day will have lectures for the general public, Johan's valedictory lecture, and a reception. The second day is a scientific workshop devoted to current trends in logic, with emphasis on the areas where Johan was or is active.

    For more information, see http://www.illc.uva.nl/J65/

  • 29-30 September 2014, Summer School on Post-Quantum Cryptography, Waterloo, Ontario, CAN

    The Post-quantum Cryptography Summer School is a two-day program focused on cryptography in a quantum era.

    The Post-quantum crypto summer school aims to provide an overview and introduction to the main approaches to providing cryptographic tools that may be safe against quantum algorithmic attacks. The target audience is students and other researchers conducting or interested in conducting research related to designing, testing or deploying quantum-safe cryptography.

    The summer school will be followed by the PQCrypto 2014 conference (October 1-3, 2014). Students who come to the summer school are encouraged to attend the conference.

    For more information, see http://pqcrypto2014.uwaterloo.ca/summer-school/

  • 25-28 March 2015, SMART Cognitive Science International Conference, Amsterdam

    SMART Cognitive Science is an initiative of the Faculty of Humanities of the University of Amsterdam to provide a forum for the discussions highlighting the important contributions to cognitive science from traditional humanities disciplines. SMART is an acronym for Speech & language, Music, Art, Reasoning & Thought. The SMART Cognitive Science International Conference will consist of three plenary evening lectures and six 2-day workshops devoted to the topics on the intersection of humanities and cognitive science.

    For more information, see http://smartcognitivescience.wordpress.com/2014/02/04/394/ or http://cl.ly/230F1l0W1W42.

        Back to top of page