News and Events: Conferences

These pages provide information about recent developments at or relevant to the ILLC. 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.

You can also view this information as a calendar or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.

Sections

Headlines Calls for Paper

Headlines Upcoming conferences

Calls for Paper

  • 13 - 17 December 2021, Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021), Montpellier, France and Online

    Date & Time: 13 - 17 December 2021, 08:00-21:00
    Location: Montpellier, France and Online
    Target audience: researchers, academic people
    Costs: 20 Euro
    Deadline: Saturday 30 October 2021

    Computational linguistics studies natural language in its various manifestations from a computational point of view, both on the theoretical level (modeling grammar modules dealing with natural language form and meaning, and the relation between these two) and on the practical level (developing applications for language and speech technology). Right from the start in the 1950s, there have been strong links with computer science, logic, and many areas of mathematics - one can think of Chomsky's contributions to the theory of formal languages and automata, or Lambek's logical modeling of natural language syntax. The symposium assesses the place of logic, mathematics, and computer science in present day computational linguistics. It intends to be a forum for presenting new results as well as work in progress.

    The symposium focuses mainly on logical approaches to computational processing of natural language, and on the applicability of methods and techniques from the study of artificial languages (programming/logic) in computational linguistics. We invite participation and submissions from other relevant approaches too, especially if they can inspire new work and approaches.

    LACompLing2021 is part of the week "Mathematical Linguistics (MALIN) 2021"

    We welcome submissions of abstracts of presentations of original work. The intended papers should not be submitted concurrently to another conference or conference event and should not have been published or submitted for publication consideration elsewhere. Authors can submit more than one abstract. Invited speakers can submit invited and contributed abstracts.

    For more information, see https://staff.math.su.se/rloukanova/LACompLing2021-web/ or contact Roussanka Loukanova at .
  • 10 - 15 January 2022, Workshop "Inceptiones & Receptiones": Ethnological, Philological, & Historical Approaches to Logic & Mathematics, Virtual

    Date: 10 - 15 January 2022
    Location: Virtual
    Deadline: Monday 1 November 2021

    This World Logic Day 2022 online event by the Peruvian Society for Epistemology and Logic will present ethnological, historical, philological, and similar approaches to the concepts and conceptions related to Logic and Mathematics.

    Keynote lectures: Karine Chemla (Paris 7, FR), Ítala D’Ottaviano (Unicamp, BR), Caleb Everett (UMiami, USA), Graham Priest (CUNY, USA), Alejandro Secades (Filolab, UGR, ES) and Ivahn Smadja (Paris 7, FR).

    We receive talks on any subject related to the topic of the event. Proposals should be submitted as abstracts (300-600 words) prepared for blind review; that is, they should omit any reference to the identity of the author, including names, institution, e-mail, etc. Abstracts should be sent prepared to blind review to with subject *Ponencia*, indicating in the body of the message the name, affiliation, email of the author.

    We also accept proposals for *round tables*. See more details on our website.

    For more information, see https://spel.org.pe/en/wld-2022 or contact .
  • Madeira.jpg

    (New) 30 December 2021, Proof Society Workshop

    Date & Time: Thursday 30 December 2021, 12:00
    Location: Funchal, Madeira
    Target audience: Researchers Proof Theory and related
    Costs: €300
    Deadline: Monday 8 November 2021

    The workshop will bring together researchers on proof theory and its applications through a series of invited and contributed talks as well as panel discussion.

    Confirmed speakers include Eduardo Fermé, David Fernández Duque, Stepan Kuznetsov, Fedor Pakhomov, Michael Rathjen, and Andrei Voronkov. The event will be attending-only and shall not be streamed online.

    Workshop Contributed Talks Submission:
    •Submission of abstracts opens Monday, October 11;
    •Submission of abstracts closes Monday, November 8;
    •Acceptance is confirmed Thursday, November 11.

    For more information, see https://kgs.logic.at/madeira2021/workshop or contact Anela Lolic at .
  • TLLM_III.png

    1 - 3 April 2022, 3rd Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning (TLLM III)

    Date: 1 - 3 April 2022
    Location: Beijing, China (Online)
    Deadline: Saturday 20 November 2021

    The Third Tsinghua Interdisciplinary Workshop in Logic, Language and Meaning) will be held on April 1–3, 2022. This workshop aims to bring together Chinese and international scholars from various disciplines, in particular logic, linguistics, and philosophy, who are working in areas related to natural language semantics.

    We invite submissions of 2-page abstracts (including references) on any of the broad themes related to dynamics in logic and language as suggested above. After a review procedure, authors of accepted abstracts will have the opportunity to present their papers at the workshop. After the workshop, a volume of full papers (properly refereed) will be published in the Springer LNCS – FoLLI series. Details on submission of full papers will follow.

    Abstracts should be submitted via Easychair: https://easychair.org/conferences/?conf=tllm2022

    The workshop is planned to take place on site at Tsinghua University, Beijing. If travel restrictions still make this difficult, we plan to postpone it until the fall of 2022, and/or hold the workshop online.

    For more information, see http://tsinghualogic.net/JRC/?page_id=3591 or contact Kaibo Xie at .
  • 4 - 6 February 2022, ICAART Special Session on "Natural Language Processing in Artificial Intelligence" (NLPinAI 2022), Online

    Date & Time: 4 - 6 February 2022, 23:59
    Location: Online
    Deadline: Friday 26 November 2021

    Computational and technological developments that incorporate natural language are proliferating. Adequate coverage encounters difficult problems related to partiality, underspecification, and context-dependency, which are signature features of information in nature and natural languages. Furthermore, agents (humans or computational systems) are information conveyors, interpreters, or participate as components of informational content. Generally, language processing depends on agents' knowledge, reasoning, perspectives, and interactions.

    The session covers theoretical work, applications, approaches, and techniques for computational models of information and its presentation by language (artificial, human, or natural in other ways). The goal is to promote computational systems of intelligent natural language processing and related models of thought, mental states, reasoning, and other cognitive processes.

    Prospective authors are invited to submit papers in any of the conference topics. Guidelines and instructions for preparing the manuscript (in Word and Latex formats) are available at the confernce website. Papers must be submitted electronically via the web-based submission system.

    All accepted papers will be published in a special section of the conference proceedings book - under an ISBN reference and on digital support and be made available at the SCITEPRESS Digital Library. We expect a Special Issue with extended publications based on selected papers presented at NLPinAI 2022 at ICAART 2022.

    For more information, see here or at https://icaart.scitevents.org/NLPinAI.aspx?y=2022 or contact Roussanka Loukanova at .
  • (New) 17 - 18 March 2022, Bilateralism and Proof-Theoretic Semantics, Ruhr University Bochum

    Date: 17 - 18 March 2022
    Location: Ruhr University Bochum
    Target audience: PhD students and early Post-Docs
    Costs: ---
    Deadline: Sunday 28 November 2021

    The topic of bilateralism - situated in the area of proof-theoretic semantics - has received considerable attention in the area of philosophical logic within the past years. According to proof-theoretic semantics the meaning of the logical connectives is determined by the rules of inference governing their use in proofs. In this context bilateralism demands an equal consideration of dual concepts like truth and falsity, assertion and denial, or proof and refutation in that they should both be taken as primitive concepts, i.e. not reducible to each other. This conference aims at sharing and discussing the latest research in this area by bringing together both highly distinguished as well as early career researchers.

    Invited Speakers: Nils Kürbis (University of Łódź & Ruhr University Bochum), Greg Restall (University of St. Andrews), David Ripley (Monash University), Luca Tranchini (University of Tübingen), Peter Verdée (UCLouvain) and Heinrich Wansing (Ruhr University Bochum).

    Next to the presentations of the invited speakers the conference is supposed to give a number of early career researchers the opportunity to present their work in this area. Session times will be 40 min., divided into 30 min. for the presentation followed by 10 min. of discussion.

    Therefore, PhD students and early Post-Docs are invited to submit an extended abstract on their research. To submit, send an anonymized abstract of 800-1000 words (excluding references) to .
    Members of groups that are underrepresented in logic are especially encouraged to submit.

    The deadline for abstract submission is November 28, 2021.
    The notification of acceptance will be sent by January 16, 2022.
    A special issue of Bulletin of the Section of Logic on the topic of the conference is planned in which full versions of selected papers will be published after an open call for papers.

    For more information, see here or at https://sites.google.com/view/conferencebilateralism2022/home or contact Sara Ayhan at .
  • CfP special issue of Topoi on "Mathematical Practice & Social Ontology"

    Deadline: Wednesday 1 December 2021

    The relationship between mathematics and social ontology is often guided by the question of the possibility of applying mathematics to social sciences, especially economy. As interesting as these questions may be, they neglect the inverse possibility of applying a conceptual analysis derived from social ontology to mathematics. The issue will be devoted to the question whether the distinction between social object and social fact, on the one hand, and between different theoretical approaches to the notion of social fact, can be successfully applied to mathematical practice.

    All papers will be double-blind peer-reviewed. Submission is organized through TOPOI's online editorial manager. Papers should not exceed 8000 words (excluding notes).

    For more information, see https://www.springer.com/journal/11245/updates/18364346 or contact Paola Cantù at , or Italo Testa at .
  • 24 - 27 May 2022, 14th NASA Formal Methods Symposium (NFM 2022), Pasadena CA (U.S.A.) or virtual

    Date: 24 - 27 May 2022
    Location: Pasadena CA (U.S.A.) or virtual
    Deadline: Friday 3 December 2021

    The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry requires advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems. The focus of the symposium will be on formal/rigorous techniques for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace during all stages of the software life-cycle.

    The NASA Formal Methods Symposium is an annual event organized by the NASA Formal Methods (NFM) Research Group, composed of researchers spanning six NASA centers. The organization of NFM 2022 is being led by the Jet Propulsion Laboratory (JPL), located in Pasadena, California. The symposium is planned to be held in person at California Institute of Technology, but potentially transitioning to fully virtual if the COVID situation persists. Virtual presentations will be possible even if the conference is held in-person.

     

    There are two categories of submissions: Regular papers describing fully developed work and complete results (maximum 15 pages, excluding references) and Short papers on tools, experience reports, or work in progress with preliminary results (maximum 6 pages, excluding references). Additional appendices can be submitted as supplementary material for reviewing purposes. They will not be included in the proceedings. All papers must be in English and describe original work that has not been published.

    Authors are encouraged, but not strictly required, to submit artifacts that support the conclusions of their work (if allowed by their institutions). Artifacts may contain software, mechanized proofs, benchmarks, examples, case studies and data sets. Artifacts will be evaluated by the Program Committee together with the paper.

    Courageous authors, who want to delve in open source software being applied in real NASA missions, and find possible connections to and applications of Formal Methods, are invited to visit the open source repositories for the 'F' and 'cFS' frameworks for programming flight software.

  • 11 - 15 July 2022, 17th Conference on Computability in Europe (CiE 2022): Revolutions and revelations in computability, Swansea, Wales

    Date: 11 - 15 July 2022
    Location: Swansea, Wales
    Deadline: Friday 14 January 2022

    CiE 2022 is the 18th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

    The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.

    The Program Committee cordially invites all researchers, European and non-European, to submit their papers in all areas related to the conference topics for presentation at the conference and inclusion in the proceedings of CiE 2022. Papers must be submitted in PDF format, using the LNCS style and must have a maximum of 12 pages, including references but excluding a possible appendix in which one can include proofs and other additional material. Papers building bridges between different parts of the research community are particularly welcome.

    Continuing the tradition of past CiE conferences, we invite researchers to present informal presentations of their recent work. A proposal for an informal presentation must be submitted via EasyChair using the LNCS style file and be 1 page long; a brief description of the results suffices and an abstract is not required. Results presented as informal presentations at CiE 2022 may appear or may have appeared in other conferences with formal proceedings and/or in journals.

    For more information, see https://cs.swansea.ac.uk/cie2022/ or contact .
  • (New) 2 - 5 August 2022, Seventh International Conference on Formal Structures for Computation and Deduction (FSCD 2022), Haifa, Israel

    Date: 2 - 5 August 2022
    Location: Haifa, Israel
    Deadline: Tuesday 8 February 2022

    FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, models of computation, semantics and verification in new challenging areas.

     

    Submissions must be formatted using the LIPIcs style files. Submissions can be made in two categories. Regular research papers are limited to 15 pages, excluding references and appendices. They must present original research which is unpublished and not submitted elsewhere. System descriptions are limited to 15 pages, excluding references. They must present new software tools, or significantly new versions of such tools, in which FSCD topics play an important role. An archive of the code with instructions on how to install and run the tool must be submitted. In addition, a webpage where the system can be experimented with should be provided.

    The suggested, but not exclusive, list of topics for submission is:
    1. Calculi
    2. Methods in Computation and Deduction
    3. Semantics
    4. Algorithmic Analysis and Transformations of Formal Systems
    5. Tools and Applications
    6. Semantics and Verification in new challenging areas

    For more information, see https://fscd2022.github.io/.
  • 22 - 25 August 2022, 14th International Conference on Advances in Modal Logic (AiML 2022), Rennes, France

    Date: 22 - 25 August 2022
    Location: Rennes, France
    Deadline: Monday 7 March 2022

    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 2022 will be co-located with the Workshop on Logical Aspects of Multi-Agent Systems and Strategic Reasoning (LAMAS&SR 2022).

    We invite submissions on all aspects of modal logic. Papers on related subjects will also be considered. There will be two types of submissions for AiML 2022: (1) Full papers for publication in the proceedings and presentation at the conference, and (2) Short presentations intended for presentation at the conference but not for the published proceedings. Both types of papers should be submitted electronically using the EasyChair submission page which will be made available in due course. At least one author of each accepted paper or short presentation must register for and attend the conference.

  • (New) CfP topical collection of Synthese on linguistically informed philosophy of mathematics

    Deadline: Tuesday 15 March 2022

    Text is a crucial medium for transferring mathematical ideas, agendas, and results within the scientific community and in educational contexts. This makes the focus on mathematical texts a natural and important part of the philosophical study of mathematics. Moreover, research on mathematical texts can take advantage of the huge body of knowledge and toolbox of methods from other disciplines such as linguistics and computer science to investigate problems in the philosophy of mathematics. Linguistically informed research addresses general questions of the philosophy of mathematics.

    In this collection, we target mathematical text in a broad sense, including written interaction such as blogs, forums, reviews as well as textbooks and research articles. This topical collection aims to bring together and build bridges between researchers from different methodological backgrounds to tackle questions concerning the philosophy of mathematics. This includes approaches from philosophical analysis, linguistics and literature studies, but also methods from computer science and artificial intelligence, cognitive sciences, and mathematics education.
    Note that this remains a philosophical issue. So while methods are interdisciplinary, we aim for a philosophical upshot.

  • (New) CfP special issue of Australasian Journal on Valerie Plumwood's contributions to logic

    Deadline: Monday 4 July 2022

    In 1967, Valerie Plumwood (then Routley) presented a talk entitled "Some False Laws of Logic" to the St. Andrews logic group in which she mounted criticisms of classical logic. The paper version of the talk was written but never published in full, but it was influential in later work in relevant and paraconsistent logic of the Australasian school.

    A special issue of the Australasian Journal of Logic will be compiled in order to celebrate Plumwood's contributions to logic, and to make this paper available. We invite contributed papers dealing with any topic concerning Plumwood's work on logic. Submissions (preferably in LaTeX or pdf) will be peer reviewed according to the standards of the AJL. Any contributor wanting a copy of Plumwood's paper, or with any questions about submissions, is encouraged to email the editors.

  • 14 - 18 March 2022, 10th International Conference on Non-Classical Logics, Theory & Applications (NCL'22), Łódź, Poland

    Date: 14 - 18 March 2022
    Location: Łódź, Poland
    Deadline: Wednesday 26 October 2022

    The Conference - devoted to non-classical logics - was initially held in Łódź in September 2008 and 2009. The conference serves as a forum to effectively exchange novel results and to survey works in widely understood non-classical logics and their applications.This year's tenth edition of the Conference will be an occasion to celebrate the 50th anniversary of the logic journal Bulletin of the Section of Logic, established in 1971.

    During this year's edition of the conference there will be two special sessions: a session devoted to formal ontology, broadly conceived, and a special session in memoriam J. Michael Dunn who passed away on April, 5, 2021.

    Due to the current situation concerning COVID-19 and very uncertain predictions about what will happen in the autumn, after several consultations the organizers of the conference decided to postpone it until the year 2022. We want the event to keep its on-site character, which, however, requires that the pandemic is overcome. The conference date has been changed to 14-18.03.2022 and hopefully it will not have to be subject to further revision.

    Participants are requested to submit their papers on all topics relevant to the conference. Topics of either theoretical or applied interest include, but are not limited to: many-valued logics, modal logics, non-monotonic logics, paraconsistent logics, plausible reasoning, substructural logics, contra-classical logics, relevant and connexive logics, and/or description logics. Contributions from other related areas such as: cognitive science, computer science, foundations of mathematics, philosophy of language, and/or philosophy of mind, are also welcome. Cross-cutting contributions are particularly welcome.

    Articles should be in English, written in the EPTCS format. . They must not exceed 12 pages excluding references and clearly marked appendices.

     

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

Upcoming conferences

  • 26 - 27 October 2021, 2nd ENCODE Workshop: Logic & Deliberation, Rotterdam (The Netherlands) or Virtual

    Date: 26 - 27 October 2021
    Location: Rotterdam (The Netherlands) or Virtual

    The ENCODE workshops are organized bi-annually at the EIPE/ESPhil (Erasmus University of Rotterdam), as part of the NWO-funded project ENCODE: Explicating Norms of Collective Deliberation. In this workshop we welcome all presentations on original contributions in philosophical logic and formal philosophy more generally that are relevant for the study of deliberative, multi-agent decision processes and procedures. In contemporary democratic theory and political science, the importance of group deliberation is stressed over and again. But what exact form should such deliberation take, and what can we expect from it?

    Keynote Speakers: Natacha Alechina (Utrecht), Zoé Christoff (Groningen), Dominik Klein (Utrecht) and Hannes Leitgeb ((Munich).

  • 27 - 29 October 2021, 6th International Conference on the History and Philosophy of Computing (HaPoC 2021), Virtual & Zürich (Switzerland)

    Date: 27 - 29 October 2021
    Location: Virtual & Zürich (Switzerland)

    The growing cultural import of computing practices has become ever more pressing in our days in all dimensions of social life. The global and collective nature of the challenges our epoch is facing (e.g. climate change, global pandemics, systemic inequalities, resurgence of totalitarianism, to name a few) requires a comprehensive perspective on computing, where social and cultural aspects occupy a central position. For these reasons, thinking about machines asks today for an interdisciplinary approach, where art is as necessary as engineering, anthropological insights as important as psychological models, and the critical perspectives of history and philosophy as decisive as the axioms and theorems of theoretical computer science.

    For more than a decade, the 'History and Philosophy of Computing' Conference (HaPoC) has contributed to building such an interdisciplinary community and environment. We aim to bring together historians, philosophers, computer scientists, social scientists, designers, manufacturers, practitioners, artists, logicians, mathematicians, each with their own experience and expertise, to take part in the collective construction of a comprehensive image of computing.

  • 2 - 5 November 2021, 19th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2021), Marseille, France

    Date: 2 - 5 November 2021
    Location: Marseille, France

    The RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodologica tools in computer science and beyond.

    For more information, see https://ramics19.lis-lab.fr/ or contact Luigi Santocanale at .
  • (Updated) 4 - 5 November 2021, 2nd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2021) , Hanoi, Vietnam (Virtually)

    Date: 4 - 5 November 2021
    Location: Hanoi, Vietnam (Virtually)

    The problem of explaining why a consequence does or does not follow from a given set of axioms has been considered for full first-order theorem proving since at least 40 years, but there usually with mathematicians as users in mind. In knowledge representation and reasoning, efforts in this direction are more recent, and were usually restricted to sub-areas of KR such as AI planning and description logics. The purpose of this workshop is to bring together researchers from different sub-areas of KR and automated deduction that are working on explainability in their respective fields, with the goal of exchanging experiences and approaches.

    Sheila McIlraith and Joe Halpern will deliver the keynotes. The workshop will be co-located with KR 2021.

     

     

    For more information, see https://xlokr21.ai.vub.ac.be/.
  • 4 - 5 November 2021, XII Workshop on Program Semantics, Specification and Verification (PSSV-2021): Theory and Applications, Virtual and Innopolis, Russia

    Date: 4 - 5 November 2021
    Location: Virtual and Innopolis, Russia

    Research, work in progress, position and student papers were welcome. List of topics of interest includes (but is not limited to): formalisms for program semantics, formal models and semantics of programs and systems, semantics of programming and specification languages, formal description techniques, logics for formal specification and verification, deductive program verification, automatic theorem proving, model checking of programs and systems, static analysis of programs, formal approach to testing and validation, and program analysis and verification tools.

    PSSV-2021 is planned to be held in hybrid mode online (using Zoom) and offline (at Innopolis University).

    For more information, see https://persons.iis.nsk.su/en/pssv21.
  • (Updated) 4 November 2021, Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021), Virtual

    Date & Time: Thursday 4 November 2021, 10:00-18:30
    Location: Virtual

    Second-order quantifier elimination (SOQE) is the problem of equivalently reducing a formula with quantifiers upon second-order objects such as predicates to a formula in which these quantified second-order objects no longer occur. In slight variations, SOQE is known as forgetting, projection, predicate elimination, and uniform interpolation. It can be combined with various underlying logics, including propositional, model, description and first-order logics. It is attractive as a logic-based approach to various computational tasks.

    The workshop aims to bring together researchers working on SOQE and all these related topics to present, discuss and compare issues shared by problems emerging from different special contexts, interesting open research problems (perhaps with partial solutions), new applications and implementation techniques. SOQE will be associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021).

    For more information, see http://2021.soqe.org/.
  • 6 - 12 November 2021, 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021), Hanoi, Vietnam

    Date: 6 - 12 November 2021
    Location: Hanoi, Vietnam

    Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents.

    The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge.

    For more information, see https://kr2021.kbsg.rwth-aachen.de.
  • 6 - 8 November 2021, 19th International Workshop on Non-Monotonic Reasoning (NMR-2021), Hanoi, Vietnam (Virtual attendance)

    Date: 6 - 8 November 2021
    Location: Hanoi, Vietnam (Virtual attendance)

    NMR is the premier forum for results in the area of Non-Monotonic Reasoning. Its aim is to bring together active researchers in this broad field within knowledge representation and reasoning (KR), including belief revision, uncertain reasoning, reasoning about actions, planning, logic programming, preferences, argumentation, causality, and many other related topics including systems and applications.

    NMR-21 will be co-located with the International Conference on Principles of Knowledge Representation and Reasoning (KR 2021).

    For more information, see https://sites.google.com/view/nmr2021 or contact .
  • 18 - 20 November 2021, 32nd Novembertagung on the History and Philosophy of Mathematics "Mathematics in Times of Crisis", Virtual

    Date: 18 - 20 November 2021
    Location: Virtual

    The Novembertagung on the History and Philosophy of Mathematics is an annual international conference aimed at graduate students in the history and philosophy of mathematics and neighboring fields. It provides an opportunity for young researchers to present and discuss their research in a safe, informal environment, and serves as a place for them to share experience and advice, as well as to establish new contacts. Participants are welcome from around the world.

    On the Theme: Crisis, instability and times of uncertainty undoubtedly influenced the development of the sciences, and mathematics is no exception. Throughout history, mathematicians found themselves facing wide-ranging challenges, both internal and external to mathematics, to which they had to respond in new and creative ways. Inspired by contemporary global events, this conference is interested in the ways that times of crisis shaped the development of mathematics. The time of uncertainty might be frustrating and confounding for the mathematicians, but from a historical perspective it can be viewed as an engine of mathematical creativity.

  • 23 - 26 November 2021, 3rd international conference on Non-classical Modal and Predicate Logics (NCMPL 2021), Bochum, Germany (Hybrid)

    Date: 23 - 26 November 2021
    Location: Bochum, Germany (Hybrid)

    Modalities and predicates have since ancient time been central notions of logic. In the 20th century, various systems of non-classical logics have emerged, with applications in many disciplines like Computer Science, Linguistics, Mathematics, and Philosophy. This gave rise to the questions of a non-classical treatment of quantifiers and modalities and the accommodation of quantifiers and modalities in non-classical logics. In response, various modal and predicate variants of non-classical logics have been introduced and studied in the past decades.

    NCMPL is a conference series solely dedicated to modal and predicate non-classical logics. The aim of the conference is to bring together researchers from various branches of non-classical logics, not only to present recent advances in their particular fields, but also to identify common problems and methods and foster the exchange of ideas between researchers from separate fields.

    For more information, see https://sites.google.com/view/ncmpl2021 or contact .
  • 1Madeira.jpg

    (New) 29 November - 1 December 2021, Proof Society Winter School 2021

    Date: 29 November - 1 December 2021
    Location: Funchal, Madeira
    Target audience: Advanced master students, PhD students, postdocs and experienced researchers new to the field in mathematics, computer science and philosophy
    Costs: €300

    The intended audience for the Winter School is advanced master students, PhD students, postdocs and experienced researchers new to the field in mathematics, computer science and philosophy. The winter school offers courses of various levels by the following experts in the field: Bahareh Afshari, Juan Aguilera , Anupam Das, Graham Leigh, Alexander Leitsch and Norbert Preining. The event will be attending-only and shall not be streamed online.The conference fee includes registation to the affiliated The Proof Society Workshop on Proof Theory and its Applications

     

    For more information, see https://kgs.logic.at/madeira2021/winter-school or contact Anela Lolic at .
  • 6 - 8 December 2021, Trends in Logic XXI "Frontiers of connexive logic", Bochum, Germany

    Date: 6 - 8 December 2021
    Location: Bochum, Germany

    The 21st Trends in Logic international conference will be held at Ruhr University Bochum, Germany, from December 6-December 8, 2021 under the title 'Frontiers of connexive logic'. It is organized by the chairs of Logic and Epistemology and Nonclassical Logic at the Department of Philosophy I of Ruhr University Bochum, in co-operation with Studia Logica.

    Modern connexive logic started in the 1960s with seminal papers by Richard B. Angell and Storrs McCall. Systems of connexive logic have been motivated by considerations on a content connection between the antecedent and succedent of valid implications and by applications that range from Aristotle's syllogistic to Categorial Grammar and the study of causal implications. As we are observing some growing interests in topics related to connexive logics, after six annual workshops, the Trends in Logic XXI aims at discussing directions for future research in connexive logics.

  • 6 December 2021, 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications (CIFMA 2021)

    Date: Monday 6 December 2021

    The objectives of this new international workshop are:
    1. to bring together practitioners and researchers from academia, industry and research institutions who are interested in the foundations and applications of cognition from the perspective of their areas of expertise and aim at a synergistic effort in integrating approaches from different areas;
    2. to nurture cooperation among researchers from different areas and establish concrete collaborations;
    3. to present formal methods to cognitive scientists as a general modelling and analysis approach, whose effectiveness goes well beyond its application to computer science and software engineering.

    Keynote speaker: Martin Davis (New York University, USA) on "The Brain As a Computer".

    For more information, see https://cifma.github.io/ or contact .
  • 8 - 10 December 2021, Workshop "Mathematics as/in Science", Gent, Belgium

    Date: 8 - 10 December 2021
    Location: Gent, Belgium

    The relationship between mathematics and science continues to be of considerable philosophical interest. Within contemporary philosophy of science, for example, pinpointing the exact role of mathematics in the sciences remains a hotly debated issue. Does mathematics play a mere inferential role in that it allows for the derivations of one substantial truth from another or is mathematics more than a 'theoretical juice-extractor'? Are there distinctive mathematical explanations of physical phenomena? Similar questions can be asked about the role of logic in science.

    These issues connect with discussions within the philosophy of mathematics (and the philosophy of logic) concerning the nature of mathematics (or logic). Within the philosophy of mathematics, Platonists, nominalists and structuralists consider mathematics to be fundamentally different in kind from empirical science, while empiricists have argued that mathematics is, just like other sciences, fundamentally about aspects of the empirical world. Different positions within the debate about the nature of mathematics will, arguably, lead to different answers to the question as to how mathematics and science are related.

    In this workshop we want to focus on how these different philosophies of mathematics fare in giving an account of mathematical practice and the role of mathematics in scientific practice.

    For more information, see https://www.lrr.ugent.be/mathematicsscience/ or contact .
  • 10 - 13 January 2022, Symposium on Logical Foundations of Computer Science (LFCS'22), Deerfield Beach, Florida, U.S.A. (Hybrid)

    Date: 10 - 13 January 2022
    Location: Deerfield Beach, Florida, U.S.A. (Hybrid)

    The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science.

    LFCS topics of interest include, but are not limited to: constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple agent system logics; logics of proof and justification; nonmonotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; other logics in computer science.

    Traditionally, LFCS symposia are located in the spectacular Wyndham Deerfield Beach Resort, Deerfield Beach, Florida. Because of the ongoing pandemic, we intend to have a hybrid meeting, to allow for both physical and virtual attendance, the details will be decided later.

    For more information, see http://lfcs.ws.gc.cuny.edu/ or contact Sergei Artemov at .
  • 12 - 16 January 2022, Symposium on Logic and Artificial Intelligence (SLAI-2022), Virtual

    Date: 12 - 16 January 2022
    Location: Virtual

    The Symposium on Logic and AI (SLAI) is annually organized by the International Society for Logic and Artificial Intelligence in cooperation with research, development and educational organizations worldwide. SLAI is intended to add synergy to the efforts of researchers working on logic, AI, and their confluence. SLAI-2022 is devoted to the World Logic Day (January 14, 2022). Round tables are planned to ensure an open debate on the state of the art and new directions.

    Collocated to SLAI-2022 events are
    - Moldovan Prizes in Logic and Artificial Intelligence
    - Romanian Prizes in Logic and Artificial Intelligence
    - Ukrainian Seminar on Logic and its Applications

    For more information, see https://slai2022.islai.org or contact .
  • 13 January 2022, Paths in Logic (World Logic Day Celebration at Haifa), Online

    Date: Thursday 13 January 2022
    Location: Online

    We are organizing a one-day online workshop to commemorate the World Logic Day. Logic deals with correct and incorrect reasoning, the connection between language and the world, and examines how we can use language to make correct statements about structures. It lies at the interface between mathematics, philosophy and computer science. This workshop aims to provide a window into Logic from four perspective, namely Mathematics, Philosophy, Computer Science and from real world application.

    Registration is free of charge and everybody is invited to participate. This workshop is mainly aimed at undergraduate and graduate students but everybody is welcome. The event is particularly tailored towards the needs of students who are considering a career in logic.

  • 14 January 2022, UNESCO World Logic Day 2022

    Date & Time: Friday 14 January 2022, 00:01-23:59

    UNESCO proclaimed 14 January to be World Logic Day, a global day of supporting the development of logic through teaching and research, as well as to public dissemination of the discipline.

    The coordination of World Logic Day 2021 is --for the second time-- in the hands of the Conseil International de Philosophie et des Sciences Humaines (CIPSH) and its member organization, the DLMPST/IUHPST.

    We would like to encourage logicians all around the world to organize (possibly small) events in close proximity to 14 January 2022 to celebrate this day. It is impossible to predict what type of meeting will be possible in January 2022 and what the international travel situation will be. As a consequence, we should like to ask all organisers to weigh pros and cons of planning in person events, purely online events, or hybrid events before making an announcement. Note that online and hybrid events have the advantage of allowing easy access of people from around the world. Registered events will be listed on the CIPSH website.

    For more information, see http://wld.cipsh.international/.
  • 15 January 2022, Workshop "Formalize!(?) 2", Virtual

    Date & Time: Saturday 15 January 2022, 15:15-19:45
    Location: Virtual

    We are organizing a one-day online workshop to commemorate the World Logic Day, on the topic of formalization in mathematics. Registration is free of charge and everybody is welcome to attend.

    Topic: What are the chances and problems of the act of formalization in the context of mathematics? It is often said, that all of mathematics can be reduced to first-order logic and set theory. The derivation indicator view says that all proofs stand in some relation to a derivation, i.e. a mechanically checkable syntactical objects following fixed rules, that would not have any gaps. For a long time this was a mere hope. There may have been proofs of concepts from early logicists but derivation never played a big role in mathematical practice. The modern computer might change this. Interactive and automated theorem provers promise to make the construction of a justification without any gaps feasible for complex mathematics. Is this promise justified? Will the future of mathematical practice shift to more formal mathematics? Should it? We hope to illuminate such questions and focus especially on what these developments mean for the future of the curriculum of university students. This event features speakers speaking about both concrete projects and reflections on such endeavours in general.

  • 17 - 18 January 2022, Conference on Certified Programs & Proofs (CPP 2022), Philadelphia PA (U.S.A.) with Virtual options

    Date: 17 - 18 January 2022
    Location: Philadelphia PA (U.S.A.) with Virtual options

    Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education.

    CPP 2022 will be co-located with POPL 2022 in Philadelphia, Pennsylvania, United States. CPP 2022 is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.

  • 14 - 19 February 2022, CSL 2022: Computer Science Logic, Göttingen (Germany) & Virtual

    Date: 14 - 19 February 2022
    Location: Göttingen (Germany) & Virtual

    Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.

    CSL'22 will be held on February 14 - 19, 2022, in Göttingen, Germany. Currently, we expect that the conference will be organized in a hybrid way: both with an in-presence component and an online component. Invited speakers: Annabelle McIver Macquarie (University, Sydney, Australia), Udi Boker (IDC Herzliya, Israel), Martin Escardo (University of Birmingham, UK), Rosalie Iemhoff (Utrecht University, The Netherlands) and Karen Lange (Wellesley College, USA).

    For more information, see http://csl2022.uni-goettingen.de/ or contact .
  • 1 - 11 April 2022, 7th World Congress and School on Universal Logic (UNILOG 2021), Chania/Crete (Greece)

    Date: 1 - 11 April 2022
    Location: Chania/Crete (Greece)

    UNILOG is a series of events (combining a congress and a school) promoting logic in all its aspects (mathematical, philosophical, computational, semiological, historical), as well as the relation between logic and other fields.

    Due to the pandemic the organizers have decided to postpone the 7th edition of UNILOG to spring 2022. The event will take place at the Orthodox Academy of Crete, with a school (April 1-5) and a congress (April 6-11) . The school will feature  an opening round table on the topic "Why study logic?", 30 tutorials, and a poster session, The congress will include a series of Workshops on different themes encompassing all aspects of logic, the World Logic Prizes Contest and a Secret Speaker.

    For more information, see https://sites.google.com/view/unilog-2022/.
  • 2 - 7 April 2022, 25th European Joint Conferences on Theory and Practice of Software (ETAPS 2022), Munich, Germany (Hybrid)

    Date: 2 - 7 April 2022
    Location: Munich, Germany (Hybrid)

    ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences, accompanied by satellite workshops:

    • ESOP: European Symposium on Programming
    • FASE: Fundamental Approaches to Software Engineering
    • FoSSaCS: Foundations of Software Science and Computation Structures
    • TACAS: Tools and Algorithms for the Construction and Analysis of Systems

    A number of satellite workshops and other events will take place before the main conferences. In particular, there will be a PhD student mentoring workshop organized by Caterina Urban, Wolfgang Ahrendt and Gidon Ernst. TACAS '22 will host the 11th Competition on Software Verification (SV-COMP).

    For more information, see https://etaps.org/2022.
  • 6 - 11 April 2022, Workshop on Hybrid Logic and Applications (HyLo 2022)

    Date: 6 - 11 April 2022
    Location: Crete, Greece
    Target audience: Logicians (computational, philosophical, mathematical)
    Costs: See Unilog web site

    Hybrid logic is a branch of modal logic in which it is possible to directly refer to worlds/times/states or whatever the elements of the (Kripke) model are meant to represent.

    Hybrid logic is now a mature field with significant impact on a range of other fields, including
    - applied modal logics,
    - temporal logic,
    - labelled deduction,
    - philosophy of time, and
    - social reasoning.

    The scope of the workshop is not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but generally extensions of modal logic that increase its expressive power.

    The duration of the workshop is a half day or one day and it will take place at some point during the UNILOG congress, April 6-11, 2022.

    For more information, see https://sites.google.com/view/unilog-2022/workshops/hybrid-logic or contact Torben Braüner at , or Patrick Blackburn at .
  • 6 - 11 April 2022, UNILOG Workshop "Logic(s) in Defective Science", Crete, Greece

    Date: 6 - 11 April 2022
    Location: Crete, Greece

    This workshop is devoted to exploring connections between non-classical logics and the rational use of defective information in the sciences, as well as the inferential practices in the sciences?particularly, those which make use of defective information. *Keynote speakers: *Gerhard Schurz (Universität Düsseldorf), Michèle Friend (Université Lille Nord-Europe/The George Washington University) and Diderik Batens (Universiteit Gent).

  • 9 - 13 May 2022, 21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2022), Auckland, New Zealand

    Date: 9 - 13 May 2022
    Location: Auckland, New Zealand

    AAMAS (International Conference on Autonomous Agents and Multiagent Systems) is the largest and most influential conference in the area of agents and multiagent systems. The aim of the conference is to bring together researchers and practitioners in all areas of agent technology and to provide a single, high-profile, internationally renowned forum for research in the theory and practice of autonomous agents and multiagent systems.

  • June 2022, Mathematics & Analogical Reasoning, Munich, Germany

    Date: 3 - 4 June 2022
    Location: Munich, Germany

    Sometimes particular mathematical structures serve scientists as heuristic devices in their own right by giving indications of structural similarities between otherwise unrelated physical systems. And in philosophical discourse, it is often not singular mathematical formulas, but the entire structure of mathematics that is used as an argumentative point of reference. The goal of this conference is to investigate the role of mathematics as a heuristic device for analogical reasoning in science and philosophy.

    The conference has been postponed to 2022 due to the COVID-19 epidemic.

    For more information, see https://silviajonas.wixsite.com/mathematicsanalogies or contact Silvia Jonas at .
  • 5 - 17 July 2022, Seventh EPICENTER Spring Course in Epistemic Game Theory 2020, Maastricht University, Maastricht, The Netherlands

    Date: 2022
    Location: Maastricht University, Maastricht, The Netherlands

    The EPICENTER, the research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field takes a new, fresh approach to game theory, and studies how people reason in game theoretic situations before they eventually make a choice. More precisely, it explores how we reason about the minds of others before we make a choice. Hence, the reasoning of people like you and me is at the center stage of epistemic game theory.

    Due to the Corona-outbreak, the edition of 2020 had to be cancelled. The next edition will be in 2022.

    For more information, see https://www.epicenter.name/?page_id=434 or contact Andrés Perea at .
  • 14 - 18 July 2022, 13th Panhellenic Logic Symposium (PLS13), Volos (Greece) or Virtual

    Date: July 2022
    Location: Volos (Greece) or Virtual

    The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived.

    PLS13 will have Special Sessions on Computer Science and Philosophical Logic, as well as Tutorials, Invited and Contributed Talks, a Poster Session and a Mentoring Session.

    The meeting is postponed to July 2022, due to the uncertainties related to the pandemic. Exact dates will be decided at a later stage.

  • 31 July - 12 August 2022, The Eighth Federated Logic Conference (FLoC 2022), Haifa, Israel

    Date: 31 July - 12 August 2022
    Location: Haifa, Israel
  • 31 July - 12 August 2022, 19th International Conference on Principles of Knowledge Representation & Reasoningv (KR 2022), Haifa (Israel) & Virtual

    Date: 31 July - 12 August 2022
    Location: Haifa (Israel) & Virtual

    Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents.

    The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. KR 2022 will be held as part of the Federated Logic Conference (FLoC 2022) in Haifa, Israel, from July 31 to August 12, 2022. The KR-affiliated FLoC tutorials and workshops will take place directly before KR, on July 31-August 1. All events that are part of FLoC are currently planned to take place physically, but people can participate remotely in cases where travel is impossible.

    For more information, see here or at https://kr.org/ or contact Stefan Borgwardt at , or Maria Vanina Martinez at .
  • 7 - 12 August 2022, The 11th International Joint Conference on Automated Reasoning (IJCAR 2022), Haifa, Israel

    Date: 7 - 12 August 2022
    Location: Haifa, Israel

    IJCAR is the premier international joint conference on all topics in automated reasoning. It is the merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Symposium on Frontiers of Combining Systems), ITP (International Conference on Interactive Theorem Proving) and TABLEAUX (Conference on Analytic Tableaux and Related Methods). IJCAR 2022 will be part of the Eighth Federated Logic Conference (FLoC 2022).

    For more information, see https://floc2022.org/workshops/ or contact .
  • 8 - 19 August 2022, 33rd European Summer School in Logic, Language and Information (ESSLLI 2022), Galeway, Ireland

    Date: 8 - 19 August 2022
    Location: Galeway, Ireland

    Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, where the school will be virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at both introductory and advanced levels, and attracts around 400 participants from all over the world.

    The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

    For more information, see https://2022.esslli.eu/ or contact Larry Moss at .