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: 20 October 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

  • CfP special issue of JoLLI on "Euler and Venn diagrams" (deadline: 30 October 2014)

    Euler and Venn diagrams have been widely studied over recent years and their role in logical reasoning and information visualization is now prominent. Venn diagrams formed the basis of what is widely regarded to be the first sound and complete diagrammatic logic, called Venn-I, developed by Sun-Joo Shin in the 1990s. Since then, substantial research has been conducted on Euler and Venn diagrams, spanning logic, cognitive science and philosophy. We will consider submissions that focus on any aspect of Euler and Venn diagrams research, that falls within the scope of JOLLI, and encourage submissions from any discipline. The proposed special issue will bring together a valuable collection of papers for researchers working in this area.

    We solicit papers consisting of original research contributions. Submitted papers that extend previously published conference papers should be submitted with a cover note to the editors explaining the contribution beyond the earlier version. It is expected that substantial new material is included in the submission to the special issue.

    Abstract submission: October 15, 2014. Paper submission: October 30, 2014. More information, including formatting guidelines and details of the scope of JOLLI can be found on our web page https://sites.google.com/site/eulerandvenndiagrams/.

  • 5-9 January 2015, Boolean algebras, Lattices, universal Algebra, Set theory, Topology (BLAST 2015), Las Cruces NM, U.S.A. (deadline: 30 October 2014)

    BLAST is a conference focusing on Boolean Algebras, Lattices, Algebraic Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. It is supported by the NSF and circulates among different universities.

    BLAST 2015 will feature invited talks by Papiya Bhattacharjee, George Gratzer, Thomas Icard, John Krueger, Julie Lindman, Jan van Mill, Daniele Mundici and Constantine Tsinakis, as well as tutorials on Algebraic Logic (Nick Bezhanishvili), Set Theory (Joel Hamkins), Point-free Topology (Jorge Picado) and Universal Algebra (Matt Valeriote).

    To apply to give a contributed talk, please see the Call for Papers on the conference website. The date for submission of abstracts is October 30. After October 30, contributed talks may still be accepted, depending on available space.

    For more information, see http://www.math.nmsu.edu/blast2015/ or contact BLAST at math.nmsu.edu.

  • 22-24 April 2015, PROGIC 2015: Probability and Logic, Canterbury, England (deadline: 1 November 2014)

    This is the seventh in the progic series of conferences, which seeks to address the questions of whether, and if so, how, probability and logic should be combined. The 2015 conference will also be interested in connections between formal epistemology and inductive logic. Can inductive logic shed light on epistemological questions to do with belief, judgement etc.? Can epistemological considerations lead to a viable notion of inductive logic?

    Invited speakers include: Richard Bradley, Dorothy Edgington, John Norton, Jeanne Peijnenburg. The conference will be preceded by a two-day Spring School, where introductory lectures on the themes of the conference will be given by Juergen Landes, Jeff Paris, Niki Pfeifer, Gregory Wheeler, Jon Williamson.

    We invite submissions of two-page extended abstracts of talks for presentation at the workshop. These should be sent by email to j.landes at kent.ac.uk by 1st November 2014. There will also be a special issue of the Journal of Applied Logic devoted to the themes of this workshop. We invite submissions of papers to this volume.

    A limited number of bursaries are available to postgraduate students attending the Spring School and the conference: these will cover 50% of accommodation and registration costs. For further details please see the conference website http://www.kent.ac.uk/secl/philosophy/jw/2015/progic/.

  • 11-12 December 2014, International Workshop on Logic and Philosophy of Mathematical Practice, Brussels, Belgium (deadline: 1 November 2014)

    The Center for Logic and Philosophy of Science (CLWF) at Free University Brussels (VUB) will hold an international workshop on Logic and Philosophy of Mathematical Practices.

    Invited keynote speakers are: Danielle Macbeth (Haverford College, Haverford, PA), Rik Pinxten (Ghent University) and Suzanne Prediger (Technische Universität Dortmund)

    We welcome paper proposals on a variety of topics related to the conference theme 'on mathematical practices'. Please send abstracts (max. 500 words) prepared for blind review by November 1, 2014.

    For more information, see http://www.vub.ac.be/CLWF/LPMP2014/

  • 19-21 March 2015, Three Rivers Philosophy Conference 2015 "Pictures and Proofs" (TRiP 2015), Columbia SC, U.S.A. (deadline: 3 November 2014)

    - What are the roles of pictures and diagrams in mathematical proofs, in formal reasoning, and in epistemic justification more broadly?
    - Can pictures by themselves serve as arguments insofar as they can be persuasive and even convey a sense of demonstrative certainty?
    For the most part, these two questions have been discussed separately. We seek to bring them together and thereby take them in new directions. These are philosophical questions that are addressed by many different disciplines: STS, history of science, mathematics, engineering, media studies, and the visual arts. They draw attention to technologies of picturing, the contexts of practice in which proofs and procedures of formal reasoning are employed, and problems and methods of teaching and communication.

    We invite submissions on any aspect of the relation between pictures and proofs. Please submit by November 3, 2014, a 400 to 600 word abstract (no manuscript required).

    Further information will be posted at the conference website http://artsandsciences.sc.edu/phil/content/trip2015

  • 4-8 May 2015, 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015), Istanbul, Turkey (deadline: 12 November 2014)

    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.

    AAMAS 2015, the fourteenth conference in the AAMAS series, seeks the submission of analytical, empirical, methodological, technological, and perspective papers. Authors are requested to pay particular attention to discussing how their work relates to the state of the art in autonomous agents and multiagent systems research. In addition to submissions in the main track, AAMAS 2015 will be soliciting submissions to four special tracks: Innovative Applications, Robotics, Virtual Agents and Humans, and Blue Sky Ideas. Deadline for submissions: November 12th, 2014.

    The AAMAS 2015 Organizing Committee also invites proposals for the Tutorial and Workshop Programs, both to be held on 4-5, immediately before the technical conference. Tutorials will be 2 hours long, although a few longer tutorials (4 hours) may be accepted. Workshops can vary in length, but most will be one full day in duration. The AAMAS-2015 Workshop Co-chairs ask all workshops to include a tutorial session as well. Deadline for tutorial and workshop proposal submissions: December 1, 2015.

    For more information, see http://www.aamas2015.com/

  • 30-31 January 2015, Quantum computation, Quantum information and the exact sciences, Munich, Germany (deadline: 14 November 2014)

    This conference will feature keynote speakers Hans J. Briegel (Innsbruck), Leah Henderson (Carnegie Mellon) and Christopher Timpson (Brasenose/Oxford). It will also include submissions from both philosophers and scientists exploring the connections between the philosophy and foundations of quantum computation and quantum information theory (QCIT), and more traditional philosophical and foundational questions in physics, computer science, information theory, and mathematics.

    Submissions, consisting of one short (max. 100 word) and one extended (750-1000 word) abstract, will be double-blind reviewed. Submission deadline: November 14, 2014 at 11:55PM (GMT).

    Website where more information on the conference will be posted soon: http://www.mcmp.philosophie.uni-muenchen.de/events/workshops/index.html

  • 20-30 June 2015, Fifth World Congress on Universal Logic (UNILOG 2015), Istanbul, Turkey (deadline: 15 November 2014)

    This is the fifth edition of a world event dedicated to universal logic. This event is a combination of a school and a congress. The school offers many turorials on a wide range of subjects. The congress will follow with invited talks by some of the best alive logicians and a selection of contributed talks. As in previous eiditons there will also be a contest and secret speaker.

    This event is intended to be a major event in logic, providing a platform for future research guidelines. Such an event is of interest for all people dealing with logic in one way or another: pure logicians, mathematicians, computer scientists, AI researchers, linguists, psychologists, philosophers, etc.

    To submit a contribution send a one page abstract before November 15 2014. All talks dealing with general aspects of logic are welcome. There are also a number of workshops for which you can submit contributions.

    For more information, see http://www.uni-log.org/enter-istanbul

  • 22-23 January 2015, Workshop "Formal Semantics Meets Cognitive Semantics", Nijmegen (deadline: 21 November 2014)

    Semantics is a divided discipline. On one side we have Formal Semantics, which has its roots in logic and analytical philosophy (Frege, Montague). Meaning here is viewed as a relation between language and external reality, formalized in terms of reference, truth, possible worlds, etc. On the other side we have Cognitive Semantics, a central part of the Cognitive Linguistics movement, which grew out of dissatisfaction with formal linguistics (in particular, formal semantics and generative syntax) in the seventies (Fauconnier, Lakoff, Talmy). In this framework meaning is primarily a relation between language and the mind, described in terms of mental spaces, conceptual schemata, frames, etc.

    In this workshop we want to bring together researchers from both sides who contribute to bridging the gap in some way. Deadline for submission of 2-page abstracts: November 21, 2014.

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

  • 14-16 May 2015, Fourth International Conference on Philosophy of Language and Linguistics (PhiLang 2015), Lodz, Poland (deadline: 30 November 2014)

    The Department of English and General Linguistics at University of Lodz announces the Fourth International Conference on Philosophy of Language and Linguistics (PhiLang2015). The principal aim of our Conference is to bring together philosophers, logicians and linguists.

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Deadline for submission is 30 November 2014.

    For more information, see http://www.csk.uni.lodz.pl/

  • 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

  • 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

  • 9-11 April 2015, 1st Munich Graduate Workshop in Mathematical Philosophy, Munich, Germany (deadline: 1 December 2014)

    The Munich Center for Mathematical Philosophy (MCMP) is organizing the first Munich Graduate Workshop in Mathematical Philosophy, 9 - 11 April 2015. The workshop is intended for masters and doctoral students with interests in the philosophical foundations of physics. The program will feature student presentations, keynote lectures, and `working groups? on advanced material at the forefront of contemporary research.

    Keynote Lectures: Harvey Brown (Oxford), Rüdiger Schack (London), Charlotte Werndl (Salzburg). Internal Lectures: Erik Curiel, Michael Cuffaro, Radin Dardashti, Samuel Fletcher, Paula Reichert, Karim Thébault

    We invite submissions of 1000 word extended abstracts together with a short abstract, motivation letter, CV and reference letter. The submission deadline is 1st December 2014 and notification of acceptance can be expected by 19th December. Please visit the website fore more details.

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

  • 22-25 March 2015, Cultures of Mathematics IV, New Delhi, India (deadline: 7 December 2014)

    A research community that could be described with the phrase "Practice and Cultures of Mathematics" has studied mathematics as a human subject with different practices and cultures in recent years. This research has been closely linked to the Philosophy of Mathematical Practice community and its Association for the Philosophy of Mathematical Practice, but is broader in the sense that it is interested in the study of mathematical practices and cultures independently of whether there is an interaction with traditional philosophical questions (such as epistemology or ontology).

    In addition to many other meetings associated to the research community, there has been a series of meetings dealing specifically with the phenomenon of diversity of research cultures in mathematics: the traditional view claims that all of the differences between mathematical research cultures are superficial and do not touch the nature of mathematics; it is the goal of this research community to evaluate that claim by studying concrete examples. Here, culture should be understood very widely, and cultural differences can be found distinguishing mathematical subdisciplines, national cultures, cultures imposed by university or institute structures, etc.

    The meeting will focus on case studies from mathematical research that highlight cultural differences, methodological discussions of the use of empirical data from the study of mathematical practice for gaining insight in the phenomenon of mathematics, and fundamental questions about mathematics that require a view towards mathematics as a human discipline to be discussed.

    The programme committee of the conference Cultures of Mathematics IV cordially invites all researchers who work on cultural aspects of mathematics and/or the practice of mathematics from all associated disciplines (i.e., mathematics, philosophy, sociology, mathematics education, history, psychology, and others) to submit abstracts of papers to be presented in Delhi. We are particularly interested in studies dealing with differences between mathematical research cultures, and among these in studies dealing with concrete examples, as well as methodological discussions of the use of empirical and historical data from the study of mathematical practice for gaining insight in the phenomenon of mathematics. Please submit abstracts of talks by the deadline of 7 December 2014.

    For more information, see http://www.math.uni-hamburg.de/spag/ml/Delhi2015/.

  • CfP book "Applications of Formal Philosophy;" (deadline: 31 December 2014)

    We welcome full paper submissions for a book titled: "Applications of Formal Philosophy: The Road Less Travelled" to be published with Springer, edited by Rafal Urbaniak and Gillman Payette.

    Scope:
    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 is to further counter the impression of idleness with respect to philosophy at large. The focus of the volume is 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.

    The submission deadline is December 31, 2014. Please make sure that the content of the paper fits the scope of the volume. For more information, see http://entiaetnomina.blogspot.nl/2014/09/

  • 24-26 June 2015, Society for Philosophy of Science in Practice Fifth Biennial Conference (SPSP 2015), Aarhus, Denmark (deadline: 5 January 2015)

    The Society for Philosophy of Science in Practice (SPSP) is an interdisciplinary community of scholars who approach the philosophy of science with a focus on scientific practice and the practical uses of scientific knowledge. The SPSP conferences provide a broad forum for scholars committed to making detailed and systematic studies of scientific practices - neither dismissing concerns about truth and rationality, nor ignoring contextual and pragmatic factors. The conferences aim at cutting through traditional disciplinary barriers and developing novel approaches.

    Keynote speakers will include: Marcel Boumans (Eramus University of Rotterdam), Nancy J. Nerssessian (Georgia Institute of Technology), Hans-Jörg Rheinberger (Max Planck Institute for the History of Science), and Léna Soler (University of Paris-I). There will be a pre-conference workshop on teaching philosophy of science to scientists to be held at Aarhus University, Aarhus on 23 June, as well as a pre-conference casual social event that evening.

    We welcome contributions from not only philosophers of science, but also philosophers working in epistemology and ethics, as well as the philosophy of engineering, technology, medicine, agriculture, and other practical fields. Additionally, we welcome contributions from historians and sociologists of science, pure and applied scientists, and any others with an interest in philosophical questions regarding scientific practice. We welcome both proposals for individual papers, and also strongly encourage proposals for whole, thematic sessions with coordinated papers, particularly those which include multiple disciplinary perspectives and/or input from scientific practitioners. Abstract Submission Deadline: 5 January 2015.

    For more information on local arrangements and updates on the conference, please see http://spsp2015.au.dk/, or contact Sabina Leonelli, S.Leonelli at exeter.ac.uk.

  • 1-4 June 2015, 4th International Congress on Tools for Teaching Logic, Rennes, France (deadline: 18 January 2015)

    The organizing committee invites you to take part in the Fourth International Congress on Tools for Teaching Logic, which will be held in Rennes on June 1-4, 2015. There will be lectures, discussion sessions, round tables and software demonstrations. You are kindly invited to take active part in discussion sessions and to exhibit your teaching or professional software.

    We invite submission on all aspects of teaching logics. Submission deadline is 18th January 2015.

    For more information, see http://ttl2015.irisa.fr/

  • 29 Jun - 3 Jul 2015, Computability in Europe 2015 (CiE 2015), Bucharest, Romania (deadline: 31 January 2015)

    CiE 2015 is the 11-th 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.

    Evolution of the universe, and us within it, invite a parallel evolution in understanding. The CiE agenda - fundamental and engaged - targets the extracting and developing of computational models basic to current challenges. From the origins of life, to the understanding of human mentality, to the characterising of quantum randomness - computability theoretic questions arise in many guises. The CiE community, this coming year meeting for the first time in Bucharest, carries forward the search for coherence, depth and new thinking across this rich and vital field of research.

    In line with other conferences in this series, CiE 2015 has a broad scope and provides a forum for the discussion of theoretical and practical issues in Computability with an emphasis on new paradigms of computation and the development of their mathematical theory. The Programme Committee invites all researchers in the area of the conference to submit their papers for presentation at CiE 2015. We particularly invite papers that build bridges between different parts of the research community. Submission deadline: TBA.

    For more information, see http://fmi.unibuc.ro/CiE2015/

  • CfP special issue of Journal of Logic and Analysis on "Continuity, Computability, Constructivity" (deadline: 31 January 2015)

    After a further year of successful work in the EU-IRSES project COMPUTAL and an excellent workshop in Ljubljana (Slovenia) in September this year, we are planning to publish a collection of papers dedicated to the meeting and the project in the Journal of Logic and Analysis.

    The issue should reflect progress made in Computable Analysis and related areas, not only work in the project. Submissions are welcome from all scientists and should be on topics in the spectrum from logic to algorithms. Deadline for Submission: 31 January 2015.

    For more information, see http://computal.uni-trier.de/ and http://logicandanalysis.org/.

  • 26-28 May 2015, Sixth Workshop on Computational Models of Narrative (CMN'15), Atlanta GA, U.S.A. (deadline: 2 February 2015)

    Narrative provides a framing structure for understanding, communicating, influencing, and organizing human experience. Systems for its analysis and production are increasingly found embedded in devices and processes, influencing decision-making in venues as diverse as politics, economics, intelligence, and cultural production. The aim of this workshop series is to address the technical implementation of narrative systems, the theoretical bases of these frameworks, and our general understanding of narrative at multiple levels: from the psychological and cognitive impact of narratives to our ability to model narrative responses computationally.

    This year's workshop is associated with the Third Annual Conference on Advances in Cognitive Systems (ACS), and will have a special focus on the building cognitive systems that are distinguished by a focus on high-level cognition and decision making, reliance on rich, structured representations, a systems-level perspective, use of heuristics to handle complexity, and incorporation of insights about human thinking, meaning we especially welcome papers relevant to the cognitive aspects of narrative.

    This workshop .

    This inter-disciplinary workshop will be an appropriate venue for papers addressing fundamental topics and questions regarding narrative. Regardless of its topic, reported work should provide some sort of insight of use to computational modeling of narratives. Discussing technological applications or motivations is not prohibited, but is not required. We accept both finished research and more tentative exploratory work. Submission deadline is February 2nd, 2015.

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

  • 31 January - 7 February 2015, Winter School in Abstract Analysis (Set Theory and Topology), Hejnice, Czech Republic (deadline: 7 February 2015)

    The Winter School is a traditional conference for mathematicians working in diverse areas of Set Theory, Topology and Analysis. The school is a meeting where emphasis is put on the joy of doing mathematics. Questions and discussions are welcome and there is plenty of space for them outside of the talks. It is also open to advanced masters students as well as PhD students who are most welcome to not only participate but to also present their work.

    The program is split into a tutorial part and a research part. The tutorial part will consist of a series of lectures delivered by the invited speakers. The tutorials are meant to be accessible to students and non-experts. Tutorial speakers for this year are: Claude Laflamme, David Milovich, Justin T. Moore and Andrzej Roslanowski. The research part will consist of presentations of research papers/problems from the area of Set Theory, Set-Theoretic Topology and related fields.

    Deadline for registration: December 31st (December 11th to apply for a fee waiver). To get more information about the conference, about the financial support and to register please visit our web page http://www.winterschool.eu/.

  • CfP special issue of Topoi on "Epistemic modals and the epistemology of modality" (deadline: 15 March 2015)

    Topoi: An international Review of Philosophy, is planning to devote a special issue to Epistemic Modals and the Epistemology of Modality, which will be edited by Berit Brogaard (University of Miami) and Dimitria Electra Gatzia (University of Akron).

    Papers must be in English and should not exceed 8,000 words, though there is no minimum length. Each submission should also include a title page containing contact details, a brief abstract and list of keywords for indexing purposes. All submissions for this issue should be made through Topoi Editorial Manager (http://www.editorialmanager.com/topo/default.asp). Select 'S.I.: Epistemic modals (Brogaard/Gatzia)' as Article Type.

    The deadline for the initial submission is March 15, 2015. Accepted papers will be published in 2016. For more information, see http://www.springer.com/philosophy/journal/11245 or email Dimitria E. Gatzia at dg29 at uakron.edu.

  • 28-31 October 2015, The Fifth International Conference on Logic, Rationality and Interaction (LORI-V), Taipei, Taiwan (deadline: 18 May 2015)

    The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related fields that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of an East-Asian community of interdisciplinary researchers.

    We invite submission of contributed papers on any of the broad themes of the LORI series, Please submit your paper by May 18, 2015.

    For detailed conference information and registration, please visit the website of LORI-V at https://www.yoursaas.cc/websites/36224472513387025486/. All inquiries concerning the submission of papers should be addressed to Wiebe van der Hoek (wiebe at liverpool.ac.uk) and Wesley Holliday (wesholliday at berkeley.edu). For questions concerning conference details, please contact conferenceonlogic at gmail.

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.

  • 23-24 October 2014, Lindström Lectures

    Speakers: Joan Moschovakis & Yiannis Moschovakis
    Location: University of Gothenburg, Sweden

    The Department of Philosophy, Linguistics and Theory of Science (FLOV) at the University of Gothenburg launched an annual lecture series last year to celebrate the singular achievements of Per (Pelle) Lindström, former Professor of Logic at the department. The Lindström Lecture series was inaugurated last year by Wilfrid Hodges.

    We are pleased to announce that this year's Lindström Lectures will be delivered by Joan Moschovakis and Yiannis Moschovakis October 23 - 24, 2014. The Public Lectures will be delivered on October 23 (15:15--18:00), and the Research Lectures will be delivered on October 24 (13:15--17:15).

    You can access the latest information (as well as the link for last year's lectures) on the homepage for the Lindström Lectures below:
    http://www.flov.gu.se/english/research/logic/lindstrom-lectures/. For more information, please contact ali.enayat at gu.se

  • 23-24 October 2014, Ninth Annual Meeting of the Chicago Colloquium on Digital Humanities and Computer (Science DHCS 2014), Evanston IL, U.S.A.

    The DHCS Colloquium has been a lively regional conference (with non-trivial bi-coastal and overseas sprinkling), rotating since 2006 among the University of Chicago (where it began), DePaul, IIT, Loyola, and Northwestern. This year's colloquium will partly overlap and share some programming with the annual members meeting and conference of the Text Encoding Initiative, which will be hosted by Northwestern University, October 22-24.

    For more information, see http://dhcs.northwestern.edu/

  • 24 October 2014, Workshop "Inconsistencies in Scientific Reasoning", Gent, Belgium

    "Inconsistencies in Scientific Reasoning" is a one day workshop organized by the Centre for Logic and Philosophy of Science (CLPS) at Ghent University (http://logica.ugent.be/centrum). The workshop aims at exploring two closely related issues. First, the descriptive question, how frequent and how significant inconsistencies in scientific reasoning are. This gives rise to the second question, what normative conclusions we can draw from such historical analyses. The latter issue concerns the methodological standards of scientific inquiry, as well as the question whether classical logic is sufficient for the explication of scientific reasoning, or whether specific non-classical logics are needed to this end.

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

  • 24-25 October 2014, Inductive Logic and Confirmation in Science II, Salt Lake City UT, U.S.A.

    This workshop is addressed to all researchers (early and not so early career) who have an interest in inductive logic and confirmation theory as they relate to science and the philosophy of science. PhD students are particularly encouraged to participate. The workshop is free and open to anyone. If you plan to attend, please register by simply dropping an email to the organizers with your name and affiliation.

    For more information, see http://jonahschupbach.com/ILCS/

  • 27-30 October 2014, 1st ESSENCE Autumn School, Ischia, Italy

    The School offers an interdisciplinary programme of lectures and tutorials from experts in various areas of Artificial Intelligence and linguistics that study evolving and negotiated meaning in natural and artificial systems, including knowledge representation and ontologies, multiagent systems, language evolution, dialogue systems.

    The registration deadline is 5 October 2014. For more information, see https://www.essence-network.com/essence-events/autumnschool/

  • 29-30 October 2014, International Colloquium "The Philosophers and Mathematics", Lisbon, Portugal

    The Philosophers and Mathematics is an international colloquium organised by Hassan Tahiri, Center for the Philosophy of Science of the University of Lisbon, that takes place on 29th and 30th October 2014, at the Faculty of Sciences of the University of Lisbon, under the FCT research project "Argumentation and scientific change. A case study of how Ibn al-Haytham al-Shukuk changed the course of Astronomy forever". The Colloquium is organised in honour of Prof. Roshdi Rashed.

    For more information, see http://philosophersandmathematics.wordpress.com/ or contact cdlisboa at fc.ul.pt.

  • 31 October 2014, ILLC Current Affairs Meeting, F1.21, ILLC Common room, Science Park 107, Amsterdam

    Date and time: Friday 31 October 2014, 16:00-17.30

    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, contact illc at uva.nl

  • 3-4 November 2014, Amsterdam Workshop on Set Theory: Generalized Baire Space (AST 2014), Amsterdam, The Netherlands

    The Amsterdam Set Theory Workshop 2014 is organized by the Institute for Logic, Language and Computation (ILLC) and the logic group of the University of Hamburg with the aim to provide the platform for exchange for the researchers active in the field of the set theory of the generalized Baire space. The two days of the workshop will consist of three tutorials, several contributed talks and discussion sessions. One of the outputs of this meeting is a planned paper consisting of the open problems in the generalized Baire space.

    The workshop includes tutorals by Jouko Väänänen (Helsinki & Amsterdam), Philipp Schlicht (Bonn) and Andrew Brooke-Taylor (Bristol).

    For more information, see http://www.math.uni-hamburg.de/spag/ml/AST2014/

  • 3-5 November 2014, European Conference on Social Intelligence (ECSI-2014), Barcelona, Spain

    Social intelligence is a general term at the intersection between different disciplines including philosophy, social science - sociology, economics, legal science, etc. - and computer science. Broadly speaking, social intelligence is the capacity to understand others and to act rationally and emotionally in relations with others. This is an ability that not only human but also artificial agents have, as modelled in artificial intelligence and agent-based research in particular.

    The aim of the European Network for Social Intelligence (SINTELNET, 2011-2014) is to help build a shared perspective at the intersection of the above fields, to identify challenges and opportunities for cross-disciplinary collaboration, to provide guidelines for research and policy-making and to kindle partnerships among participants. The aim of the European Conference on Social Intelligence is to provide a productive meeting ground for researchers from the above fields

    For more information, see http://ecsi.sintelnet.eu

  • 7-8 November 2014, Canadian Society for Epistemology International Symposium "Epistemic Reasons" (CSE 2014), Sherbrooke QC, Canada

    Epistemic reasons ground belief: in a factual sense they are actual grounds for belief, and in a normative sense they are good grounds for belief. This year's symposium will be devoted to exploring the concept of epistemic reasons, whether factual or normative. Specific topics of presentation may include the relevance of practical interests and affective states to epistemic reasons, psychologism about epistemic reasons and its competitors, epistemic reasons in foundationalist, coherentist, and externalist frameworks, a priori epistemic reasons, epistemic reasons and testimonial knowledge, and the role of epistemic reasons in automatic vs. deliberative cognitive processes.

    For more information, visit the Symposium's website at http://sce-cse.recherche.usherbrooke.ca or write to Yves Bouchard (yves.bouchard at usherbrooke.ca) or David Matheson (david_matheson at carleton.ca).

  • 8-9 November 2014, 8th Annual Arché Graduate Conference, St. Andrews, Scotland

    Arché, the Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology, is hosting the 8th Annual Arché Graduate Conference at the University of St Andrews in November 2014. The conference will feature Keynote Speakers Penelope Mackie (Nottingham) and Ian Rumfitt (Birmingham), as well as a Symposium on Conceptual Engineering by Herman Cappelen and Patrick Greenough (Arché, St Andrews).

    For any further enquiries, email archegradconf at gmail.com or visit http://www.st-andrews.ac.uk/arche/acgc/.

  • 10-14 November 2014, Workshop "Logics for Social Behaviour", Leiden, The Netherlands

    This workshop is aimed at starting new scientific collaborations between (a) mathematical logicians using algebraic, topological and category-theoretic methods for nonclassical logics, and (b) researchers in social choice and judgment aggregation interested in applying logical methods.

    While researchers in group (a) are mostly unfamiliar with social choice as a potential field of application of their specific results and techniques, researchers in group (b) have mostly been exposed to only a fragment of the available logical formalisms and techniques, namely to those pertaining to classical logic and model theory, and have largely not been exposed to the results and techniques in the area of group (a). The many possibilities for applying nonclassical logics and their surrounding mathematical theory (duality theory, algebraic, topological, and category-theoretic methods) to social choice and judgment aggregation form an uncharted research territory which the workshop aims at exploring.

    Towards this goal, rather than displaying the standard organization, the present workshop is structured around three types of activities: tutorial sessions, discussion sessions and work sessions.

    There is a limited number of places still available. If you are interested in participating in the workshop, please contact one of the organizers preferably no later than June 10, 2014. For more information, see http://www.lorentzcenter.nl/lc/web/2014/650/info.php3?wsid=650&venue=Oort.

  • 19-23 November 2014, 56th Students' Conference on Linguistics (StuTS 56), University of Hamburg, Germany

    Costs: 30 Euro

    The 'StUTS' is a biannually held Conference organized by and for students at different universities. Every semester, there are about 150 participants from various universities and colleges from all over Europe - anyone interested in linguistics can join.

    The programme consists mainly of student talks - anyone (who wants to) is given the possibility to present their own project, research or paper, or give a language tutorial. Usually, a variety of different linguistic disciplines are present. Furthermore, there will be intriguing keynote presentations by professors from Hamburg University, and of course there will be time for some fun free-time activities, to get to know each other and also the beautiful city.

    First and foremost, the conference offers the possibility to gather some experience in giving a scientific talk, to present and discuss your own ideas with interested peers, to get to know other related fields of linguistic research and to develop creative new approaches for the future.

    For more information, see http://stuts56.wordpress.com and http://www.stuts.de/stuts/international.

  • 20-21 November 2014, Synthese Conference on Qualitative and Quantitative Methods in Formal Epistemology

    Location: The 'Nina van Leerzaal', The Allard Pierson Museum, Oude Turfmarkt 127, Amsterdam
    Costs: none (registration necessary!!)

    The goal of this meeting is to bring together researchers using formal methods in epistemology, methods ranging from logic to probability theory. We create a forum to present new developments, exchange ideas, explore and establish new connections between the use of qualitative and quantitative methods in formal philosophy.

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

  • 22-24 November 2014, Logic and Engineering of Natural Language Semantics (LENSL 11), Kanagawa, Japan

    LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the Sixth JSAI International Symposia on AI (isAI2014) sponsored by the Japan Society for Artificial Intelligence (JSAI).

    Invited Speaker(s): Chris Barker (New York University), Kimiko Nakanishi (Ochanomizu University) Christopher Tancredi (Keio University) and Matthew Stone (Rutgers University) (TBC). This year the workshop will include a student session.

    For more information, see http://www.is.ocha.ac.jp/~bekki/lenls/

  • 24-26 November 2014, Workshop on Correlated Information Change

    Location: Doelenzaal, University Library, Singel 425, Amsterdam
    Costs: none (registration necessary!!)

    Via this workshop, we are creating a forum to present new developments, exchange ideas, explore and establish new connections between different areas that have already developed techniques to model correlated information change in a multi-agent context. The types of correlated information change that we are interested in, covers a list of phenomena studied in a number of areas such as: Game Theory, Logic, Belief Revision Theory, Formal Epistemology, Social Science, Formal Learning Theory, AI (Multi-agent Systems) and the Foundations of Quantum Physics.

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

  • 24-25 November 2014, The 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014), Linköping, Sweden

    In recent years, research in contextual knowledge representation and reasoning became more relevant in the areas of Semantic Web, Linked Open Data, and Ambient Intelligence, where knowledge is not considered a monolithic and static asset, but it is distributed in a network of interconnected heterogeneous and evolving knowledge resources. Amounts of data of ever increasing scale are now handled and processed. The ARCOE-Logic workshop aims to provide a dedicated forum for the researchers to discuss recent developments, important open issues and future directions in the area of contextual knowledge representation and knowledge management.

    ARCOE-Logic 2014 is held in conjunction with The 19th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2014).

    For more information, see http://www.arcoe.org/2014/.

  • 24-25 November 2014, Analogical Reasoning East & West (AREW), Heidelberg, Germany

    AREW is a two-day workshop aimed at bringing together people working in the area of analogical reasoning, broadly speaking. The invited speakers are two people working on formal aspects of analogical reasoning, including issues of the logical representation of analogical reasoning and formal models of the same, and applications of analogical reasoning, particularly with reference to such applications in history.

    Further information about the workshop can be found at https://analogicalreasoning.wordpress.com.

  • 28 November 2014, Event organized on the occasion of the retirement of Krzysztof R. Apt

    Location: CWI, Turing room, Science Park 123, Amsterdam

    We cordially invite you to attend this event organized on the occasion of the retirement of Krzysztof R. Apt. All the speakers will be under the age of 30.

    The details can be found at https://www.cwi.nl/events/krzysztof-apt. To attend this event please register at https://www.cwi.nl/node/4720 in connection with reception planning.

  • 29-30 November 2014, 2014 Annual Meeting of the Australasian Association of Logic (AAL 2014), Christchurch, New Zealand

    The 2014 annual meeting of the Australasian Association of Logic will be held just prior to the 2014 New Zealand Association of Philosophers Conference.

    Please register by November 3. For more information, see http://aal.ltumathstats.com/ or contact zach.weber at otago.ac.nz.

  • 11-13 December 2014, Agent-based modeling in philosophy, Munich, Germany

    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.

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

  • 10-12 December 2014, 13th Symposium of the Italian Association for Artificial Intelligence (AI*IA 2014), Pisa, Italy

    The symposium of the Italian Association for Artificial Intelligence (AI*IA) is a traditional two-yearly meeting of researchers working on theory and applications in Artificial Intelligence. The XIII symposium will be hosted by the Department of Computer Science at the University of Pisa.

    AI*IA 2014 will be centred on thematic workshops, tutorials, panels, doctoral consortium, demo session, plenary sessions with invited speaker seminars, and a special track on the theme Artificial Intelligence for Society and Economy. We hope that the 2014 meeting will strengthen awareness that AI is assuming a central role in the competitive strategies of the present scenario of rapid changes.

    The AI*IA Doctoral Consortium on December 11th is a full-immersion occasion, for Ph.D. students, to discuss their ongoing research work, establish research connections with peer researchers, and receive first-class mentorship from domain experts.

    For more information, see http://aiia2014.di.unipi.it/

  • 15-17 December 2014, The 25th International Symposium on Algorithms and Computation (ISAAC 2014), Jeonju, Korea

    The 25th International Symposium on Algorithms and Computation (ISAAC 2014) will be held in Jeonju, Korea during December 15-17, 2014. The symposium is intended to provide a forum for researchers working in algorithms and theory of computation. Papers presenting original research in the areas of algorithms and theory of computation are sought. Papers in relevant applied areas are also welcomed.

    For more information, see http://tcs.postech.ac.kr/isaac2014/

  • 17-19 December 2014, Workshop "Vagueness via Nonclassical Logics", Sydney, Australia

    There is widespread agreement that adequate models of the semantics of vague language and of reasoning with vague information cannot be developed within the confines of classical logic. There is less agreement over which nonclassical logic is best suited for handling vagueness and indeed over whether just one logical framework is sufficient to accommodate all vagueness related phenomena. This workshop will bring together researchers working on these issues in philosophy, logic, mathematics and computer science–with special (but not exclusive) focus on approaches that appeal to degrees of truth and fuzzy logics.

    Further information can be found at http://sydney.edu.au/arts/philosophy/research/conferences.shtml#vagueness

  • 18-19 December 2014, 12th European Workshop on Multi-Agent Systems (EUMAS 2014), Prague, Czech Republic

    In the last two decades, we have seen a significant increase of interest in agent-based computing. This field is now set to become one of the key technologies in the 21st century. The aim of this 12th European Conference on Multi-Agent Systems is to encourage and support activity in the research and development of multi-agent systems, in academic and industrial efforts. This conference is primarily intended as a European forum at which researchers, and those interested in activities relating to research in the area of autonomous agents and multi-agent systems, could meet, present (potentially preliminary) research results, problems, and issues in an open and informal but academic environment.

    EUMAS 2014 is a designated event of the European Association of Multi-Agent Systems (EURAMAS). To attract students as well as experienced researchers, preliminary as well as mature work, EUMAS 2014 offers three submission types and formal proceedings as well as post-proceedings in form of a journal special issue are planned.

    For more information, see http://agents.fel.cvut.cz/eumas2014/, or email the organizers, Jiri Vokrinek (jiri.vokrinek at fel.cvut.cz) and Michal Jakob (jakob at agents.fel.cvut.cz).

  • 5-8 January 2015, Fourteenth Asian Logic Conference (ALC 2015), Mumbai, India

    The Asian Logic Conference series is sponsored by the Association for Symbolic Logic and the meetings are major international events in mathematical logic. The series features the latest scientific developments in the fields in mathematical logic and applications, logic in computer science, and philosophical logics. It also aims at promoting activities of mathematical logic in the Asia-Pacific region and bringing logicians both from within Asia and elsewhere together to exchange information and ideas.

    The programme will cover a wide range of topics and will feature plenary lectures presented by leading specialists in every major area of mathematical logic. In addition there will be many contributed talks. The conference topics include, but are not limited to: Set Theory; Model theory; Recursion Theory; Proof theory; Computability Theory; Algebraic Structures; Logical Aspects of Computation; Philosophical Logic.

    Conference page: http://www.cse.iitb.ac.in/~alc15/index.html

  • 8-10 January 2015, 6th Indian Conference on Logic and its Applications (ICLA 2015), Mumbai, India

    ALI, the Association for Logic in India, announces the sixth edition of its biennial International Conference on Logic and its Applications (ICLA), to be held at the Indian Institute of Technology, Bombay, from January 8 to 10, 2015. ICLA 2015 will be co-located with the 14th Asian Logic Conference to be held during January 5-8, 2015.

    ICLA is a forum for bringing together researchers from a wide variety of fields that formal logic plays a significant role in, along with mathematicians, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition, and historical research on logic.

    For more information, see http://www.cse.iitb.ac.in/~icla15/. Any further queries related to the conference may be sent to the following email address: icla15 at cse.iitb.ac.in.

  • 12-13 January 2015, Symposium on the Foundations of Mathematics: Competing Foundations (SOTFOM II) , London, U.K.

    The focus of this conference is on different approaches to the foundations of mathematics. The interaction between set-theoretic and category-theoretic foundations has had significant philosophical impact, and represents a shift in attitudes towards the philosophy of mathematics. This conference will bring together leading scholars in these areas to showcase contemporary philosophical research on different approaches to the foundations of mathematics.

    To accomplish this, the conference has the following general aims and objectives. First, to bring to a wider philosophical audience the different approaches that one can take to the foundations of mathematics. Second, to elucidate the pressing issues of meaning and truth that turn on these different approaches. And third, to address philosophical questions concerning the need for a foundation of mathematics, and whether or not either of these approaches can provide the necessary foundation.

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

  • 17-18 January 2015, 8th Annual Cambridge Graduate Conference on the Philosophy of Mathematics and Logic, Cambridge, England

    Keynote Speakers this year are Prof Alan Weir (Glasgow) & Mary Leng (York).

    The conference website may be found at http://www.phil.cam.ac.uk/events/camb-grad-conf-2015. For any further information, please see http://www.illc.uva.nl/NewsandEvents/Events/newsitem.php?id=5928 or contact the conference organisers, Fiona Doherty and Fredrik Nyseth at cam.phil.grad.conf at googlemail.com.

  • 18-22 January 2015, Winterschool on practical quantum communications, Les Diablerets in the Swiss Alps

    Costs: 3480 EUR

    This program will deal with quantum cryptography, quantum computing and quantum repeaters. The goal of this event is to introduce this exciting topic in a relaxed and stimulating atmosphere to a general audience of physicists and computer scientists with little or no background in practical quantum communications. Special emphasis will be placed on practical aspects of quantum communications, such as the implementation of quantum key distribution systems and quantum repeaters, as well as concrete steps towards a quantum computer. The emerging applications of these promising technologies will also be discussed.

    For more information, see http://www.idquantique.com/instrumentation/training.html

  • 27-31 January 2015, 1st Indian Winter School on Diagrams, Kolkata, India

    The 1st Indian Winter School on Diagrams aims to bring together graduate students and early career researchers, from all over the world, with interests in diagrams research. Participation from all researchers, regardless of career stage, is welcomed. The week-long school will provide accessible courses on the state-of-the-art in diagrams research, covering two main themes: diagrammatic logics alongside philosophical and historical developments. Courses will be delivered by internationally renowned experts to small groups of delegates and will have an emphasis on interactivity.

    The School aims to enable delegates to begin research into diagrams by introducing them to current research and through thought-provoking exchanges and discussions. The experienced facilitators will tease out research questions that are appropriate for early-stage researchers to tackle, providing a starting point for a research career in diagrammatic reasoning. Delegates will be encouraged to identify collaboration opportunities both with other delegates and the course facilitators. It is expected that delegates who attend the winter school will become equipped to identify research questions in the diagrams field and be knowledgeable of current research endeavours. The School will also include one-on-one discussion sessions where delegates can meet with the expert facilitators to identify suitable research contributions that match their skills and interests.

    Details on the courses running, their scope and any required prerequisite knowledge can be found here: https://sites.google.com/site/winterschoolondiagrams/winter-school-program.

  • 27-31 January 2015, 1st Indian Winter School on Diagrams, Kolkata, India

    The 1st Indian Winter School on Diagrams aims to bring together graduate students and early career researchers, from all over the world, with interests in diagrams research. Participation from all researchers, regardless of career stage, is welcomed. The week-long school will provide accessible courses on the state-of-the-art in diagrams research, covering two main themes: diagrammatic logics alongside philosophical and historical developments. Courses will be delivered by internationally renowned experts to small groups of delegates and will have an emphasis on interactivity.

    The School aims to enable delegates to begin research into diagrams by introducing them to current research and through thought-provoking exchanges and discussions. The experienced facilitators will tease out research questions that are appropriate for early-stage researchers to tackle, providing a starting point for a research career in diagrammatic reasoning. Delegates will be encouraged to identify collaboration opportunities both with other delegates and the course facilitators.

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

  • 15-19 February 2015, 5th Bar-Ilan Winter School on Cryptography: Advances in Practical Multiparty Computation, Tel Aviv, Israel

    Costs: free (registration required)

    In the setting of secure multiparty computation, two or more parties with private inputs wish to compute some joint function of their inputs. The security requirements of such a computation are privacy (meaning that the parties learn the output and nothing more), correctness (meaning that the output is correctly distributed), independence of inputs, and more. This setting encompasses computations as simple as coin-tossing and agreement, and as complex as electronic voting, electronic auctions, electronic cash schemes, anonymous transactions, and private information retrieval schemes. Due to its generality, secure computation is a central tool in cryptography.

    The aim of the school is to start from the basics, and teach the material needed to bring the participants up to date with the latest results in this exciting field. The school program includes approximately 27 hours of lectures and a half-day excursion to Jerusalem. The last day of the school will be a mini-workshop where latest results will be presented.

    The target audience for the school is graduate students and postdocs in cryptography (we will assume that participants have taken at least one university-level course in cryptography). However, all faculty, undergrads and professionals with the necessary background are welcome. The winter school is open to participants from all over the world; all talks will be in English.

    Participation is free, but registration is required. Please register by December 30, 2014. For more information, see http://crypto.2bwebsite.co.il/5th-biu-winter-school

  • 25-27 February 2015, Reasoning, Argumentation and Critical Thinking Instruction (RACT2015), Lund, Sweden

    RACT2015 brings together international experts from fields as diverse as education, philosophy, speech communication, psychology, mathematics, and rhetoric, among others. The main purpose is to assess the state of the art in research on reasoning and argumentation that can play a load-bearing role in the development of cutting-edge critical thinking instruction, both as dedicated courses and across the curriculum.

    For more information, see http://ract2015.wordpress.com

  • 2-6 March 2015, 9th International Conference on Language and Automata Theory and Applications (LATA 2015), Nice, Spain

    LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in Tarragona since 2002, LATA 2015 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas. LATA 2014 will consist of invited talks and and peer-reviewed contributions

    For more information, see http://grammars.grlmc.com/lata2015/ or contact florentinalilica.voicu at urv.cat

  • 4-7 March 2015, 32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015), Garching, Germany

    The scope of the conference includes algorithms and data structures, automata and formal languages, computational complexity, and logic in computer science, ass well as current challenges such as natural computing, quantum computing and mobile and net computing. The conference features invited speakers Sanjeev Arora (CS, Princeton), Manuel Bodirsky (CNRS, LIX, Palaiseau) and Peter Sanders (KIT, Karlsruhe), as well as tutorials on Computational Social Choice (by Felix Brandt, TUM, Munich) and Algorithmic Game Theory (TBA).

    For more information, see http://www14.in.tum.de/STACS2015 or email pc-chairs-stacs2015 at easychair.org (for information regarding paper submission).

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

  • 17-19 April 2015, Conference in honour of Hugh Woodin's 60th birthday, Cambridge MA, U.S.A.

    A conference in honor of Hugh Woodin's 60th birthday will be held at Harvard University on April 17-19, 2015.

    The speakers for the meeting will be Garth Dales, Qi Feng, Matt Foreman, Alexander Kechris, Menachem Magidor, Donald Martin, Grigor Sargsyan, Ted Slaman and John Steel.

    There is a conference website at:http://logic.harvard.edu/woodin_meeting.html Information will be added there as it becomes available. We would like to keep a head count of those planning to attend, so if you are planning to do so, please let us know at woodinbirthdayconference at gmail.com.

  • 20-22 April 2015, Artificial Intelligence and Simulation of Behaviour (AISB) Convention 2015, Canterbury, U.K.

    The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 51st Convention will be held at the University of Kent, Canterbury, UK, from 20-22nd April 2015.

    The convention is structured as a number of co-located symposia, together with a number of plenary talks and events. A symposium lasts for one or two days, and can include any type of event of academic benefit: talks, posters, panels, discussions, debates, demonstrations, outreach sessions, exhibits, etc. Each symposium is organised by its own programme committee.

    For more information, see http://www.cs.kent.ac.uk/events/2015/AISB2015/. or contact C.G.Johnson at kent.ac.uk.

  • 8-19 June 2015, Second EPICENTER Spring Course in Epistemic Game Theory, Maastricht University, The Netherlands

    Epistemic game theory is a modern and blooming approach to game theory where the reasoning of people is at center stage. More precisely, it investigates the beliefs that people form – about the opponents' choices, but also about the opponents' beliefs – before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

    For more information about the course, together with a full program of the course, please visit our course website: http://www.epicenter.name/springcourse/

  • 9-12 June 2015, 1st European Conference on Argumentation (ECA 2015), Lisbon, Portugal

    The European Conference on Argumentation (ECA) is a new pan-European initiative aiming to consolidate and advance various streaks of research into argumentation and reasoning: from philosophical, linguistic, discourse analytic, cognitive, to computational approaches. The chief goal of the initiative is to organize on a regular basis a major conference on argumentation. The first of these conferences will be hosted in Lisbon by the ArgLab, Institute of Philosophy (IFILNOVA), Universidade Nova de Lisboa.

    The primary idea behind this first edition of the conference is that argumentation and reasoning are the main vehicles for our decisions and actions. They accompany, indeed constitute, a variety of significant social practices: from individual practical reasoning, small group decisions, deliberations of official bodies in various institutional contexts, to large-scale political and social deliberations. Argumentation is understood here as a mode of action - and not just any action, but a reasoned action, comprised of consideration of reasons (whether they are good or bad). Traditionally, argumentation has been assigned many distinct functions: epistemic, moral, conversational, etc. The aim of the conference is to explore how these functions are interrelated with the practical need for deciding on a course of action. Simply put, our chief concern is with the role argumentation and reasoning play when the question of 'what to do?' is addressed.

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

  • 15 - 26 June 2015, Topology, Algebra and Categories in Logic (TACL 2015), Salerno / Ischia Island (Italy)

    Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterised by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2015 will focus on three interconnecting mathematical themes central to the semantic study of logics and their applications: algebraic, categorical, and topological methods. This is the seventh conference in the series Topology, Algebra, and Categories in Logic (TACL).

    Starting from 2013, the conference TACL -Topology, Algebra, and Categories in Logic- is preceded by a one-week school. In 2015 the school will be held at the campus of the University of Salerno and will include four tutorials, each consisting of 1.5 hour lectures for five days.

    For more information, see http://logica.dmi.unisa.it/tacl/home-page/, or contact the local Organising Committee at tacl2015oc at gmail.com or the Programme Committee at tacl2015ed at gmail.com.

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

    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.esslli2015.org/ or email A.Jung at cs.bham.ac.uk.

        Back to top of page