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: 21 July 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 Annals of Mathematics and Artificial Intelligence on "Mathematical Theories of Natural Language Processing" (deadline: 31 July 2014)

    Since the 1990s, the practice of natural language processing (NLP) has gradually shifted from logic-based symbol manipulation systems first to purely statistical, and more recently to hybrid systems that combine structural and statistical methods. The mathematical theory of hybrid NLP is still not fully mature, and the special issue will lend focus to this expanding research area by including papers from mathematicians, computer scientists, theoretical and computational linguists and AI researchers with an interest in its foundations.

    Subjects suitable for the special issue include, but are not limited to, NLP-related advances in
    - inductive learning
    - spectral techniques
    - formal grammars
    - commonsense reasoning
    - low-pass semantics
    - sparse models
    - LSTM, deep learning
    - compressed sensing
    - cvs/distributional theories

    Papers which were presented in January 2014 at the ISAIM special session on this topic are especially invited for submission, but other submissions not associated with ISAIM will be given equal consideration for publication. All papers will go through the standard refereeing process of the journal. The submission deadline is July 31 , 2014 . Papers should be submitted through the Springer website for the journal https://www.editorialmanager.com/amai choosing article type Special Issue S79: Mathematical Theories of NLP.

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

    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.

    Authors are invited to submit papers presenting original and unpublished research in any area of logic and applications. Deadline for Submission: 5 August 2014.

    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.

  • 8-9 November 2014, 8th Annual Arché Graduate Conference, St. Andrews, Scotland (deadline: 8 August 2014)

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

    We invite graduate students to submit high-quality papers. We welcome papers in the four main Arché research topics (Logic, Language, Metaphysics and Epistemology) broadly construed, as well as related areas. We especially encourage submissions from members of underrepresented groups in philosophy. Deadline for submissions: 8th August 2014.

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

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

    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.

    We invite submissions to this year's workshop on topics in formal syntax, semantics and pragmatics, and related fields. Abstract submission deadline: August 15, 2014.

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

  • 25-27 February 2015, Reasoning, Argumentation and Critical Thinking Instruction (RACT2015), Lund, Sweden (deadline: 30 August 2014)

    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.

    We invite up to 36 contributed papers, of which nine are reserved for Junior scholars, for presentation in a 50 minute slot, of which at least 20 minutes are reserved for discussion. Submission Deadline: 30 August 2014

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

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

    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

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submissions should have a forward-looking perspective that contributes to the objectives of the symposium. Challenging position papers are specially welcome. The technicality of the papers should take the mixed audience into consideration. Selection for the symposium and subsequent publication will be based on the possibility of fruitful discussions and the quality of the arguments put forward. Paper submission deadline: September 3, 2014.

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

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

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

    Authors are invited to submit papers presenting original and unpublished research on theoretical aspects of computer science. Submission deadline: Sep 21, 2014.

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

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

    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.

    EUMAS 2014 welcomes both original, unpublished papers, as well as papers that are under submission or have been published in a relevant conference, conference or journal. We specially invite submissions by students that we think will receive valuable feedback from the discussion-oriented focus of the conference. Preliminary student work is welcome; however it has to possess sufficient substance for serving as a discussion basis and therefore has to pass the review cycle in the same way as other work. Abstract submission deadline: September 26, 2014

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

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

    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.

    The Programme Committee and Organising Committee invite the following types of original submissions: individual long papers, individual regular papers, and thematic panels/symposia. All kinds of approaches to argumentation and reasoning are welcome. The deadline for all submissions is 1 October 2014.

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

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

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

  • 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

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

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.

  • 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

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

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

    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.

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

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

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

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

    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.

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

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

    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.

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

  • 28 July - 8 August 2014, Summer School on "Individuals and Indeterminacy", Bamberg (Germany)

    The University of Bamberg Philosophy Department together with the Forum Theoretical Philosophy will be hosting the second Summer School in Theoretical Philosophy. Our topic this year will be "Individuals and Indeterminacy. Perspectives in Contemporary Ontology" and we are looking forward to an excellent program with some of the world’s most distinguished scholars in the field. Kit Fine (NYU), Peter van Inwagen (Notre Dame), Peter Simons (Trinity College Dublin) and Gabriele De Anna (University of Bamberg) will present their current research and discuss their recent work with graduate students from all over the world.

    The deadline for applications is April 30, 2014. For more details and information on our summer school, please refer to http://www.summerschool-bamberg.de/.

  • 28 July 28 - 1 August 2014, UbiCrypt Summer School on Discrete Logs & Functional Encryption, Ruhr-University Bochum, Germany

    Costs: 100 Euro

    The UbiCrypt Summer School "crypt@b-it" offers the opportunity for interested Postdocs, PhD and Master students to learn more about current research questions on cryptography and cryptoanalysis. In cooperation with the Bonn-Aachen International Center for Information Technology we offer a diversed program with various talks and exercises.

    This year's invited speakers are:
    Gary McGuire (UCD Schol of Mathematical Sciences, Dublin) | Discrete Logs
    Hoeteck Wee (École normale supérieure Paris) | Functional Encryption

    For more information, see http://www.ubicrypt.hgi.rub.de/veranstaltungen/summerschool2014/

  • 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

  • 4-5 August 2014, Second workshop on Reasoning about other minds: Logical and cognitive perspectives, Groningen, The Netherlands

    This workshop aims to shed light on models of social reasoning that take into account realistic resource bounds. People reason about other people's mental states in order to understand and predict the others' behavior. This capability to reason about others' knowledge, beliefs and intentions is often referred to as 'theory of mind'. Idealized rational agents are capable of recursion in their social reasoning, and can reason about phenomena like common knowledge. Such idealized social reasoning has been modeled by modal logics such as epistemic logic and BDI (belief, goal, intention) logics. However, in real-world situations, many people seem to lose track of such recursive social reasoning after only a few levels. Cognitive scientists build computational models of social reasoning, for example, recently an "inverse planning" model based on Bayesian inference frameworks has proven successful in modeling human inferences about the goals and beliefs underlying other people's observed behavior.

    For more information, see http://www.ai.rug.nl/conf/reasoningminds2/.

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

    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.

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

  • 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-19 August 2014, 7th European Starting Artificial Intelligence Researcher Symposium (STAIRS-2014), Prague

    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.

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

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

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

    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.

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

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

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

    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

    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.

    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 .

  • 18-19 August 2014, 5th AISB Workshop on "Figurative language: its patterns and meanings in domain-specific discourse", Birmingham, U.K.

    Forms of figurative language such as metaphor and metonymy are key resources for communicating domain-specific information in an accessible way. Modelling such patterns of communication is a key aim of academic disciplines such as linguistics, discourse studies, and psycholinguistics, and understanding such phenomena is an emerging goal within Artificial Intelligence and the related field of Natural Language Processing. A particularly interesting current area of research is work on automatically generating as well as understanding metaphor, which are both emerging as important sites for addressing long-standing problems in linguistics, artificial intelligence, and cognitive science.

    To facilitate communication about such efforts, we are planning a two-day workshop on modelling the meanings and patterns of health and political conflict, where discourse in these domains typically gives rise to some of the richest and most figurative forms of human discourse. The workshop will take place at the University of Birmingham, and will be jointly organized through the University's Institute for Advanced Studies (IAS) as well as the Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB).

    For more information, see http://www.cs.bham.ac.uk/~gargetad/

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

    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.

    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.

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

  • 23-24 August 2014, Conference on Hypothetical Reasoning, Tuebingen, Germany

    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.

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

  • 25-27 August 2014, 9th Scandinavian Logic Symposium, Tampere, Finland

    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.

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

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

  • 28 August - 2 September 2014, Eighth European Conference on Analytic Philosophy (ECAP8), Bucharest, Romania

    ECAP-conferences are organized every three years by the /European Society for Analytic Philosophy/ (ESAP). The aim of these conferences is to establish contacts and encourage collaboration among European analytic philosophers.

    For more information, see http://www.esap.info/ecap8/

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

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

    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.

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

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

    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.

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

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

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

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

  • 4-6 September 2014, Colloquium Logicum 2014, Neubiberg/Munich (Germany)

    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.

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

  • 4-6 September 2014, Salzburg Conference for Young Analytic Philosophy (SOPhiA 2014), Salzburg, Austria

    SOPhiA 2014 aims at an opportunity for students and doctoral candidates in Philosophy to get in touch with prospective or well established philosophers and take a first peek into the philosophical business. Beside the conference presentations there also will be workshops on selected topics in analytic philosophy.

    Keynote Speakers: Elke Brendel, Winfried Loeffler, Jeanne Peijnenburg and Benjamin Schnieder

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

  • 6-8 September 2014, Semantic content workshop, Barcelona, Spain

    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.

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

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

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

    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.

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

  • 11-13 September 2014, Workshop on Modal Syllogistics, Lisbon, Portugal

    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.

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

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

  • 12 September 2014, Workshop "Predicate approaches to modality", Munich, Germany

    Predicate Approaches to modality are a viable alternative to the now standard operator approaches to modality. They allow for a uniform treatment of truth and the modal notions, are expressively rich and they fit in nicely with the relational analysis of propositional attitudes. The workshop is intended to further and foster research on predicate approaches to modality in philosophical and mathematical logic.

    For more information see http://www.mcmp.philosophie.uni-muenchen.de/events/workshops/container/pam2014/ or contact the organizers: Martin Fischer (M.Fischer at lrz.uni-muenchen.de) or Johannes Stern (Johannes.Stern at lrz.uni-muenchen.de).

  • 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

  • 15-19 September 2014, 2nd IAOA Summer School on Ontological Analysis, Vitoria, Brazil

    Four world-class experts in different disciplines (Philosophy, Knowledge Representation, Logics, Conceptual Modeling and Ontology Engineering) will meet for a week with students, researchers and practitioners and present courses in complementary aspects of Applied Ontology. The summer school will be a full immersion experience in ontology, and these experts will engage in open discussions with each other as well as interact with the participants.

    The school is open to students, researchers and practitioners. Registrations will be open soon, on a first-come first-served basis. We would like to highlight that the event will have a limited number of participants to ensure the quality of the interactions and the immersion experience.

    Visit the web site of the school for more information: http://iaoa.org/isc2014/.

  • 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

  • 18-19 September 2014, Workshop "Argumentation, Rationality and Decision", London, U.K.

    Recent decades have seen an explosion of research into formal argumentation theory within computer science, drawing on roots in philosophy and legal theory. The formalisms developed enable reasoning with incomplete and inconsistent information to reach decisions that are rational according to various criteria. However, this work has largely been conducted in isolation from the established mathematical decision sciences in microeconomic theory.

    The workshop will bring together philosophers, economists, computer scientists and psychologists to discuss areas of common interests and possible directions for research.

    For more information, see http://www.doc.ic.ac.uk/~rac101/ard/

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

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

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

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

  • 22-26 September 2014, Logic and Applications (LAP 2014), Dubrovnik, Croatia

    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.

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

  • 22 September 2014, 8th International Workshop on Applications of Semantic Technologies (AST 2014), Stuttgart, Germany

    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.

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

  • 23 September 2014, KIK Workshop on "Higher-level cognition and computation", Stuttgart, Germany

    This workshop, held in conjunction with KI 2014, aims at bringing together researchers from Artificial Intelligence, Automated Deduction, Computer Science, Cognitive Psychology, Philosophy, and related areas to foster a multi-disciplinary exchange between research in higher-level cognition and computation.

    Human higher-level cognition is a multi-faceted and complex area of thinking which includes the mental processes of reasoning, decision making, creativity, and learning among others. Logic, understood as a normative theory of thinking, has a widespread and pervasive effect on the foundations of cognitive science. However, human reasoning cannot be completely described by logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. Still, humans have an impressive ability to derive satisficing, acceptable conclusions. Generally, people employ both inductive and deductive reasoning to arrive at beliefs; but the same argument that is inductively strong or powerful may be deductively invalid. Therefore, a wide range of reasoning mechanism has to be considered, such as analogical or defeasible reasoning.

    For more information, see http://imodspace.iig.uni-freiburg.de/kik-ws/

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

    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.

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

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

  • 29 September 29 - 2 October 2014, Second International Wormshop on Proof Theory, Modal Logic and Reflection Principles, Mexico City

    Costs: Students and Postdocs $100/$130, others $160/$200 (early/late registration)

    The second edition of the conference series Proof Theory, Modal Logic and Reflection Principles (formerly Proof Theory and Modal Logic) will be held in Mexico City from September 29th to October 2nd 2014, following the first installment in Barcelona in 2012.

    A recent approach to proof theory uses techniques from modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert's programme. This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

    The programme will include both tutorials and presentations of new results. Talks will be sparsely scheduled in order to allow ample time for discussion and collaboration.

    For more information, see http://personal.us.es/dfduque/PMR/

  • 7-10 October 2014, The Eleventh International Conference on Concept Lattices and Their Applications (CLA 2014), Kosice, Slovakia

    CLA is an international conference dedicated to formal concept analysis (FCA) and areas closely related to FCA such as data mining, information retrieval, knowledge management, data and knowledge engineering, logic, algebra and lattice theory. CLA provides a forum for researchers, practitioners, and students. The program of CLA consists of invited plenary talks, regular talks, and poster sessions.

    For more information, see http://cla2014.ics.upjs.sk

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

    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.

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

  • 16-18 October 2014, The Making of the Humanities IV, Royal Netherlands Institute, Rome, Italy

    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.

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

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

    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.

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

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

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

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

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

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

  • 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