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

  • 4 - 11 September 2022, Modalities in Substructural Logics: Theory, Methods and Applications 2022 (MOSAIC 2022) , Paestum, (Salerno, Italy)

    Date: 4 - 11 September 2022
    Location: Paestum, (Salerno, Italy)

    Modalities in Substructural Logic: Theory Methods and Applications (MOSAIC 2022) will be held on 4-11 September 2022 in Paestum, (Salerno, Italy). The conference is the kick-off meeting of the RISE-MSCA project MOSAIC and will be co-located with the International Conference “Logic, Algebra and Truth Degrees” 2020 (LATD 2020).

    The RISE-MSCA project MOSAIC — “Modalities in Substructural Logic: Theory, Methods and Applications” aims at (1) Putting forward a comprehensive and unifying logico-mathematical study of substructural modal logics, that is, substructural logics with modalities, and (2) Exploring the application of substructural modal logics outside the bounds of mathematical logic and, in particular, in the areas of knowledge representation; legal reasoning; data privacy and security; logical analysis of natural language.

    Invited speakers: Silvio Ghilardi (University of Milan, Italy), Sonia Marin (University of Birmingham, UK), Nicola Olivetti (Aix-Marseille University, France), Sara Ugolini (IIIA - CSIC of Barcelona, Spain).

    MOSAIC 2022 invites submissions on a variety of topics on modal substructural logics and their applications. We therefore invite contributions on relevant aspects of non-classical modal logical systems, such as:
    * Residuated lattices with modal operators;
    * Relational frames and structural properties;
    * Coalgebras and coalgebraic approach to substructural modal logics;
    * Correspondence theory;
    * Fixpoint logics;
    * Proof theory and complexity for substructural modal logics;
    * Modal logics for reasoning about norms, time, preferences, uncertainty;
    * Applications of substructural modal logics to KRR and learning.

    Abstracts of contributed talks of 2-4 pages are to be prepared using the EasyChair class style.

    For more information, see here or at http://logica.dipmat.unisa.it/LATD+MOSAIC/ or contact Nick Bezhanishvili at .
  • 22 - 23 August 2022, Workshop on "Truthmaking, Semantical Grounding, & Paradoxes", Bristol, England

    Date: 22 - 23 August 2022
    Location: Bristol, England

    The ERC-Starting Grant Truth and Semantics (TRUST 803684) at the University of Bristol, together with dr. Johannes Korbmacher (University of Utrecht), is organizing a two-day workshop on truthmaking, semantical grounding, and paradoxes. The workshop will be held in person in Bristol (UK) on August 22-23, 2022.

    The aim of the conference is twofold. On the one hand, we would like to investigate the role that various forms of truthmaking semantics and semantical grounding can have in diagnosing the problematic nature of paradoxes (including, but not limited to, semantic paradoxes, paradoxes of vagueness, paradoxes of conditionals…), and how they can be used to generate possible solutions to them; and, on the other hand, we would like to study paradoxes of truthmaking or paradoxes of semantic grounding.

    We would like to invite the submission of abstracts for several further talks on the conference'€™s themes. There are several slots for submitted contributions of 45-60min. If you are interested in giving a talk, please send an abstract of no more than 2000 words to Simone Picenni and Johannes Korbmacher. Since the main purpose of the workshop is to exchange results, we welcome not only papers covering unpublished results, but also previous publications that fall within the scope of the workshop. We especially encourage submissions from early career researchers (postgraduate students/PhD students/Post-Docs).

    For more information, see https://www.truthandsemantics.xyz or contact Simone Picenni at .
  • 21 - 22 September 2022, Thirteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2022), Madrid, Spain

    Date: 21 - 22 September 2022
    Location: Madrid, Spain
    Deadline: Friday 27 May 2022

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

    Authors are invited to submit original research or tool papers on all relevant topics in the conference areas. Papers focused on formal methods are especially welcome. Papers discussing new ideas that are at an early stage of development are also welcome.

    Submitted papers should not exceed 14 pages (excluding references and clearly marked appendices) using EPTCS format, be unpublished and contain original research. For papers reporting experimental results, authors are encouraged to make their data available with their submission. Submissions must be in PDF format and will be handled via the HotCRP Conference system.

    For more information, see https://gandalf2022.software.imdea.org/.
  • 5 - 9 September 2022, 18th MonsTheoretical Computer Science Days (JM2022), Prague, Czech Republic

    Date: 5 - 9 September 2022
    Location: Prague, Czech Republic
    Deadline: Sunday 29 May 2022

    The Czech Technical University in Prague will host the 18th edition of the "Mons Theoretical Computer Science Days" on September 5-9, 2022 (postponed from September 7-11, 2020). The conference will offer invited talks and lectures on selected abstracts.

    The theme of the conference is combinatorics on words and formal languages from their different perspectives (combinatorial, algorithmic, dynamical, logic, ...). The conference also welcomes other related branches of computer science and mathematics (number theory, computability, model checking, semigroups, game theory, discrete geometry, decentralized algorithms, bioinformatics, ...).

    Authors are invited to submit abstract of their contribution between 1 and 4 pages long. Submissions will be open in April.

    For more information, see http://jm20.fjfi.cvut.cz/ or contact .
  • 31 July - 1 August 2022, LICS Workshop "LogTeach-22: Why & how to teach logic for CS undergraduates?", Haifa (Israel)

    Date: 31 July - 1 August 2022
    Location: Haifa (Israel)
    Deadline: Monday 30 May 2022

    Logic is one of the pillars of the foundation of Computer Science, together with Algorithmic Mathematics, Information Theory, and Electronics. Consequently various versions of Logic courses used to be part of the undergraduate syllabus of Computer Science. However, as witnessed by the variety of conferences related to Logic present at the FLoC event, the emphasis has moved from the foundation to applications of Logic in Computer Science. Each of these conferences deal with topics suitable for advanced undergraduate and graduate courses, which require some Logic based prerequisite. On the other hand, Logic courses in the undergraduate syllabus have been forced to make place for courses deemed more suitable for the education of future specialists and practitioners working in IT. Many of the top Universities worldwide have dropped foundational Logic courses for undergraduates for more practical oriented courses, turning undergraduate CS programs into programs more suitable for what used to be vocational colleges and professional schools.

    Time has come to critically reflect upon and reevaluate the role of Logic in the undergraduate syllabus. It seems clear that the classical Logic in CS courses have no place there anymore. They seem to teach and emphasize the wrong narrative of logic as taught by tradition. However, it seems also clear that eliminating Logic courses all together is counter productive. The purpose of the workshop is the prepare a proposal for a logic course Logic-2020 which is useful and acceptable for University undergraduates in CS, and which can serve as a prerequisite for the many diverse branches of applied logic.

    We plan to have presentations of position papers (30 minutes, including discussion). All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome:

    • Full papers discussing the purpose of teaching Logic for CS undergraduates
    • Position paper proposing a syllabus for  teaching Logic for CS undergraduates, as one course, within several compulsory courses, or arguing for dropping logic all together.
  • ICIFS-logo.gif

    9 - 10 September 2022, 25th Jubilee Edition of the International Conference on Intuitionistic Fuzzy Sets, Sofia, Bulgaria / online

    Date & Time: 9 - 10 September 2022, 09:00-18:00
    Location: Sofia, Bulgaria / online
    Target audience: academics
    Costs: EUR 100-200
    Deadline: Monday 30 May 2022

    The aim of the annual International Conference on Intuitionistic Fuzzy Sets (ICIFS) is to gather specialists interested in intuitionistic fuzziness, decision making under uncertainty, and other related topics, and to give them floor for discussions on both the theoretical and practical aspects of intuitionistic fuzzy sets. Since 2013, ICIFS has been an EUSFLAT endorsed event.

    All papers accepted for presentation at ICIFS'2022 will be published in the Journal "Notes on Intuitionistic Fuzzy Sets" (ISSN: 1310-4926, e-ISSN: 2367-8283) and will be available online with DOI numbers. Papers should not exceed 20 A4 pages and should comply with the paper template of the Journal "Notes on Intuitionistic Fuzzy Sets" and the Journal's Publication Ethics Policy. Manuscripts will be subject to rigorous peer review by two independent reviewers.

    For more information, see https://ifigenia.org/wiki/ICIFS-2022 or contact Vassia Atanassova, PhD at .
  • 31 July 2022, 9th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2022), Haifa, Israel

    Date: Sunday 31 July 2022
    Location: Haifa, Israel
    Deadline: Tuesday 31 May 2022

    The aim of WPTE is to bring together the researchers working on program transformations, evaluation, and operationally based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area.

    WPTE 2022 is affiliated to FSCD 2022, part of FLoC 2022, Haifa, Israel. Invited speaker: Akihisa Yamada, National Institute of Advanced Industrial Science and Technology (AIST), Japan.

    For the paper submission deadline an extended abstract of at most 10 pages is required. The extended abstract may present original work, but also work in progress. Based on the submissions the program committee will select the presentations for the workshop. All selected contributions will be included in the informal proceedings distributed to the workshop participants. One author of each accepted extended abstract is expected to present it at the workshop. Submissions must be prepared in LaTeX using the EPTCS macro package.

    For more information, see https://wpte2022.github.io/ or contact .
  • CfP special issue of Logic Journal of the IGPL: Festschrift for John N. Crossley

    Deadline: Wednesday 1 June 2022

    The Logic Journal of the IGPL will publish a special issue in honour of Prof John N. Crossley on the occasion of his 85th birthday. The volume will contain invited contributions by students and collaborators of Prof Crossley in addition to any contributed submission that is found suitable after the appropriate review process. The list of invited authors includes Anil Nerode, Wilfrid Hodges, John Bell, Rod Downey, Rohit Parikh, Martin Wirsing, Lloyd Humberstone, Geoff Sutcliffe and Pimpen Vejjajiva. The issue will welcome submissions in the areas of history of logic, model theory, recursion theory, set theory, modal logic, constraint logic programming, and program extraction, particularly if they are related to Crossley's work.

    The Logic Journal of the IGPL will publish a special issue in honour of Prof John N. Crossley on the occasion of his 85th birthday. The volume will contain invited contributions by students and collaborators of Prof Crossley in addition to any contributed submission that is found suitable after the appropriate review process. The list of invited authors includes Anil Nerode, Wilfrid Hodges, John Bell, Rod Downey, Rohit Parikh, Martin Wirsing, Lloyd Humberstone, Geoff Sutcliffe and Pimpen Vejjajiva. The issue will welcome submissions in the areas of history of logic, model theory, recursion theory, set theory, modal logic, constraint logic programming, and program extraction, particularly if they are related to Crossley's work.

    John Crossley started his career at the University of Oxford as the first university lecturer in mathematical logic in that institution, a position created with the help of Prof Sir Michael Dummett. Some years later, Crossley moved to Monash University (Australia) to become a Professor of Pure Mathematics (and later, Logic). He is the main author of Constructive Order Types (North-Holland, 1969) and has co-authored various books, including Combinatorial Functors (Springer, 1974), Adapting proofs-as-programs: The Curry-Howard Protocol (Springer, 2005) and What is mathematical logic? (OUP, 1972). The latter is a very celebrated text and the first introduction to mathematical logic produced in Australia. He was editor of the Journal of the Australian Mathematical Societyand he has also edited or co-edited half a dozen logic conference proceedings. He was the chair of the Committee for Logic in Australasia of the Association for Symbolic Logic for 16 years, a former president of the Australasian Association for Logic, and one of the creators of the Asian Logic Conference. John Crossley has had several doctoral students who have gone to become very prominent logicians, most famously, Peter Aczel, Wilfrid Hodges, John Bell and Rod Downey. According to the Math Genealogy Project, Crossley has 216 academic descendants, more than any other logician in Australia or New Zealand.

    The submission deadline will be 1 June 2022. Please send your manuscript to Jane Spurr (), the executive editor of the journal, with a copy to Guillermo Badia (the guest editor, ). The subject line of the e-mail should be "Submission for special issue on JNC of the Logic Journal of the IGPL". The journal submission requirements can be found at: https://academic.oup.com/jigpal/pages/General_Instructions.

    For more information, see https://academic.oup.com/jigpal/ or contact .
  • 11 - 15 September 2022, LOGICA 2022, Hejnice, Czech Republic

    Date: 11 - 15 September 2022
    Location: Hejnice, Czech Republic
    Deadline: Wednesday 1 June 2022

    The Institute of Philosophy of the The Czech Academy of Sciences announces 'LOGICA 2022', the 35th in the series of annual international symposia devoted to logic, to be held at Hejnice, Czech Republic, on 11 September -- 15 September 2022.

    Invited speakers: Steve Awodey (Carnegie Mellon University), Alena Vencovska (University of Manchester) and Yde Venema (University of Amsterdam). Additionally, the conference program will include a Special session on logic and information.

    If you are interested in presenting a paper at the symposium, please submit a two-page blinded abstract via EasyChair by 1 June 2022. Contributions devoted to any of the wide range of logical problems are welcome except those focused on specialized technical applications. Particularly welcome are contributions that cover issues interesting both for philosophically and mathematically oriented logicians.

  • 1 July 2022, Dutch Logic PhD Day 2022

    Date & Time: Friday 1 July 2022, 09:00-18:00
    Location: Utrecht University
    Target audience: PhD students (and master's students if places available)
    Deadline: Wednesday 1 June 2022

    The Dutch Association for Logic (VvL) invites PhD students in logic (and related areas) in the Netherlands to register for the first-ever Dutch Logic PhD Day to take place on July 1, 2022 in Utrecht. Master's students may also register, but will be able to attend only if places are available. The goal of this event is to foster a community of PhD students in the Netherlands in all areas of logic. We are happy to confirm Dr. Maria Aloni (ILLC) and Dr. Revantha Remanayake (University of Groningen) as keynote speakers.

    We invite PhD students to submit an abstract of no more than 200 words for a talk on their research in a logic-related area. The deadline for submission is June 1. Instructions for submission can be found here.

    For more information, see https://verenigingvoorlogica.nl/en/Dutch-Logic-PhD-Day-2022/ or contact Francisco Trucco Dalmas (Groningen), Robin Martinot (Utrecht), Robert Passmann (ILLC) and Daira Pinto Prieto (ILLC) at .
  • 22 - 24 August 2022, 26th Workshop on the Semantics and Pragmatics of Dialogue (SemDial / DubDial 2022), Dublin (Ireland) & Virtual

    Date: 22 - 24 August 2022
    Location: Dublin (Ireland) & Virtual
    Deadline: Thursday 2 June 2022

    DubDial will be the 26th 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 2022 the workshop will be hosted by the Information, Communication and Entertainment Research Institute at Technological University Dublin, Ireland and the SFI ADAPT Research Centre. There will also be an online component for those who cannot travel to Dublin.

    This year, there will be a guiding theme for the conference: Interactivism. The interactivist model (Bickhard, 2009) offers a new dynamic approach to understanding language, communication, and cognition. Across many disciplines, from philosophy to neuroscience and robotics, there is recognition that explanations of life and mind need to be grounded in the physics of far-from-equilibrium, interactive systems. From this starting point, explanations have been developed for phenomena ranging from representation, perception, and action to motivation, memory, learning and development, emotions, consciousness, rationality, sociality, personality and psychopathology. This work has yet to develop interfaces with studies of specific phenomena in dialogue modelling and our purpose is to open the discussion on how dialogue researchers can take advantage of this and related perspectives like Enactivism and Ecological Psychology.

    We welcome submissions on this special theme of Interactivism and we continue to welcome any papers with formal, computational and empirical approaches to the semantics and pragmatics of dialogue. Authors should submit an *anonymous* paper of at most 8 pages of content (an additional 2 pages are allowed for references). SemDial 2022 cannot accept work for publication or presentation that will be (or has been) published elsewhere. Submissions due: 2 June 2022.

    There will be a later call for 2-page abstracts describing system demonstrations and/or ongoing projects relevant to the topics of the workshop, with submission deadline 15th July.

  • 26 - 29 September 2022, 23rd International Conference on Knowledge Engineering and Knowledge Management (EKAW 2022), Bolzano, Italy

    Date: 26 - 29 September 2022
    Location: Bolzano, Italy
    Deadline: Friday 3 June 2022

    The 23rd International Conference on Knowledge Engineering and Knowledge Management concerns all aspects of eliciting, acquiring, modelling and managing knowledge and the role of knowledge in the construction of systems and services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, and so on.

    EKAW 2022 welcomes long and short papers dealing with theoretical, methodological, experimental, and application-oriented aspects of knowledge engineering and knowledge management.

    We will accept three types of papers:
    * Research papers (long and short), presenting a novel method, technique or analysis with appropriate empirical or other types of evaluation as a proof-of-concept.
    * In-use papers (long and short) describing applications of knowledge management and engineering in real environments.
    * Position papers (long and short) which describe novel and innovative ideas, comprise an analysis of currently unsolved problems, or review these problems from a new perspective, in order to contribute to a better understanding of these problems in the research community.

    For more information, see https://ekaw2022.inf.unibz.it.
  • 15 - 19 August 2022, Cognition And OntologieS Workshop (CAOS 2022), Joenkoeping, Sweden

    Date: 15 - 19 August 2022
    Location: Joenkoeping, Sweden
    Deadline: Friday 3 June 2022

    The purpose of the workshop is to bridge the gap between the cognitive sciences and research on formal ontologies and, thus, to create a venue for researchers interested in interdisciplinary aspects of knowledge representation.

    More specifically, CAOS investigates key cognitive phenomena and concepts (and the involved terminology) that can be found across language, psychology, and reasoning, and how they can be formally and ontologically understood and analysed. The exploration of the connection between cognitive sciences/experimental psychology and ontologies, as well as, more generally, symbolic AI, aims also to provide formal and logical modelling and reasoning approaches for capturing such connections. CAOS, thus, seeks answers to ways such formalisations and ontological analysis can be exploited in Artificial Intelligence and information systems, also in practical application.

    Cognition And OntologieS 2022 is part of the 8th Joint Ontology Workshops (JOWO 2022).

    We welcome submissions on topics related to the ontology of hypothesised building blocks of cognition (such as image schemas, affordances, categories, and related notions) and of cognitive capacities (such as concept invention and combination, language acquisition and categorisation), as well as system-demonstrations modelling these capacities in application settings. We also welcome submissions addressing the cognitive and epistemological adequacy of ontological modelling.

    We welcome researchers from all career stages to participate. Besides full research papers, work in progress (short papers) and extended abstracts (presentation only) are also welcome since a central goal of the workshop is the discussion of ongoing interdisciplinary work. All research papers must be original and not submitted to or accepted by any other workshop, conference or journal.

    For more information, see https://caos.inf.unibz.it.
  • 1 August 2022, The 9th Workshop on Probabilistic Logic Programming (PLP 2022), Haifa, Israel

    Date: Monday 1 August 2022
    Location: Haifa, Israel
    Deadline: Friday 10 June 2022

    Probabilistic logic programming (PLP) approaches have received much attention in this century. They address the need to reason about relational domains under uncertainty arising in a variety of application domains, such as bioinformatics, the semantic web, robotics, and many more. Developments in PLP include new languages that combine logic programming with probability theory as well as algorithms that operate over programs in these formalisms. By promoting probabilities as explicit programming constructs, inference, parameter estimation and learning algorithms can be run over programs that represent highly structured probability spaces. Partly due to logic programming's strong theoretical underpinnings, PLP is fast becoming a very well founded area of probabilistic programming.

    This workshop provides a forum for the exchange of ideas, presentation of results and preliminary work in all areas related to probabilistic logic programming. While PLP has already contributed a number of formalisms, systems and well understood and established results in: parameter estimation, tabling, marginal probabilities and Bayesian learning, many questions remain open in this exciting, expanding field in the intersection of AI, machine learning and statistics. The workshop encompasses all aspects of combining logic, algorithms, programming and probability. It aims to bring together researchers in all aspects of probabilistic logic programming, including theoretical work, system implementations and applications. Interactions between theoretical and applied minded researchers are encouraged.

    A mixture of papers are sought including: new results, work in progress as well as technical summaries of recent substantial contributions. Papers presenting new results should be 6-15 pages in length. Work in progress and technical summaries can be shorter (2-5 pages). Contributions should be prepared in the 1-column CEURART style. Submissions will be managed via EasyChair. At least one author of each accepted paper will be required to attend the workshop to present the contribution.

    For more information, see http://stoics.org.uk/~plp2022/ or contact Roberta Calegari at , or Luke Dickens at .
  • 15 - 19 August 2022, First International Workshop on Formal Models of Knowledge Diversity (FMKD), Joenkoeping, Sweden

    Date: 15 - 19 August 2022
    Location: Joenkoeping, Sweden
    Deadline: Wednesday 15 June 2022

    FMKD@JOWO intends to create a space of confluence and a forum for discussion for researchers interested in knowledge diversity in a wide sense, including diversity in terms of diverging perspectives, different beliefs, semantic heterogeneity and others. The importance of understanding and handling the different forms of diversity that manifest between knowledge formalisations (ontologies, knowledge bases, or knowledge graphs) is widely recognised and has led to the proposal of a variety of systems of representation, tackling overlapping aspects of this phenomenon.

    Besides understanding the phenomenon and considering formal models for the representation of knowledge diversity, we are interested in the variety of reasoning problems that emerge in this context, including jointly reasoning with possibly conflicting sources, interpreting knowledge from alternative viewpoints, consolidating the diversity as uncertainty, reasoning by means of argumentation between the sources and pursuing knowledge aggregations among others.

    We seek three types of contributions: * Full research papers not exceeding 14 pages excluding the bibliography. * Short papers not exceeding 6 pages excluding the bibliography. * Extended abstracts (presentation only) should be 2-4 pages long including the bibliography. Please, note that extended abstracts will not be included in the CEUR proceedings.

    All papers must be original and not submitted to or accepted by any other workshop, conference or journal. For inclusion in the JOWO proceedings, short papers must be at least 5 pages long. All contributions will be peer-reviewed. Papers should be submitted non-anonymously in PDF format in compliance with the new 1-column CEUR-ART Style. Submissions will be managed via EasyChair. At least one author of each accepted paper will be required to attend the workshop to present the contribution.

    For more information, see https://sites.google.com/unimib.it/fmkd/ or contact .
  • 26 - 29 September 2022, The 5th workshop Formal Reasoning and Semantics (FORMALS 2022), Dubrovnik (Croatia) & Virtual

    Date: 26 - 29 September 2022
    Location: Dubrovnik (Croatia) & Virtual
    Deadline: Wednesday 15 June 2022

    The 5th workshop Formal Reasoning and Semantics will be held at the Inter-University Center Dubrovnik (IUC), as a part of the 11th conference Logic and Applications (LAP 2022). Virtual participation is also possible.

    The workshop is organized within the research project Formal Reasoning and Semantics (FORMALS). The emphasis of the project is on applications of logic in computer science, and vice versa, the application of computational tools in logical and mathematical research. Another goal is to apply logic to specific problems of linguistics or, more generally, cognitive and information sciences, as well as interdisciplinary areas in which economics and mathematics overlap (game theory, social choice theory).

    We have several 30 min slots available for contributed talks. All contributions which broadly fit the main goal of the project - mutual enrichment of pure and applied logic - are welcome. Authors should submit an abstract in LaTeX format, not exceeding three pages.

    For more information, see http://formals.ufzg.hr/index.php/workshop/.
  • CfP special issue of Studia Logica on "Frontiers of connexive logic"

    Deadline: Thursday 30 June 2022

    Modern connexive logic started in the 1960s with seminal papers by Richard B. Angell and Storrs McCall. Connexive logics are orthogonal to classical logic insofar as they validate certain non-theorems of classical logic. 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.

    Recently, connexive logics have received new attention. Following the conference Trends in Logic XXI, ”Frontiers of connexive logic”, this special issue is meant to present current work on connexive logic to stimulate future research. Any papers related to connexive logics are welcome. Moreover, we will have a special section on other contra-classical logics, and thus any papers related to contra-classical logics, other than connexive logics, are welcome.

    Submissions of papers, following the general rules of Studia Logica, should be submitted via the Editorial Manager system by selecting the article type "S.I. : Frontiers of Connexive Logic".

    For more information, see https://www.springer.com/journal/11225/updates/20061914 or contact Hitoshi Omori at , or Heinrich Wansing at .
  • 19 - 21 October 2022, 14th French Philosophy of Mathematics Workshop (FPMW 14), Nantes, France

    Date: 19 - 21 October 2022
    Location: Nantes, France
    Deadline: Friday 1 July 2022

    The fourteenth edition of the French Philosophy of Mathematics Workshop  (FPMW) will be held from the 19th to the 21st of October 2022 at Nantes University.

    Each year, the workshop program consists of five talks by invited speakers, and five contributed talks.

    This year, the invited speakers are: Mark van ATTEN (CNRS, Ecole Normale Supérieure), Erwan BRUGALLÉ (Nantes Université), Jessica CARTER (Aarhus Universitet), Jean-Baptiste JOINET (Université Lyon III Jean Moulin) and Göran SUNDHOLM (Universiteit Leiden).

    For the five contributed talks, all topics in the philosophy of mathematics are welcome, whatever their approach. The workshop is also open to philosophical talks presenting a link to mathematics that do not fall under the philosophy of mathematics in a strict sense. Length of talks: 45 minutes of presentation and 30 minutes of discussion. The languages of the workshop will be French and English.

    Young researchers as well as doctoral students are particularly encouraged to submit a proposal. This workshop will be an occasion to have their work discussed by recognized international experts.

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

  • 12 September 2022, 1st Workshop on Argumentation for eXplainable Artificial Intelligence (ArgXAI 2022), Cardiff (Wales) & Virtual

    Date: Monday 12 September 2022
    Location: Cardiff (Wales) & Virtual
    Deadline: Friday 8 July 2022

    The aim of this workshop is to bring together researchers from the fields of computational argumentation and eXplainable Artificial Intelligence (XAI). We specifically seek contributions that present formal work on argumentative explainability, as well as argumentative approaches that explain the behaviour of intelligent systems (argumentation for XAI).The workshop is to be held at the:International Conference on Computational Models of Argument (COMMA 2022).

    We will welcome:
    * Original contributions in the form of mature papers or work in progress;
    * Incremental developments (of at least 30% new material) of already published work.

    Submissions must be up to 12 pages in PDF format, including abstracts, figures and references, and according to the CEUR-WS template. The reviewing will be single-blind.

  • 13 - 17 February 2023, Computer Science Logic 2023 (CSL’23), Warsaw, Poland

    Date: 13 - 17 February 2023
    Location: Warsaw, Poland
    Deadline: Saturday 9 July 2022

    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'23 will be held on February 13 - 16, 2023, in Warsaw, Poland, with satellite workshops on February 17. It is planned as an on-site event, with support for remote presence for those participants who are unable to come for pandemic reasons. Keynote speakers: Claudia Faggian (Université de Paris, France), Nina Gierasimczuk (Danish Technical University, Denmark), Dale Miller (Inria Saclay, France), Michał Pilipczuk Pilipczuk (University of Warsaw, Poland) and Davide Sangiorgi (University of Bologna, Italy).

    Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including appendices or references), presenting unpublished work fitting the scope of the conference. Papers may not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or a journal.

    Submitted papers must be in English and must provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a clearly marked technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the PC. The paper should be submitted via Easychair.

    For more information, see https://csl2023.mimuw.edu.pl/.
  • 12 - 16 September 2022, Section Mathematical Logic at DMV Annual Meeting 2022, Berlin, Germany

    Date: 12 - 16 September 2022
    Location: Berlin, Germany
    Deadline: Sunday 17 July 2022

    The 2022 edition of the annual meeting of the German Mathematical Society (DMV) will take place in person in Berlin, September 12th to 16th, 2022.

    We are organizing a section on Mathematical Logic at this meeting and have four main invited speakers who will give 50 minute talks: Philipp Hieronymi (Bonn), Maxwell Levine (Freiburg), Nadav Meir (Wrocław), Philipp Schlicht (Bristol).

    In addition, we would like to invite postdocs and PhD students in logic to present their work and give them the opportunity to network. The talks will be 25 min long and should be addressed to a wide range of logicians. Everyone who is interested in participating is welcome to register and submit an abstract for the section "S01. Mathematical Logic".

    For more information, see here or at http://www.mi.fu-berlin.de/dmv2022/ or contact Aleksandra Kwiatkowska, Sandra Müller at .
  • 20 September 2022, 8th Workshop on Formal and Cognitive Reasoning (FCR-2022), Trier, Germany

    Date: Tuesday 20 September 2022
    Location: Trier, Germany
    Deadline: Sunday 17 July 2022

    Information for real-life AI applications is usually pervaded by uncertainty and subject to change, thus demands non-classical reasoning approaches. At the same time, psychological findings indicate that human reasoning cannot be completely described by classical logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. A wide range of reasoning mechanisms has to be considered, such as analogical or defeasible reasoning, possibly in combination with machine learning methods. The field of knowledge representation and reasoning offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches.

    The aim of this series of workshops is to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular provide a forum for research work linking different paradigms of reasoning. A special focus is on papers that provide a base for connecting formal-logical models of knowledge representation and cognitive models of reasoning and learning, addressing formal and experimental or heuristic issues. FCR 2022 will be co-located with the 45th German Conference on Artificial Intelligence in Trier, Germany.

    We welcome papers on the following and any related topics: Action and change, Agents and multiagent systems, Analogical reasoning, Argumentation theories, Belief change and belief merging, Cognitive modeling and empirical data, Common sense and defeasible reasoning, Computational thinking, Decision theory and preferences, Inductive reasoning and cognition, Knowledge representation in theory and practice, Learning and knowledge discovery in data, Nonmonotonic and uncertain reasoning, Ontologies and description logics, Probabilistic approaches of reasoning, and Syllogistic reasoning.

    Papers should be formatted according to the Springer LNCS format. The length of each paper should not exceed 8-12 pages. All papers must be written in English and submitted in PDF format via the EasyChair system.

  • 26 - 28 October 2022, 7th Workshop on Connexive Logics, Mexico City, Mexico

    Date: 26 - 28 October 2022
    Location: Mexico City, Mexico
    Deadline: Monday 1 August 2022

    Connexive logics are orthogonal to classical logic insofar as they validate certain non-theorems of classical logic involving mainly negation and implication. Systems of connexive logic have been motivated by considerations of a content connection between the antecedent and consequent of valid implications, cancellation-like accounts of negation, as well as by applications that range from Aristotle's syllogistic to Categorial Grammar and the study of causal implications.

    As interests in topics related to connexive logics are growing, the seventh workshop aims at discussing directions for future research in connexive logics. Special focus will be given to discussions on the nature of connexivity, the place of connexive logics among non-classical logics, the historical roots of connexive logics and empirical research on connexivity and connexive principles.

    Any papers related to connexive logics are welcome. Topics of interest include (but are not limited to) the following:
      -Philosophical and historical considerations of the notion of connexivity;
      -Examinations of various systems of connexive logics;
      -Relations between connexive logics and other non-classical logics, such as relevance or conditional logics;
      -Philosophical implications of connexive logics;
      -Empirical studies on the scope of connexivity.

  • download.png

    19 - 21 December 2022, 23rd Amsterdam Colloquium, Amsterdam (the Netherlands)

    Date: 19 - 21 December 2022
    Location: Amsterdam (the Netherlands)
    Deadline: Thursday 1 September 2022

    The Amsterdam Colloquia aim to bring together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages.

    In addition to the general programme, the 23rd Amsterdam Colloquium will feature two workshops: one on Biases in Language and Cognition and one on Compositional Approaches to Projection. The Colloquium will also include a poster session, and host one evening lecture jointly organized with the E.W. Beth Foundation.

    Important Dates

    Submission deadline: 1 September 2022
    Notification of acceptance: 20 October 2022
    Deadline for proceeding papers: 1 December 2022
    Conference: 19-21 December 2022

    For more information, see https://events.illc.uva.nl/AC/AC2022/.
  • CfP special issue of Axiomathes on Mathematical neutrality

    Deadline: Thursday 1 December 2022

    Mathematics is usually regarded as a discipline which admits no grey areas in most situations: answers are either correct or incorrect; there is a universal, objective, correct answer. On the other hand, ethical, moral and political questions are usually not "correct" or "incorrect", they are complicated and full of grey areas. This makes it extremely tempting to see the sciences and mathematics as a good way to settle disputes concerning issues like justice or equity.

    Similarly, it is usually considered that mathematics is the universal language of the world, one that describes it "as it is". According to this view, mathematics is neutral in the production of scientific knowledge: the scientist discovers the mathematical rules of nature (like laws and mathematical models) and applies mathematical methods to which nature owes allegiance (like statistics and algorithms).

    Recent scholarship warns about the increasing use of mathematical techniques in order to prescribe policies and produce knowledge under a veil of neutrality, and argues that we should carefully evaluate the consequences of these techniques in science and society. This Topical Collection aims at contributing to this literature.

    For more information, see here or at https://www.springer.com/journal/10516 or contact José Antonio Pérez-Escobar at , or Deniz Sarikaya at .
  • CfP topical collection of Synthese on temporal reasoning and tensed truths

    Deadline: Saturday 31 December 2022

    This topical collection is dedicated to the formal representation of arguments involving *temporal* *reasoning *and* tensed truths*; in particular, arguments with a clear significance to everyday life.

    In a broad perspective, temporal reasoning can be rigorously encoded via *intensional logic*, treating tenses as modalities, or via *extensional logic*, quantifying over domains of temporal objects (e.g., instants, intervals, etc.). Nowadays there are several formal devices (languages, systems, semantics, etc.) able to deal with time in many regards. Each of these devices is characterized by peculiar features, such as a certain choice of primitive notions and, arguably, a certain kind of ontological commitment. The truth-conditions of (the propositions expressed by) statements involving tenses can be explained either in terms of the 'past-present-future' opposition (McTaggart's A-theory) or in terms of the 'earlier-later' opposition (McTaggart's B-theory). Moreover, taking into account the difference between chronologically definite propositions and chronologically indefinite propositions (Rescher 1966), it is possible to distinguish between atemporal and temporal (or *tensed*) notions of truth. This topical collection will primarily focus on the latter.

    For more information, see https://philevents.org/event/show/98602 or contact Vincent Grandjean at , or Matteo Pascucci at .

Upcoming conferences

  • 21 - 27 May 2022, 2022 Program for Women and Mathematics "The Mathematics of Machine Learning"

    Date: 21 - 27 May 2022
    Location: New Jersey, U.S.A.
    Target audience: women researchers at undergraduate, graduate, postdoctoral and junior faculty level

    Co-sponsored by the National Science Foundation, Lisa Simonyi, the Institute for Advanced Study (IAS), and Princeton University Department of Mathematics, Women and Mathematics (WAM) is an annual program that aims to recruit and retain more women in mathematics. WAM aims to counter the initial imbalance in the numbers of men and women entering mathematics training as well as the higher attrition rate of female mathematicians compared to their male counterparts at every critical transition stage in mathematical careers. WAM encourages female mathematicians to form collaborative research relationships and to become active in a vertical mentoring network spanning a continuum from undergraduates to emerita professors, which provides support and reduces the sense of isolation experienced by many women in mathematics. While there are a number of women's programs targeted solely at undergraduates, or graduate students, or postdocs, very few programs provide the depth and breadth that come from simultaneously including features tailored for undergraduate students, graduate students, and researchers from a broad spectrum of US institutions, all in one united community of scholars, as WAM does.

    Terng Lecture Series: Cynthia Rudin (Duke University), Introduction to Interpretable Machine Learning.
    Uhlenbeck Lecture Series: Maria Florina Balcan (Carnegie Mellon University), Foundations for Learning in the Age of Big Data

  • 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

    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.

  • 27 - 28 May 2022, Formal Ontology of Mathematical Objects (FOMO 2022), Konstanz, Germany

    Date: 27 - 28 May 2022
    Location: Konstanz, Germany

    Ontological questions have always been central to the philosophy of mathematics. Besides the standard accounts of mathematical ontology, in recent times new paradigms have emerged, in connection with new important mathematical breakthroughs, but also with the advent of new automated tools for mathematical enquiries. This workshop aims to bring together scholars who have devoted time and effort to clarify which kinds of mathematical objects there are and what their nature consists in, and to present new trends in the philosophical investigations of mathematical ontology.

  • 30 May - 1 June 2022, Leeds Computability Days 2022, Leeds (England) & Virtual

    Date: 30 May - 1 June 2022
    Location: Leeds (England) & Virtual

    We are pleased to announce that Leeds Computability Days 2022 will take place from 30 May to 1 June 2022 at the University of Leeds.

    Leeds Computability Days 2022 is a hybrid meeting. Registration is required (but free!) for both in person and online participants.

    For more information, see https://www.computability.org/LCD2022/ or contact Paul Shafer at .
  • 1 - 3 June 2022, Masterclass in the Philosophy of Mathematical Practice, Brussels, Belgium / Online (Hybrid)

    Date: 1 - 3 June 2022
    Location: Brussels, Belgium / Online (Hybrid)
    Costs: Free

    The Centre for Logic and Philosophy of Science (CLPS) of the Vrije Universiteit Brussel (VUB) will host its Third Masterclass in the Philosophy of Mathematical Practice on June, 1-3 with Valeria Giardino (CNRS, Institut Jean Nicod, Paris).

    We intend the Masterclass to be a fully interactive event, with the twofold objective to understand in depth the materials presented in the lectures, and to provide early career researchers (PhD students and Postdocs) with an opportunity to discuss their ongoing work in a helpful and constructive environment. The lectures by Valeria Giardino will take place in the mornings, and will be followed by afternoon sessions with presentations by early career researchers in the Philosophy of Mathematical Practice. The exact titles of the lectures will be communicated at a later stage.

  • 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 .
  • 3 June 2022, Heyting Day 2022: Wittgenstein's Tractatus

    Date & Time: Friday 3 June 2022, 10:00-16:30
    Location: Trippenhuis KNAW, Kloveniersburgwal 29, 1011 JV Amsterdam
    Costs: free (registration required)

    A hundred years ago, Wittgenstein's Tractatus Logico-Philosophicus was published in English and in German. Since that time, the book has engendered enduring fascination both from professional philosophers and from interested laypersons. This interest is both due to the book's themes and to its literary style. The themes include the nature of reality, the relationship between world and language, the nature of logic, ethics, the self, the mystical.

    The Tractatus gives rise to many exciting issues of interpretation. The speakers of the Heyting Day will throw light on some of these issues, especially on Wittgenstein's views on the nature of logic and on the role of the first person in the Tractatus. The day will provide ample room to reflect together about what the book has to tell us. Sure, not all can be said, but we will try to say what we can and show what we can't.

    For more information, see https://knaw.nl/heyting-day-2022 or contact Jolanda Pel at .
  • 6 - 11 June 2022, 2nd Conference on Ultrafilters & Ultraproducts across mathematics and related topics (ULTRAMATH 2022), Pisa (Italy) and/or Virtual

    Date: 6 - 11 June 2022
    Location: Pisa (Italy) and/or Virtual

    The International Conference "ULTRAMATH 2022" aims to present recent results in the whole spectrum of mathematics which are grounded on the use of ultrafilters and ultraproducts. Its main goals:
     - Disseminate information about the various techniques related to the use of ultrafilters and ultraproducts, and their potential to attack open problems.
     - Bring together researchers with different backgrounds, and encourage their collaborations and interactions, especially on topics connecting different areas of mathematics.

    This is the second edition of "UltraMath", after the one held in Pisa in 2008. After two years of postponement, we are strongly committed to holding this 2022 edition with the physical presence of lecturers and participants. We will make every effort to ensure that this is done safely; in the unfortunate case of a new emergency due to the pandemic, UltraMath 2022 will take place anyway as a hybrid or as an online event, depending on the situation.

    For more information, see https://www.ultramath.it/ or contact .
  • Urbino.png

    6 - 11 June 2022, XXV International Summer School in Philosophy of Physics "Dualities between Physics and Philosophy"

    Date: 6 - 11 June 2022
    Location: University of Urbino
    Target audience: Students and young researchers
    Costs: €70 (in person) or €30 (online)

    The XXV International Summer School in Philosophy of Physics of the University of Urbino will focus on a crucial topic of research in physics and philosophy: dualities, in particular in their gauge/gravity incarnation, and their philosophical implications.

    This topic has manifold ramifications, both for physics and for philosophy, as our speakers will show. The three speakers are professor Jonathan Bain (Department of Technology, Culture and Society/Philosophy Department, NYU), professor Johanna Erdmenger (Physics Department, University of Würzburg), and professor Sebastian De Haro (Institute for Logic, Language and Computation, UvA).

  • 7 - 8 June 2022, Rudolf Carnap Lectures & Graduate Workshop 2022, Bochum (Germany) & Virtual

    Date: 7 - 8 June 2022
    Location: Bochum (Germany) & Virtual

    It's an honor and a pleasure to host Cecilia Heyes in Bochum as our Rudolf-Carnap Lecturer 2022! Prof. Heyes' work concerns the evolution of cognition. It explores the ways in which natural selection, learning, developmental and cultural processes combine to produce the mature cognitive abilities found in adult humans. She is especially interested in social cognition. Most of her current projects examine the possibility that the neurocognitive mechanisms enabling cultural inheritance - social learning, imitation, mirror neurons, mind reading etc - are themselves products of cultural evolution.

    Cecilia Heyes will give three keynote talks (also available via online streaming). Additionally, there will be selected talks by Stephen Butterfill and many more.

    For more information, see https://philosophy-cognition.com/carnap/ or contact Nicolas Lindner at .
  • 10 - 12 June 2022, Second International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2022), Zhuhai (China) and Virtual

    Date: 10 - 12 June 2022
    Location: Zhuhai (China) and Virtual

    LNGAI 2022 is associated with a national key project called 'Research on Logics for New Generation Artificial Intelligence' (2021-2025), supported by the National Social Science Foundation of China. The main objectives of this project are to develop theories and techniques of non-monotonic logics and formal argumentation and apply them to causal reasoning, knowledge graph reasoning, and reasoning about norms and values, in an open, dynamic and real environment. Along with the project, we organize annual international workshops that aim at enabling efficient communication and collaboration between members of the project as well as other researchers who are interested in the topics of this project.

    Due to the uncertainties of the COVID-19 pandemic situations, LNGAI 2022 will be held in a HYBRID format (virtual and physical attendance both accepted), but participants from mainland China are supposed to attend on site.

    For more information, see https://xixilogic.org/lngai/2022/.
  • 10 June 2022, ILLC Midsummernight Colloquium 2022

    Date & Time: Friday 10 June 2022, 16:00-17:30
    Location: ILLC Common Room F1.21, Science Park 107, Amsterdam

    The ILLC Colloquium is a half-yearly festive event (either the New Year's Colloquium, the Midsummernight Colloquium or the Midwinter Colloquium) that brings together the six research groups at the ILLC. Each colloquium consists of three talks by representatives from three of the six reseach units at the ILLC. The colloquium is concluded by a get together of the entire ILLC community.

    This year we will have talks from 16h00 to 17h30, followed by on-campus drinks from 17h30 onwards.

    The current organisers of the colloquium are Malvin Gattinger and Aybüke Özgün.

    For more information, see https://www.illc.uva.nl/ILLCColloquium/ or contact Aybüke Özgün at , or Malvin Gattinger at .
  • 13 - 16 June 2022, Fourth Nordic Logic Summer School (NLS 2022), Bergen, Norway

    Date: 13 - 16 June 2022
    Location: Bergen, Norway

    The fourth Nordic Logic Summer School is arranged under the auspices of the Scandinavian Logic Society. The three previous schools were organized in Nordfjordeid, Norway (2013), Helsinki, Finland (2015) and Stockholm, Sweden (2017). The intended audience is masters students, PhD-students, postdocs, and experienced researchers, who wish to learn the state of the art in a range of topics in contemporary logic.

    Five courses on themes in philosophical logic, mathematical logic, and computational logic will be offered. No parallel sessions are planned, so it will be possible to attend them all: Fan Yang: Proof Theoretic Aspects of Dependence Logics, Peter Fritz: Propositional Quantification, Nina Gierasimczuk: Learning and Modal Logic, Paulo Oliva: Realizability, and Thomas Powell: Proof Mining.

    This summer school immediately precedes the eleventh Scandinavian Logic Symposium, which will also be held at the University of Bergen, June 17-19. It is likely that there will be a student poster session on June 17, possibly augmented by other student events.

    Early registration deadline: 15 May 2022.

    For more information, see https://scandinavianlogic2020.w.uib.no/fourth-nordic-logic-summer-school-nls-2020/ or contact NLS 2022 organising committee at .
  • 13 - 17 June 2022, 5th SILFS Postgraduate Conference on Logic & Philosophy of Science, Milan, Italy

    Date: 13 - 17 June 2022
    Location: Milan, Italy

    We are pleased to announce that the 5th SILFS Postgraduate Conference on Logic and Philosophy of Science will be entirely devoted to young researchers. The aim of the conference is to gather young researchers working in the field of logic and philosophy of science and offer them the opportunity to present and discuss their papers in an informal and stimulating environment.

    The conference is divided into eight sessions, namely:
    1) Philosophy of Biology and Health Sciences
    2) Philosophy of Mind and Cognitive Science
    3) Foundations of Computing and Artificial Intelligence
    4) Classical and Non-Classical Logics
    5) Philosophy and Foundations of Physics
    6) Foundations of Logic and Mathematics
    7) Philosophy of Social Sciences
    8) General Philosophy of Science

    For more information, see http://silfs2022.unimib.it.
  • 13 - 17 June 2022, 24th International Conference on Coordination Models and Languages (COORDINATION 2022), Lucca, Italy

    Date: 13 - 17 June 2022
    Location: Lucca, Italy

    Modern information systems rely increasingly on combining concurrent, distributed, mobile, adaptive, reconfigurable and heterogeneous components. New models, architectures, languages and verification techniques are necessary to cope with the complexity induced by the demands of today’s software development. Coordination languages have emerged as a successful approach, in that they provide abstractions that cleanly separate behaviour from communication, therefore increasing modularity, simplifying reasoning, and ultimately enhancing software development. Building on the success of the previous editions, this conference provides a well-established forum for the growing community of researchers interested in models, languages, architectures, and implementation techniques for coordination.

    COORDINATION 2022 is planned as a physical, in-person event, with certain support for remote presence, both for speakers and for other participants who are unable or unwilling to come. Depending on the pandemic situation, we may have to make a decision whether to cancel the physical component of the event or not.

    For more information, see https://www.discotec.org/2022/coordination.
  • 13 - 17 June 2022, 15th Summer School on Modelling and Verification of Parallel Processes (MOVEP2022), Aalborg, Denmark

    Date: 13 - 17 June 2022
    Location: Aalborg, Denmark
    Costs: Early-bird 350 Euro (before May 1st, 2022), Late 400 Euro

    MOVEP is a five-day summer school on modelling and verification of infinite state systems. It aims to bring together researchers and students working in the fields of control and verification of concurrent and reactive systems.

    MOVEP 2022 will consist of ten invited tutorials. In addition, there will be special sessions that allow PhD students to present their on-going research (each talk will last around 20 minutes). Extended abstracts (1-2 pages) of these presentations will be published in informal proceedings.

    The organisation committee is closely monitoring the COVID situation. Currently, we are planning for an in-person school in Aalborg with the possibility for remote participation for those that cannot attend in person. Should it become necessary, the school will be held virtually.

    For more information, see https://movep2022.cs.aau.dk/.
  • 14 - 15 June 2022, 85th Birthday Logic Conference in honour of John N. Crossley, Virtual

    Date: 14 - 15 June 2022
    Location: Virtual

    A two day logic conference to mark the 85th birthday of John N. Crossley will take place on the dates of 14-15 June 2022 (the sessions will be scheduled in AEST but they will be friendly to North-American and European time zones as well). This will be a fully online Zoom event (please contact the organizer, Guillermo Badia, at for the links). Everyone is very welcome to attend!

    The speakers will be:
    Anil Nerode (Cornell University, USA)
    Yuri Gurevich (University of Michigan, USA)
    Rohit Parikh (CUNY, USA)
    Rod Downey (Victoria University of Wellington, NZ)
    Wilfrid Hodges (British Academy London, UK)
    Martin Wirsing (LMU Munich, Germany)
    Johan van Benthem (Stanford & Amsterdam, USA and the Netherlands)
    Liz Sonenberg (University of Melbourne, Australia)
    Geoff Sutcliffe (University of Miami, USA)

  • 16 - 17 June 2022, Fourteenth Latin American Workshop on New Methods of Reasoning (LANMR 2022), Virtual

    Date: 16 - 17 June 2022
    Location: Virtual

    LANMR 2022 is the fourteenth edition of the Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning. The aim of LANMR is to bring together researchers interested in methods of reasoning and applications involving logic broadly understood from philosophy to programming languages and artificial intelligence.  LANMR 2022 will be held on June 16th and 17th, 2022 fully online due to the COVID19 outbreak.

    For more information, see http://www.lanmr.unam.mx.
  • 16 - 17 June 2022, Czech Gathering of Logicians 2022, Prague, Czech Republic

    Date: 16 - 17 June 2022
    Location: Prague, Czech Republic
    Costs: CZK 1.000,-

    Czech Gathering of Logicians is an annual regional event that brings together researchers in all areas of logic. Invited Speakers: Libor Běhounek (University of Ostrava), Chris Fermüller (Vienna University of Technology), Elías Fuentes-Guillén (Czech Academy of Sciences), Vít Punčochář (Czech Academy of Sciences) and Šárka Stejskalová (Charles University). The conference lanuguage is English.

    For more information, see http://uivty.cs.cas.cz/~clog2022/ or contact .
  • (New) 20 June - 1 July 2022, ABC SummerSchool: Computations in Consciousness and Perception

    Date: 20 June - 1 July 2022
    Location: Amsterdam (the Netherlands)

    The 2022 ABC Summer School will present the selected students with the opportunity to dive into these topics during a 12-day full-time program, from the hand of world-renowned experts from the fields of neuroscience, psychology and AI.

  • 20 - 21 June 2022, Conference "Engineering the Concept of Collection", Oslo (Norway) & Virtual

    Date: 20 - 21 June 2022
    Location: Oslo (Norway) & Virtual

    The history of mathematics and philosophy have seen many different concepts of collection: a set (understood as a gathering into one of previously available objects), a class (understood as defined by its membership condition, not by its members), a mereological sum, etc. Indeed, even a plurality (i.e. many objects) and a concept can be seen as a collection, since it makes sense to talk about their members (or instances). These observations raise some general philosophical-mathematical questions. What concepts of collection do we have? Which, if any, of these concepts should we use? Or should we '(re-)engineer' one or more concepts of collection to produce concepts that are fit for purpose?

    Alongside these longstanding debates about the nature of collections, there are also questions of how exactly each conception should be made precise. Recent attempts to make sense of the ontology of combinatorial sets, for example, have proposed very different pictures of what they are like. This is especially clear in the debates on the nature of our thought concerning 'the'€™ universe of sets.

    The workshop will be hybrid (in-person and online). Registration is free but is required to attend the workshop.

  • 20 - 23 June 2022, 12th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2022), Helsinki, Finland

    Date: 20 - 23 June 2022
    Location: Helsinki, Finland

    The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems. The goal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration, and identify new issues and directions for future research.

    The FoIKS symposia are a forum for intensive discussions. Speakers will be given sufficient time to present their ideas and results within the larger context of their research. Furthermore, participants will be asked to prepare a first response to another contribution in order to initiate discussion.

    For more information, see https://foiks2022.github.io or contact .
  • 20 - 25 June 2022, 28th International Conference on Types for Proofs and Programs (TYPES 2022), Nantes (France)

    Date: 20 - 25 June 2022
    Location: Nantes (France)

    The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming.

    The TYPES areas of interest include, but are not limited to: * foundations of type theory and constructive mathematics; * applications of type theory; * dependently typed programming; * industrial uses of type theory technology; * meta-theoretic studies of type systems; * proof assistants and proof technology; * automation in computer-assisted reasoning; * links between type theory and functional programming; * formalizing mathematics using type theory.

    For more information, see https://types22.inria.fr/ or contact .
  • 21 - 22 June 2022, French-Fest: Celebrating 40 years of Philosophy of Science, Leeds, England

    Date: 21 - 22 June 2022
    Location: Leeds, England

    Join colleagues, former graduate students and friends for this celebration of Steven French's lifelong contribution to the field of philosophy of science.

    For more information, see https://juha-saatsi.org/753-2/ or contact .
  • 22 - 24 June 2022, AAL Annual Conference: Australasian Association for Logic, Virtual, Online via Zoom

    Date: 22 - 24 June 2022
    Location: Online via Zoom

    The Australasian Association for Logic will hold its annual conference online via Zoom from Wednesday, June 22 to Friday, June 24, 2022. There will be three one-hour tutorials on different logic-related topics. The speakers will be Julian Gutierrez (Monash University), and two more experts (TBA). Session times will be 40 minutes. The scheduling is done according to Brisbane/Sydney/Canberra local time (AEST, UTC+10).

  • 24 - 26 June 2022, The Quantum, the Thermal and the Gravitational Reconciled: Physics and Philosophy in the Varied Landscape of the Intersections, Munich Center for Mathematical Philosophy

    Date: 24 - 26 June 2022
    Location: Munich Center for Mathematical Philosophy
    Target audience: Researchers and masters students
    Costs: 40/25/free

    Quantum, thermal, and gravitational theories constitute the three great pillars of modern fundamental physics. Each is, prima facie, conceptually and physically independent of the other two, and finds its application in regimes well separated from those of the others. Indeed, central principles of each are in manifest tension with those of the other, if not outright contradiction: general relativity admits causal and topological structures seemingly inconsistent with quantum mechanical dynamics; the superpositions of quantum mechanics conflict with general relativity's fixed causal structures; and both are in manifest tension if not outright contradiction with the most characteristic features of thermodynamics, viz., irreversibility and temporal asymmetry. It is thus of paramount importance that we investigate how our three best, most fundamental theories fit together, if indeed they do at all. In the past and in recent times, physicists and philosophers have worked together in remarkably fruitful ways in each of the three fundamental fields.

    This conference will explore these philosophical and foundational issues that arise where two or more of these three frameworks intersect. Our aim is to foster such collaboration at the intersections of the three. As such, we will be guided by the irenic spirit (and person) of Jeremy Butterfield, whose work, magisterially spanning these topics, has inspired and continues to inspire, all of us.

  • 28 June - 1 July 2022, 10th Conference on Highlights of Logic, Games, & Automata (HIGHLIGHTS 2022), Paris, France

    Date: 28 June - 1 July 2022
    Location: Paris, France

    HIGHLIGHTS 2022 is the tenth conference on Highlights of Logic, Games and Automata. It aims at integrating the community working in these fields. Papers from these areas are dispersed across many conferences, which makes them difficult to follow. A visit to the Highlights conference should offer a wide picture of the latest research in the field and a chance to meet everybody in the community, not just those who happen to publish in one particular proceedings volume.

    Representative areas include, but are not restricted to: algorithmic model theory, automata theory, databases, game for logic and verification, logic, and verification. Invited talks: Dexter Kozen (USA), Marta Kwiatkowska (UK), Markus Lohrey (Germany) and Tatiana Starikovskaya (France). Tutorials: S. Akshay (India) and Dana Fisman (Israel).

    For more information, see https://highlights-conference.org/2022/.
  • (New) 30 June - 2 July 2022, Days in Logic 2022, Faro (Portugal) & Virtual

    Date: 30 June - 2 July 2022
    Location: Faro (Portugal) & Virtual

    The 10th edition of Days in Logic will be a hybrid event taking place at the University of Algarve, Faro, but allowing for remote participation. This biennial meeting aims at bringing together logicians, mathematicians, computer scientists and other scientists from Portugal (but also elsewhere) with interest in Logic. It is specially directed to graduate students.

    The programme consists of three tutorials by invited speakers and contributed talks. Arrangements for virtual participation will be made, but we encourage in-person participation when possible. Tutorials: "Weihrauch Complexity" by Vasco Brattka (Universität der Bundeswehr München), "(Boolean) Satisfiability and its Applications" by Mikoláš Janota (Czech Technical University in Prague), and "Univalent Combinatorics" by Egbert Rijke (University of Ljubljana).

    For more information, see https://daysinlogic2022.ualg.pt/.
  • 4 July 2022, LearnAut 2022: Learning & Automata, Virtual and Paris, France

    Date: Monday 4 July 2022
    Location: Virtual and Paris, France

    Learning models defining recursive computations, like automata and formal grammars, are the core of the field called Grammatical Inference (GI). The expressive power of these models and the complexity of the associated computational problems are major research topics within mathematical logic and computer science. Historically, there has been little interaction between the GI and ICALP communities, though recently some important results started to bridge the gap between both worlds, including applications of learning to formal verification and model checking, and (co-)algebraic formulations of automata and grammar learning algorithms. The goal of this workshop is to bring together experts on logic who could benefit from grammatical inference tools, and researchers in grammatical inference who could find in logic and verification new fruitful applications for their methods.

    For more information, see https://learnaut22.github.io.
  • (New) 4 July 2022, ICALP Workshop "Trends in Arithmetic Theories", Paris, France

    Date: Monday 4 July 2022
    Location: Paris, France

    Logical theories of arithmetic such as Presburger arithmetic play an important role in a variety of different areas of computer science and have been studied since the early days of the field. The recent years have seen a lot of progress on all aspects of such theories, ranging from new foundational results, algorithmic advances, more performant decision procedures to novel application domains. This progress has largely been obtained independently without much interaction between researchers working on different aspects of this field. The goal of this workshop is to bring together researchers working in the field to exchange latest trends, understand currently existing challenges and to initiate new collaborations.

    Speakers: Émilie Charlier (Université de Liège, Belgium), Philipp Hieronymi (University of Bonn, Germany), Roberto Sebastiani (Università di Trento, Italy), Thomas Sturm (Loria Nancy, France & MPI for Informatics, Germany) and Sven Verdoolaege (Cerebras Systems, Belgium). In addition to invited talks, we plan to include an introductions-type session in the programme to give all attendees an opportunity to get to know each other.

  • 4 July 2022, Celebrating 10 Years of EPICENTER

    Date & Time: Monday 4 July 2022, 08:00-17:00

    On July 4 2022, our EPICENTER will organize the seventh EPICENTER Summer Course in Epistemic Game Theory at Maastricht University. This is followed by a Workshop on Epistemic Game Theory on July 18, 2022: 'Celebrating 10 Years of EPICENTER'.

    Information: Information about the course can be found on
    https://www.epicenter.name/summercourse/ .

    Information about the workshop can be found on
    http://www.epicenter.name/workshop/ .

    Register early: we can only allow 30 students to the course. So please be early with your registration. The first 30 students who register will be allowed to participate. The registration deadline is June 1, 2022.

    For more information, see https://www.epicenter.name/summercourse/ or contact Andrés Perea 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/summercourse/ or contact Andrés Perea at .
  • 1uth-vol-new.jpg

    6 - 10 July 2022, 13th Panhellenic Logic Symposium (PLS13), Volos (Greece)

    Date: 6 - 10 July 2022
    Location: Volos (Greece)

    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 a Poster and Mentoring Session.

    For more information, see http://panhellenic-logic-symposium.org/13/ or contact for general enquiries at , George Barmpalias at , or Kostas Hatzikiriakou at .
  • 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

    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. CiE 2022 is planned as an on-site conference with online elements.

    For more information, see https://cs.swansea.ac.uk/cie2022/ or contact .
  • 11 - 15 July 2022, 19th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2022), Milan, Italy

    Date: 11 - 15 July 2022
    Location: Milan, Italy

    The IPMU Conference is organized every two years since 1986 with the focus of bringing together scientists working on methods for the management of uncertainty and aggregation. It also provides a forum for the exchange of ideas between theoreticians and practitioners in these and related areas.

    The conference includes keynote talks by Tomaso A. Poggio, César A. Hidalgo and Marianne Huchard, and various special sessions including one on 'Mathematical Fuzzy Logics: Modalities, Quantifiers and Uncertainty'.

    For more information, see https://ipmu2022.disco.unimib.it/ or contact .
  • 18 - 20 July 2022, Trends in Logic XXII

    Date: 18 - 20 July 2022
    Location: Cagliari, Italy

    The 22nd Trends in Logic workshop, entitled "Strong & Weak Kleene Logics", will take place at the University of Cagliari (Cagliari, Italy) from 18–20 July 2022. It is organized by the ALOPHIS research group of the Department of Pedagogy, Psychology and Philosophy.

    The aim of the workshop is to bring together researchers working on various facets of logics related to the strong and weak Kleene systems, be they algebraic, proof-theoretic, or philosophical. The workshop will be held in a hybrid format, with in-person as well as online sessions. The workshop will be followed by another event on neighbouring topics, the second installment of Workshop on Relating Logics from July 22--23.

  • 18 - 22 July 2022, 5th Annual International Conference on Applied Category Theory (ACT2022), Glasgow, Scotland

    Date: 18 - 22 July 2022
    Location: Glasgow, Scotland

    Applied category theory is important to a growing community of researchers who study computer science, logic, type theory, engineering, physics, biology, chemistry, social science, linguistics and other subjects using category-theoretic tools. The background and experience of our members is as varied as the systems being studied. The goal of the Applied Category Theory conference series is to bring researchers together, strengthen the applied category theory community, disseminate the latest results, and facilitate further development of the field.

    We hope to run the conference as a hybrid event with talks recorded or streamed for remote participation. However, due to the state of the pandemic, the possibility of in-person attendance is not yet confirmed. Please be mindful of changing conditions when booking travel or hotel accommodations.

    For more information, see https://msp.cis.strath.ac.uk/act2022/.
  • 20 - 22 July 2022, Fourteenth Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2022), University of Groningen

    Date: 20 - 22 July 2022
    Location: University of Groningen

    This is the 14th 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 https://loft2020.ai.rug.nl/ or contact Davide Grossi at .
  • 23 - 24 July 2022, 10th Workshop 'What Can FCA Do for Artificial Intelligence?' (FCA4AI 2022), Vienna, Austria

    Date: 23 - 24 July 2022
    Location: Vienna, Austria

    Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA allows one to build a concept lattice and a system of dependencies (implications and association rules) which can be used for many AI needs, e.g. knowledge processing, knowledge discovery, knowledge representation and reasoning, ontology engineering as well as information retrieval, recommendation, social network analysis and text processing. Recent years have been witnessing increased scientific activity around FCA, in particular a strand of work emerged that is aimed at extending the possibilities of plain FCA w.r.t. knowledge processing. These extensions are aimed at allowing FCA to deal with more complex than just binary data, for solving complex problems in data analysis, classification, knowledge processing... While the capabilities of FCA are extended, new possibilities are arising in the framework of FCA.

    We are pleased to announce that the 10th FCA4AI Workshop co-located with the IJCAI-ECAI 2022 Conference that will take place in July 2022. As usual, the FCA4AI workshop is dedicated to the discussion of such issues, and in particular:
    - How can FCA support AI activities in knowledge discovery, knowledge representation and reasoning, machine learning, natural language processing...
    - By contrast, how the current developments in AI can be integrated within FCA to help AI researchers solve complex problems in their domain,
    - Which role can be played by FCA in the new trends in AI, especially in ML, XAI, fairness of algorithms, and ``hybrid systems'' combining symbolic and subsymbolic approaches.
    The workshop will include time for audience discussion aimed at better understanding of of the issues, challenges, and ideas being presented.

    For more information, see http://www.fca4ai.hse.ru/2022.
  • 31 July 2022, 2nd Workshop on Machine Ethics and Explainability-The Role of Logic Programming (MEandE-LP 2022), Haifa, Israel (Virtual)

    Date: Sunday 31 July 2022
    Location: Haifa, Israel (Virtual)

    This workshop aims to bring together researchers working in all aspects of machine ethics and explainability, including theoretical work, system implementations, and applications. The co-location of this workshop with ICLP is intended also to encourage more collaboration with researchers from different fields of logic programming.This workshop provides a forum to facilitate discussions regarding these topics and a productive exchange of ideas.

    Topics of interest include (but not limited to):
     - New approaches to programming machine ethics;
     - New approaches to explainability of blackbox models;
     - Evaluation and comparison of existing approaches;
     - Approaches to verification of ethical behavior;
     - Logic programming applications in machine ethics;
     - Integrating logic programing with methods for machine ethics;
     - Integrating logic programing with methods for explainability.

  • 31 July 2022, The Fourth Workshop on Causal Reasoning and Explanation in Logic Programming (CAUSAL 2022), Haifa, Israel

    Date: Sunday 31 July 2022
    Location: Haifa, Israel

    Sophisticated causal reasoning has long been prevalent in human society and continues to have an undeniable impact on the advancement of science, technology, medicine, and other significant fields. From the development of ancient tools to modern roots of causal analysis in business and industry, reasoning about causality and having the ability to explain causal mechanisms enables us to identify how an outcome of interest came to be and gives insight into how to bring about, or even prevent, similar outcomes in future scenarios.

    This workshop aims to bring together researchers and practitioners of logic programming with a dedicated focus on methods and trends emerging from the study of causality and explanation. The workshop will present the latest research and application developments in these areas and provide opportunities to discuss current and future research directions and relationships to other fields (e.g. Machine Learning, Diagnosis, Natural Language Processing and Understanding, Philosophy of Science). An important expected outcome of this workshop is to collect first-hand feedback from the ICLP  community about the role and placement of causal reasoning and explanation in the landscape of modern computer theory as well as in the software industry.

  • 31 July 2022, Workshop "Advances in Separation Logics" (ASL 2022), Haifa, Israel

    Date: Sunday 31 July 2022
    Location: Haifa, Israel

    The past two decades have witnessed important progress in static analysis and verification of code with low-level pointer and heap manipulations, mainly due to the development of Separation Logic (SL). SL is a resource logic, a dialect of the logic of Bunched Implications (BI) designed to describe models of the heap memory and the mutations that occur in the heap as the result of low-level pointer updates. The success of SL in program analysis is due to the support for local reasoning, namely the ability of describing only the resource(s) being modified, instead of the entire state of the system. This enables the design of compositional analyses that synthesize specifications of the behavior of small parts of the program before combining such local specifications into global verification conditions. Another interesting line of work consists in finding alternatives to the underlying semantic domain of SL, namely heaps with aggregative composition, in order to address other fields in computing, such as self-adapting distributed networks, blockchain and population protocols, social networks or biological systems.

    ASL 2022 is a workshop affiliated to IJCAR 2022 at FLOC 2022. Keynote Speakers: Philippa Gardner (Imperial College London) and Ralf Jung (MIT CSAIL).

    For more information, see https://asl-workshop.github.io/asl22/.
  • 31 July 2022, 3rd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2022), Haifa, Israel

    Date: Sunday 31 July 2022
    Location: Haifa, Israel

    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. The workshop will be co-located with KR 2022 at FLoC 2022.

    For more information, see https://sites.google.com/view/xlokr2022.
  • 31 July 2022, The Third Workshop on Epistemic Extensions of Logic Programming (EELP 2022), Haifa, Israel

    Date: Sunday 31 July 2022
    Location: Haifa, Israel

    Several successful logic programming languages, evidenced by the availability of a multitude of solvers, industrial applications, and an active research community, have been proposed in the literature. Researchers have long recognized the need for epistemic operators in these languages. This led to a flurry of research on this topic, and renewed interest in recent years. A central question is that of the definition of a rigorous and intuitive semantics for such epistemic operators, which is still subject of ongoing research. Notions of equivalence, structural properties, and the inter-relationships between logic programming languages and established logics are all subjects being actively investigated. Another important topic is that of practical solvers to compute answers to logic programs that contain epistemic operators. Several solvers are actively developed, building on established solvers, or using rewriting-based approaches. For practical applications, additional language features are actively explored in order to be able to apply epistemic extensions of logic programming langauges to practical problems. The goal of this workshop is to facilitate discussions regarding these topics and a productive exchange of ideas.

    This workshop is part of the Federated Logic Conference (FLoC) 2022, to take place in Haifa, Israel.

  • 31 July 2022, 15th Workshop on Answer Set Programming & Other Computing Paradigms (ASPOCP 2022), Haifa, Israel

    Date: Sunday 31 July 2022
    Location: Haifa, Israel

    Since its introduction in the late 1980s, Answer Set Programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. The relationship of ASP to other computing paradigms, such as constraint satisfaction, quantified Boolean formulas (QBF), Constraint Logic Programming (CLP), first-order logic (FOL), and FO(ID) is the subject of active research. Furthermore, the practical applications of ASP also foster work on multi-paradigm problem-solving, and in particular language and solver integration. A large body of general results regarding ASP is available and several efficient ASP solvers have been implemented. However, there are still significant challenges in applying ASP to real life applications, and more interest in relating ASP to other computing paradigms is emerging. This workshop, affiliated with FLOC 2022, will provide opportunities for researchers to identify these challenges and to exchange ideas for overcoming them.

  • 31 July 2022, LICS Workshop "Decidable Fragments of first-order modal logic", Haifa, Israel

    Date: Sunday 31 July 2022
    Location: Haifa, Israel

    First-order modal logic is a natural specification language for describing properties of infinite-state systems, databases and de re knowledge of agents, but it is notoriously undecidable, in the sense that even simple fragments (like the two-variable fragment with unary predicates) are undecidable. Despite this, in the recent few years, researchers have managed to find some useful syntactic restrictions that yield decidability, such as monodic fragments and bundled fragments.

    The workshop is intended as a review of this rapidly evolving direction of research. We seek to identify new potential techniques for constructing decision procedures and discuss problem areas, in terms of syntactic restrictions as well as model classes.

    For more information, see here or at http://wangyanjing.com/decfoml.
  • 31 July 2022, 6th Women in Logic Workshop (WiL 2022), Haifa, Israel

    Date: Sunday 31 July 2022
    Location: Haifa, Israel

    The Women in Logic workshop (WiL) provides an opportunity to increase awareness of the valuable contributions made by women in the area of logic in computer science. Its main purpose is to promote the excellent research done by women, with the ultimate goal of increasing their visibility and representation in the community. Women in Logic 2022 is a satellite event of the 8th Federated Logic Conference (FLoC 2022).

    Our aim is to:
    - provide a platform for female researchers to share their work and achievements;
    - increase the feelings of community and belonging, especially among junior faculty, post-docs and students through positive interactions with peers and more established faculty;
    - establish new connections and collaborations;
    - foster a welcoming culture of mutual support and growth within the logic research community.
    We believe these aspects will benefit women working in logic and computer science, particularly early-career researchers.

    Invited speakers: Philippa Gardner (Imperial College London) and Delia Kesner (IRIF - Université de Paris)

    For more information, see here or at https://sites.google.com/g.uporto.pt/wil2022.
  • 31 July - 1 August 2022, Workshop "Connections between Epistemic Logic and Topology" (CELT2022), Haifa, Israel

    Date & Time: 31 July - 1 August 2022, 23:59
    Location: Haifa, Israel

    The link between epistemic logic and topology has its roots, on the one hand, in the topological semantics of modal logic, and on the other hand, in the intimate relations between topology and concurrency, and between topology and distributed computing. Recent years have witnessed an explosion of new work in this area, from the development of more expressive logics capable of capturing fine topological structure, to the leveraging of topological tools to represent concepts such as observations, questions, and dependence relations, and encoding deep connections with distributed computing. The richness of this area has spawned a thriving, interdisciplinary research program with applications in learning theory, network epistemology, public and private communication, inquisitive semantics, philosophy of science, and knowledge representation in distributed computing, among others.

    This workshop aims at bringing together scholars working on various ways of connecting logic and topology to showcase a variety of recent developments and applications in the area, and to foster new research collaborations.

    The workshop will take place as a part of FLoC 2022—the Federated Logic Conference— in Haifa, Israel, affiliated with LICS. Our workshop will be held in the 2-day, pre-FLoC workshop block (July 31st - August 1st).

    For more information, see https://easychair.org/cfp/CELT2022 or contact Aybüke Özgün at .
  • 31 July - 1 August 2022, Dynamic Logic: new trends and applications (DaLí 2022), Haifa (Israel)

    Date: 31 July - 1 August 2022
    Location: Haifa (Israel)

    Dynamic logic (DL), a generalisation of the logic of Floyd-Hoare introduced in the 70s by Pratt, is a well-known and particularly powerful way of combining propositions, for capturing static properties of program states, and structured actions, responsible for transitions from a state to another (and typically combined through a Kleene algebra to express sequential, non-deterministic, iterative behaviour of systems), into a formal framework to reason about, and verify, classic imperative programs. Over time Dynamic logic grew to encompass a family of logics increasingly popular in the verification of computational systems, and able to evolve and adapt to new, and complex validation challenges.

    Dynamic logic is not only theoretically relevant, but it also shows enormous practical potential and it is indeed a topic of interest in several scientific venues, from wide-scope software engineering conferences to modal logic specific events. That being said, DaLí is the only event exclusively dedicated to this topic. It is our aim to once again bring together in a single place the heterogeneous community of colleagues which share an interest in Dynamic logic - from Academia to Industry, from Mathematics to Computer Science, - to promote their works, to foster great discussions and new collaborations.

    For more information, see http://dali2022.campus.ciencias.ulisboa.pt.
  • 31 July - 1 August 2022, VardiFest: "On the Not So Unusual Effectiveness of Logic", Haifa, Israel

    Date: 31 July - 1 August 2022
    Location: Haifa, Israel

    The VardiFest titled "On the Not So Unusual Effectiveness of Logic" is a FLoC-22  workshop in honor of Moshe Vardi and is intended to celebrate Moshe Vardi's pioneering contributions that has enhanced logic's centrality in Computer science.

    The workshop will be organized ala Highlights conference style: i.e., composed of short talks and invited talks.

    For more information, see https://vardifest.github.io/.
  • 31 July - 1 August 2022, FLoC Workshop on Proof Complexity, Haifa, Israel

    Date: 31 July - 1 August 2022
    Location: Haifa, Israel

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

    The workshop will be part of FLoC and will be affiliated with the conference SAT'22.

    For more information, see https://floc-pc-workshop.gitlab.io/.
  • 31 July - 8 August 2022, 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel

    Date: 31 July - 8 August 2022
    Location: Haifa, Israel

    Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Besides the main track, ICLP 2022 will host additional tracks and special sessions:
     - Applications Track
     - Recently Published Research Track
     - Doctoral Consortium (DC) and Mentoring Sessions
     - Tutorials and Co-located Workshops.

    ILCP 2022 will be part of FLOC 2022.

  • 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 & Reasoning (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. The KR2022 program will also feature workshops and tutorials, solicited by means of an open call, as well as a doctoral consortium. In addition to the main conference track, KR2022 will host the following tracks and sessions: - Applications and Systems Track - Recently Published Research Track - Special Session on KR and Machine Learning - Special Session on KR and Robotics. 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 https://kr2022.cs.tu-dortmund.de/ or contact Stefan Borgwardt at , or Maria Vanina Martinez at .
  • 1 August 2022, ICLP'22 Workshop on goal-directed execution of answer set programs, Haifa, Israel

    Date: Monday 1 August 2022
    Location: Haifa, Israel

    Answer set programming is a successful extension of logic programming for solving combinatorial problems as well as knowledge representation and reasoning problems. Most current implementations of ASP work by grounding a program and using a SAT solver-like technology to find the answer sets. While this approach is extremely efficient, relying on grounding of the program leads to significant blow-up of the program size, and computing the whole model makes finding justification of an atom in the model hard. This limits the applicability of ASP to problems dealing with large knowledge bases. Goal-directed or query-driven execution strategies have been proposed that do not require grounding. The goal of this workshop is to foster discussion around challenges and opportunities that such approaches present.

    For more information, see https://utdallas.edu/~gupta/gde22 or contact .
  • summer3.jpg

    1 - 5 August 2022, 2022 IEEE RAS Summer School on Multi-Robot Systems, Prague, Czech Republic

    Date: 1 - 5 August 2022
    Location: Prague, Czech Republic
    Target audience: Last year bachelor’s students, master’s students, PhD students, young scientists from both industry and academia
    Costs: 532,40 - 713,90 EUR

    As in 2019 and 2020, the IEEE RAS Summer School on Multi-Robot Systems, 2022 will be held at the campus of Czech Technical University, located at the heart of the beautiful and historic city of Prague. The Summer School will promote the newest achievements in Multi-Robot Systems research to students, academic researchers, and industrial practitioners to enable putting systems of cooperating robots into practice.

    The main scope of the 2022 IEEE RAS Summer School on Multi-Robot Systems will be systems of cooperating aerial vehicles and swarms, including lectures by well-recognized experts in the field, and hands-on experience with real-world experiments using state-of-the-art aerial platforms developed for Multi-Robot research.

    The 2022 IEEE RAS Summer School will be focused on deployment of MRS in real-world conditions being motivated by EU Aerial-Core project and DARPA SubTChallenge.

    For more information, see http://mrs.felk.cvut.cz/summer-school-2022/ or contact Taťána Příhodová at .
  • 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

    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.

    For more information, see https://fscd2022.github.io/.
  • 2 - 5 August 2022, 2022 Competitive Evaluation of QBF Solvers (QBFEVAL'22), Haifa, Israel

    Date: 2 - 5 August 2022
    Location: Haifa, Israel

    QBFEVAL'22 is the 2022 competitive evaluation of QBF solvers, and the fifteenth event aimed to assess the performance of QBF solvers. QBFEVAL'22 awards solvers that stand out as being particularly effective on specific categories of QBF instances. This will be a joint event with the 25th Int. Conference on Theory and Applications of Satisfiability Testing (SAT, affiliated with FLoC 2022).

    For more information, see http://www.qbflib.org/qbfeval22.php or contact .
  • 7 - 9 August 2022, 20th International Workshop on Nonmonotonic Reasoning (NMR 2022), Haifa, Israel

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

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

    NMR 2022 is part of the Federated Logic Conference (FLoC 2022). As in previous editions, NMR 2022 aims to foster connections between the different subareas of nonmonotonic reasoning and provide a forum for emerging topics. Workshop activities will include invited talks and presentations of technical papers. The workshop will be structured by topical sessions fitting to the scopes of accepted papers.

    For more information, see https://sites.google.com/view/nmr2022/.
  • dl-large.gif

    7 - 10 August 2022, 35th International Workshop on Description Logics (DL 2022), Haifa, Israel

    Date & Time: 7 - 10 August 2022, 20:00
    Location: Haifa, Israel

    The DL workshop is the major annual event of the description logic research community. It is the forum in which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences. The 35th edition will be held in Haifa, Israel, between August 7th and 10th 2022. It will be co-located with a number of events as part of FLoC 2022 (including KR & NMR 2022).

    Invited speakers: Aarti GUPTA, Princeton University, NJ, US (FLoC Plenary); Ziyad HANNA, Jasper Design Automation, Israel (FLoC Keynote); Pierre MARQUIS, CRIL-CNRS/Université d'Artois, Lens, France (Joint DL/NMR keynote); Sebastian RUDOLPH, Technische Universität Dresden, Germany; Renate A. SCHMIDT, University of Manchester, UK.

    For more information, see http://dl.kr.org/dl2022.
  • 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 - 18 August 2022, Natural Logic Meets Machine Leaning III (NALOMA22), Galway (Ireland) and Virtual

    Date: 8 - 18 August 2022
    Location: Galway (Ireland) and Virtual

    After the successful completion of NALOMA’20 and NALOMA’21, NALOMA'22 seeks to continue the series and attract exciting contributions. Particularly, this year NALOMA expands its focus to the whole field of Natural Language Understanding (NLU) . The workshop aims to bridge the gap between ML/DL and symbolic/logic-based approaches to NLU and lay a focus on hybrid approaches.

    For more information, see https://sites.google.com/view/naloma22/.
  • 1ESSLLI_nuig4.jpg

    8 - 19 August 2022, 33rd European Summer School in Logic, Language and Information (ESSLLI 2022), Galway, Ireland

    Date: 8 - 19 August 2022
    Location: Galway, 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.

    Registration is now open. Early registration is available until the 31st of May 2022.

    For more information, see https://2022.esslli.eu/ or contact Larry Moss at , or Theodorus Fransen at .
  • County_Galway_-_NUI_Galway_-_20180512102807.jpg

    8 - 19 August 2022, ESSLLI 2022 Student Session, Galway (Ireland)

    Date: 8 - 19 August 2022
    Location: Galway (Ireland)
    Target audience: Students in the areas of logic, language and computation

    The European Summer School of Logic, Language and Information (ESSLLI 2022) will feature a Student Session where students can present their work.

  • 11 August 2022, 11th International Workshop on Theorem-Proving Components for Educational Software (ThEdu'22), Haifa, Israel

    Date: Thursday 11 August 2022
    Location: Haifa, Israel

    Computer Theorem Proving is becoming a paradigm as well as a technological base for a new generation of educational software in science, technology, engineering and mathematics. The workshop brings together experts in automated deduction with experts in education in order to further clarify the shape of the new software generation and to discuss existing systems.

    ThEdu'22 will be a satellite workshop of FLoC 2022. Invited Speakers: Thierry Dana-Picard, Yoni Zohar.

  • 11 August 2022, 4th Workshop on Interpolation: From Proofs to Applications (iPRA), Haifa, Israel

    Date: Thursday 11 August 2022
    Location: Haifa, Israel

    Starting from Craig's interpolation theorem for first-order logic, the existence and computation of interpolants became an active research area, with applications in different fields, notably in verification, databases, and knowledge representation. There are challenging theoretical and practical questions, for model-theoretic as well as proof-theoretic approaches. The workshop aims at bringing together researchers working on interpolation and its various applications, based on different approaches, increasing the awareness of the automated reasoning community for challenging open problems related to interpolation.

    iPRA 2022 is a workshop at the Federated Logic Conference (FLoC) 2022. The workshop will include invited talks, invited tutorials (speakers to be announced), and contributed talks.

    For more information, see https://ipra-2022.bitbucket.io/.
  • 11 - 12 August 2022, 8th Workshop on Practical Aspects of Automated Reasoning (PAAR 2022), Haifa, Israel

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

    The automation of logical reasoning is a challenge that has been studied intensively in fields including mathematics, philosophy, and computer science. PAAR is the workshop on turning this theory into practice: how can automated reasoning tools be built that work and are useful in applications. PAAR covers all aspects of this challenge: which theories, logics, or fragments are well-behaved in practice, and connect well to application domains? which reasoning tasks are tractable and useful? which algorithms are able to solve real-world instances? how should automated reasoning tools be designed, implemented, tested, and evaluated? The goal of PAAR is to bring together theoreticians, tool developers, and users, to concentrate on the practical aspects of automated reasoning.

    PAAR 2022 will be co-located with FLoC/IJCAR 2022 and host the meeting of the working group on Automated Theorem Provers of the EuroProofNet COST action.

    For more information, see https://paar2022.github.io/.
  • 11 - 12 August 2022, 20th International Workshop on Satisfiability Modulo Theories (SMT 2022), Haifa, Israel

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

    SMT 2022 is the 20th International Workshop on Satisfiability Modulo Theories. It is affiliated with IJCAR 2022, part of FLoC2022, and will be held on August 11th-12th, 2022, in Haifa, Israel.

    The aim of the workshop is to bring together researchers and users of SMT tools and techniques. Relevant topics include but are not limited to: * Decision procedures and theories of interest * Combinations of decision procedures * Novel implementation techniques * Benchmarks and evaluation methodologies * Applications and case studies * Theoretical results.

    For more information, see http://smt-workshop.cs.uiowa.edu/2022/.
  • 12 August 2022, 36th International Workshop on Unification (UNIF 2022), Haifa, Israel

    Date: Friday 12 August 2022
    Location: Haifa, Israel

    UNIF 2022 is the 36th in a series of annual workshops on unification and related topics. Unification is concerned with the problem of identifying given (first- or higher-order) terms, either syntactically or modulo a theory. It is a fundamental technique that is employed in various areas of Computer Science and Mathematics. In particular, unification algorithms are key components in completion of term rewriting systems, resolution-based theorem proving, and logic programming. But unification is, for example, also investigated in the context of natural language processing, program analysis, types, modal logics, and in knowledge representation.

    Just as its predecessors', the purpose of UNIF 2022 is to bring together researchers interested in unification theory and its applications, as well as closely related topics, such as matching (i.e., one-ided unification), anti-unification (i.e., the dual problem to unification), disunification (i.e., solving equations and inequations) and the admissibility problem (which generalizes unification in modal logics). It is a forum for presenting recent (even unfinished) work, and discuss new ideas and trends in this and related fields. UNIF 2022 is associated with IJCAR 2022 part of the Federated Logic Conference 2022.

    For more information, see http://www.cs.cas.cz/unif-2022/.
  • composition.png

    15 - 16 August 2022, ESSLLI Workshop "End-to-End Compositional Models of Vector-Based Semantics"

    Date: 15 - 16 August 2022
    Location: Galway, Ireland

    This workshop focuses on end-to-end implementations of vector-based compositional architectures. This means not only the elementary word embeddings are obtained from data, but also the categories/types and their internal composition so that neural methods can then be applied to learn how the structure of syntactic derivations can be systematically mapped to operations on the data-driven word representations. For this last step, the workshop invites approaches that do not require the semantic operations to be linear maps since restricting the meaning algebra to finite dimensional vector spaces and linear maps means that vital information encoded in syntactic derivations may be lost in translation.

    On the evaluation side, we welcome work on modern NLP tasks for evaluating sentence embeddings such as Natural Language Inference, sentence-level classification, and sentence disambiguation tasks. Special interest goes out to work that uses compositionality to investigate the syntactic sensitivity of large-scale language models.

    For more information, see https://compositioncalculus.sites.uu.nl/workshop or contact Gijs Wijnholds at .
  • 15 - 19 August 2022, The Joint Ontology Workshops Episode VIII (JOWO'22): The Svear Summer of Ontology, Joenkoeping, Sweden

    Date: 15 - 19 August 2022
    Location: Joenkoeping, Sweden

    Every year researchers from areas like philosophy, computer science, linguistics, conceptual modelling and cognitive science gather to participate in a series of workshops and tutorials related to ontology. The event is The Joint Ontology Workshops (JOWO), an interdisciplinary umbrella conference centred on research in and application of ontologies. Biyearly, JOWO is co-located with FOIS, but being a large enough event on its own, every other year, JOWO is a freestanding event.

    Due to its unique format, JOWO offers an inspiring platform in which participants can engage with new knowledge in tutorials, present their own innovative findings in workshops, explore new research collaborations from nearby disciplines and network with researchers and practitioners at the event's social program.

    For more information, see https://iaoa.org/jowo/2022/.
  • 21 - 23 August 2022, International Workshop "30 Years of Finite Model Theory in Finland", Espoo, Finland

    Date: 21 - 23 August 2022
    Location: Espoo, Finland

    This international workshop celebrates the past 30 years of active research in the area of Finite Model Theory (FMT) in Finland. Research in FMT in Finland began due to the joint efforts of Phokion G. Kolaitis and Jouko Väänänen in the end of 1980's. Concurrently, while celebrating the 30 years of FMT in Finland, the workshop aspires to be a venue for displaying the current state-of-art of research in FMT globally.

    The meeting will consist of three keynote lectures, several contributed talks, and plenty of time for collaboration spread over a three day period. The workshop aspires for an intimate and relaxed atmosphere in the spirit of Dagstuhl seminars. Tentative keynote speakers: Anuj Dawar  (University of Cambridge), Phokion G. Kolaitis  (University of California Santa Cruz and IBM Research) and Jouko Väänänen (University of Helsinki and University of Amsterdam).

  • 22 - 26 August 2022, Summer School "Philosophy of Mathematics Beyond the Armchair?!", Duesseldorf, Germany

    Date: 22 - 26 August 2022
    Location: Duesseldorf, Germany
    Target audience: MA and PhD students
    Costs: Free

    The HHU Summer School 'Philosophy of Mathematics Beyond the Armchair?!' aims at gathering young scholars with an interest into the philosophy of mathematics who want to explore new and innovative methodologies. Current trends show that philosophers of mathematics see the potential in applying various methods from other disciplines such as large corpus analyses, interview studies, or psychological experiments. We offer a platform to educate the upcoming generation in those methods. It should be noted that those methods are in principle valuable for other fields of philosophy as well.

    During five days, the schedule will be split into a morning and afternoon session in which internationally highly reputed lecturers offer courses presenting their methods of expertise. The students will have the possibility to apply the methods and study the practical details. In some evening lectures, we will reflect on the limits and potential of empirical methods for the philosophy of mathematics together with prominent philosophers of mathematics. Further, a social get-together and an afternoon excursion is planned to guarantee exchange between the participants.

    For more information, see https://beyond-the-armchair.netlify.app or contact Deborah Kant at .
  • 22 - 25 August 2022, 14th International Conference on Advances in Modal Logic (AiML 2022), Rennes, France

    Date: 22 - 25 August 2022
    Location: Rennes, France

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

  • 25 - 26 August 2022, 2nd International Workshop on Logical Aspects of Multi-Agent Systems & Strategic Reasoning (LAMAS & SR 2022), Rennes, Frances

    Date: 25 - 26 August 2022
    Location: Rennes, Frances

    Logics and strategic reasoning play a central role in multi-agent systems. Logics can be used, for instance, to express the agents’ abilities, knowledge, and objectives. Strategic reasoning refers to algorithmic methods that allow for developing good behaviour for the agents of the system. At the intersection, we find logics that can express existence of strategies or equilibria, and can be used to reason about them.

    The LAMAS&SR workshop merges two international workshops: LAMAS (Logical Aspects of Multi-Agent Systems), which focuses on all kinds of logical aspects of multi-agent systems from the perspectives of artificial intelligence, computer science, and game theory, and SR (Strategic Reasoning), devoted to all aspects of strategic reasoning in formal methods and artificial intelligence. LAMAS&SR 2022 will be an event co-located with the 14th International Conference on Advances In Modal Logic (AiML 2022, 22-25 August).

    For more information, see https://lamassr.github.io/.
  • 29 August - 2 September 2022, European Set Theory Conference 2022, Turin, Italy

    Date: 29 August - 2 September 2022
    Location: Turin, Italy

    The European Set Theory Conferences is a series of biannual meetings coordinated by the European Set Theory Society (ESTS). This year's edition is organized by the Department of Mathematics of the University of Turin and ESTS, in partnership with the Clay Mathematics Institute. It is the most important conference in set theory, and gathers the worldwide leaders in the field as well as many young researchers. During the event, the prestigious Hausdorff medal will be awarded for the most influential work in set theory published in the preceding five years. There will also be a special session in honor of Boban Veličković's 60th birthday.

  • 31 August - 2 September 2022, 9th Conference on Machines, Computations and Universality (MCU 2022), Debrecen, Hungary

    Date: 31 August - 2 September 2022
    Location: Debrecen, Hungary

    The International conference MCU series traces its roots back to the mid 90's, and has always been concerned with gaining a deeper understanding of computation and universality through the study of models of general purpose computation.  The 9th edition of MCU will take place at the University of Debrecen in Hungary, it is co-located with DCFS 2022 and NCMA 2022. As long as travel conditions and the situation concerning the current humanitarian crisis in the neighboring Ukraine allow, the conference is planned to be on-site. If necessary, the possibility of both, in-person and online participation will be provided.

    The scope of the conference topics includes, but is not limited to, computation in the setting of various discrete models (Turing machines, register machines, cellular automata, tile assembly systems, rewriting systems, molecular computing models, neural models...) and analog and hybrid models (BSS machines, infinite time cellular automata, real machines, quantum computing...) and the meaning and implantation of universality in these contexts. Particular emphasis is given towards search for frontiers between decidability and undecidability in the various models, search for the simplest universal models, computational complexity of predicting the evolution of computations in the various models. Parallel computing models and their connections to decidability, complexity and universality.

    For more information, see https://konferencia.unideb.hu/en/mcu-2022 or contact Jérôme Durand-Lose at , or György Vaszil at .
  • 4 - 11 September 2022, Logic, Algebra and Truth Degrees 2022 (LATD 2022), Paestum, (Salerno, Italy)

    Date: 4 - 11 September 2022
    Location: Paestum, (Salerno, Italy)

    Logic, Algebra and Truth Degrees 2022 (LATD 2022) will be held on 4-11 September 2022 in Paestum, (Salerno, Italy). The conference will be co-located with the kick off conference of the MOSAIC project “Modalities in Substructural Logic: Theory, Methods and Applications”.

    The LATD conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has evolved into a wider meeting in Algebraic Logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.

    Invited speakers: Bahareh Afshari (University of Amsterdam), Mamuka Jibladze (Razmadze Mathematical Institute), Matteo Mio (Ecole Normale Superieure de Lyon), Daniele Mundici (University of Florence), Sara Negri (University of Helsinki), Carles Noguera (Czech Academy of Sciences) and Alessandra Palmigiano (Vrije Univesiteit Amsterdam).

    For more information, see http://logica.dipmat.unisa.it/LATD+MOSAIC/ or contact Nick Bezhanishvili at .
  • 5 - 9 September 2022, European Summer School on the Philosophy of Mathematics, Konstanz, Germany

    Date: 5 - 9 September 2022
    Location: Konstanz, Germany

    We are happy to invite abstract submissions by graduate students (MA and PhD) to the European Summer School on the Philosophy of Mathematics. The School will be hosted in person at the University of Konstanz and will include two week-long tutorials and four lectures by distinguished scholars. The school aims to bring together Master and PhD students interested in the connection between philosophy and mathematics, giving them the opportunity to discuss related topics with leading scholars in the field.

    The school will host up to 25 participants and will cover the local expenses of 8 of them (accomodation and meals), who will be selected for a brief presentation (30 minutes). In order to apply, students are expected to send a 2 page abstract. European and non-European students are encouraged to apply. The working language will be English. Registration fees are not required.

    Tutorials: Øystein Linnebo (University of Oslo), Silvia de Toffoli (Linköping University).
    Lectures: Tim Button (University College London), Carolin Antos (University of Konstanz), Carlo Nicolai (King's College London), Georg Schiemer (University of Vienna).

  • 5 - 7 September 2022, PhDs in Logic XIII, Turin, Italy

    Date: 5 - 7 September 2022
    Location: Turin, Italy
    Target audience: master and graduate students
    Costs: the participation is free but the registration is compulsory

    PhDs in Logic is an annual graduate conference organized by graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, logic in computer science and in linguistics. It usually involves tutorials by established researchers as well as short presentations by PhD students, master students and first-year postdocs on their research.

    Registration deadline: 20/07/2022 (If you need a child-care, please let us know by email/contact-form within June 20th 2022).

    For more information, see here or at https://www.phdsxiii.org or contact Vita Saitta, Claudio Agostini, Renato Turco, Giuliano Rosella, Salvatore Scamperti at .
  • cropped-logo-aila-home.png

    12 - 15 September 2022, Incontro AILA 2022, Caserta (Italy)

    Date: 12 - 15 September 2022
    Location: Caserta (Italy)
    Target audience: Logicians
    Costs: Free

    The Italian Association for Logic and its Application (AILA) announces the “XXVII Incontro di Logica”, that will take place in Caserta (Italy) in September 2022. The meetings will feature plenary talks form leading international researchers, invited talks from the recipients of the AILA awards, and contributed talks. Contributions from researchers of any nationality are welcome.

    For more information, see https://www.ailalogica.it/incontro2022/ or contact Paola D'Aquino at .
  • (New) 12 - 16 September 2022, "Logic for the AI Spring" Summer School, Como, Italy

    Date: 12 - 16 September 2022
    Location: Como, Italy
    Costs: 250 euro

    Logic for the AI Spring aims at bringing together logicians and other scientists working around and within the currently blossoming new AI Spring. In addition to a glorious past which must not be forgotten, logic has a fundamental role to play, which is still largely in the making, in the future of AI research and applications. Researchers entering the field now have an opportunity to shape logic-based AI in the years to come. The School is designed to help them become culturally aware of the larger picture, which is made of urgent scientific and societal challenges, against which the unprecedented successes of the present AI Spring must be evaluated.

    PROGRAMME & TOPICS The School will feature four 8-hour tutorials:
    - History and culture of AI (Stephanie Dick, Simon Fraser University)
    - Combining Machine Learning and Theorem Proving (Josef Urban, Czech Institute of of Informatics, Robotics and Cybernetics)
    - Multiagent Systems (Michel Wooldridge, Oxford University)
    - Logic (Alessandra Palmigiano, VU Amsterdam)

    For more information, see https://lais.lakecomoschool.org/ or contact Alessandra Cazzaniga at .
  • 14 - 16 September 2022, Computational Models of Argument (COMMA 2022), Cardiff, Wales

    Date: 14 - 16 September 2022
    Location: Cardiff, Wales

    The International Conference on Computational Models of Argument (COMMA) is a regular forum for presentation and exchange of the latest research results concerning theory and applications of computational argumentation. This year the biennial COMMA event will be hosted by the School of Computer Science and Informatics of the Cardiff University. COMMA 2022 will be preceded by the fifth edition of the Summer School on Argumentation (SSA 2022). In addition to the main conference track, COMMA 2022 will include system demonstrations, as well as workshops devoted to specific argumentation-related themes.

    For more information, see https://comma22.cs.cf.ac.uk or contact .
  • 15 September 2022, Sixth Philosophy of Language and Mind Network Conference, Warszawa

    Date: Thursday 15 September 2022
    Location: Warszawa

    PLM is a European network of centers devoted to the Philosophy of Language and Mind. PLM was founded in 2010 and organizes international conferences, workshop and master classes taught by leading experts in the field (see www.illc.uva.nl/PLM/).

  • (New) 19 - 23 September 2022, 15th Conference on Intelligent Computer Mathematics (CICM 2022), Tbilisi (Georgia) & Virtual

    Date: 19 - 23 September 2022
    Location: Tbilisi (Georgia) & Virtual

    Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. CICM brings together the many separate communities that have developed theoretical and practical solutions for mathematical applications such as computation, deduction, knowledge management, and user interfaces. It offers a venue for discussing problems and solutions in each of these areas and their integration.

    Invited Speakers: Erika Ábrahám (RWTH Aachen University), Deyan Ginev (FAU Erlangen-Nürnberg and NIST) and Sébastien Gouëzel (IRMAR, Université de Rennes 1).

    For more information, see http://www.cicm-conference.org/2022.
  • 19 - 24 September 2022, International School on Rewriting (ISR 2022), Tbilisi, Georgia

    Date: 19 - 24 September 2022
    Location: Tbilisi, Georgia

    Rewriting is a powerful model of computation that underlies much of declarative programming and is ubiquitous in mathematics, logic, theorem proving, verification, model-checking, compilation, biology, chemistry, physics, etc. The 13th International School on Rewriting, ISR 2022 will be part of Computational Logic Autumn Summit and is scheduled to be held September 19-24, 2022 in Tbilisi, Georgia. The school is aimed at Master and PhD students, researchers and practitioners interested in the use or the study of rewriting and its applications.

    For more information, see http://viam.science.tsu.ge/clas2022/schools or contact Besik Dundua at .
  • 19 - 30 September 2022, Computational Logic Autumn Summit (CLAS 2022), Tbilisi (Georgia) and Virtual

    Date: 19 - 30 September 2022
    Location: Tbilisi (Georgia) and Virtual

    The Computational Logic Autumn Summit brings together eight conferences and three schools. Taking into account the coronavirus pandemic and the war in Ukraine, the conference will be organized as a hybrid event.

    Conferences:

    • International Colloquium on Theoretical Aspects of Computing (ICTAC)
    • Conference on Intelligent Computer Mathematics (CICM)
    • International Symposium on Principles and Practice of Declarative Programming (PPDP)
    • International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR)
    • International Conference on Mathematics of Program Construction (MPC)
    • International Conference on Runtime Verification (RV)
    • International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS)
    • International Conference on Practical and Theoretical Aspects of Logic, Cyber Security and Cryptography (LCSC)

    Schools

    • Summer School of the International Colloquium on Theoretical Aspects of Computing
    • International School on Rewriting
    • International Tbilisi Summer School in Logic and Language

    The CLAS venue is the historical main building of the Ivane Javakhishvili Tbilisi State University (TSU). The main building of TSU is located in the city center, from where many hotels, cafeterias, pubs, restaurants, parks, other attractions (zoo, theaters, cinemas, opera, etc.) are within walking distance. The Summit will feature various excursions, banquets, and other social events.

    For more information, see http://viam.science.tsu.ge/clas2022/.
  • 20 - 23 September 2022, 28th Workshop on Logic, Language, Information and Computation (WoLLIC 2022), Iaşi, Romania

    Date: 20 - 23 September 2022
    Location: Iaşi, Romania

    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.

    It is planned to have a special session with the exhibition of a one-hour documentary film "Taking the Long View: The Life of Shiing-shen Chern" (George Scisery, 2011) about a remarkable mathematician who is considered a father of modern differential geometry.

    For more information, see https://wollic2022.github.io/ or contact .
  • 21 - 23 September 2022, 32nd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2022), Tbilisi (Georgia) & Virtual

    Date: 21 - 23 September 2022
    Location: Tbilisi (Georgia) & Virtual

    The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress.

    The 32nd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2022) will be held as a hybrid (blended) meeting, both in-person (at the Ivane Javakhishvili Tbilisi State University -TSU- in Tbilisi, Georgia) and virtual. LOPSTR 2022 will be co-located with PPDP 2022 as part of the Computational Logic Autumn Summit 2022.

    For more information, see http://lopstr2022.webs.upv.es/ or contact .
  • 23 - 24 September 2022, 17th Workshop on Logical and Semantic Frameworks with Applications (LSFA22), Belo Horizonte, Brazil

    Date: 23 - 24 September 2022
    Location: Belo Horizonte, Brazil

    Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and computational languages, supporting tool development and reasoning. The LSFA series' objective is to put together theoreticians and practitioners to promote new techniques and results, from the theoretical side, and feedback on the implementation and use of such techniques and results, from the practical side.

    LSFA topics of interest include, but are not limited to: * Automated deduction * Applications of logical and semantic frameworks * Computational and logical properties of semantic frameworks * Formal semantics of languages and systems * Implementation of logical and semantic frameworks * Lambda and combinatory calculi * Logical aspects of computational complexity * Logical frameworks * Process calculi * Proof theory * Semantic frameworks * Specification languages and meta-languages * Type theory.

    For more information, see https://lsfa2022.dcc.ufmg.br/.
  • 26 - 28 September 2022, 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), Berlin, Germany

    Date: 26 - 28 September 2022
    Location: Berlin, Germany

    The International Joint Conference on Rules and Reasoning (RuleML+RR) is the leading international joint conference in the field of rule-based reasoning. Stemming from the synergy between the well-known RuleML and RR events, one of the main goals of this conference is to build bridges between academia and industry.

    RuleML+RR 2022 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It provides a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems.

    The RuleML+RR 2022 conference is part of the event 'Declarative AI: Rules, Reasoning, Decisions, and Explanations' and is co-located with DecisionCAMP 2022 and the Reasoning Web Summer School. It features the RuleChallenge and a Doctoral Consortium as associated events.

    For more information, see https://2022.declarativeai.net/ or contact .
  • 26 September - 1 October 2022, Autumn School "Proof & Computation", Fischbachau, Germany

    Date: 26 September - 1 October 2022
    Location: Fischbachau, Germany
    Target audience: Graduate or PhD students and young postdoctoral researchers

    This year's international autumn school "Proof and Computation" will be held from 26th September to 1st October 2022 in Fischbachau near Munich. Its aim is to bring together young researchers in the field of Foundations of Mathematics, Computer Science and Philosophy.

    Scope: Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, and Extraction of Programs from Proofs. There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs.

  • 27 - 29 September 2022, 19th International Colloquium on Theoretical Aspects of Computing (ICTAC), Tbilisi, Georgia (Hybrid)

    Date: 27 - 29 September 2022
    Location: Tbilisi, Georgia (Hybrid)

    The ICTAC conference series aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience addressing challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries. ICTAC 2022 will be part of Computational Logic Autumn Summit (CLAS 2022).

    The conference concerns all aspects of theoretical computer science, including, but not limited to: Languages and automata - Semantics of programming languages - Logic in computer science - Lambda calculus, type theory and category theory - Domain-specific languages - Theories of concurrency and mobility - Theories of distributed computing - Models of objects and components - Coordination models - Timed, hybrid, embedded and cyber-physical systems - Security and privacy - Static analysis - Probabilistic and statistical verification - Software verification - Software testing - Runtime verification - Program generation and transformation - Model checking and theorem proving - Applications and case studies - AI-enabled software development - Theory and methods of trustworthy AI.

    For more information, see https://viam.science.tsu.ge/clas2022/ictac/.
  • 12 - 14 October 2022, The First International Conference on Foundations, Applications, and Theory of Inductive Logic (FATIL2022), Munich, Germany

    Date: 12 - 14 October 2022
    Location: Munich, Germany

    Inductive reasoning is one of the most important reasoning techniques for humans and formalises the intuitive notion of 'reasoning from experience;. It has thus influenced both theoretical work on the formalisation of rational models of thought in Philosophy as well as practical applications in the areas of Artificial Intelligence and, in particular, Machine Learning. The First International Conference on Foundations, Applications, and Theory of Inductive Logic (FATIL2022) aims at bringing together experts from all fields concerned with inductive reasoning.

    For more information, see http://fatil2022.krportal.org/.
  • 19 - 21 October 2022, International Conference "Philosophical Perspectives on Sciences", Torun, Poland

    Date: 19 - 21 October 2022
    Location: Torun, Poland

    Our conference aims to address the role of hypothetical thinking in the formulation and development of scientific theories and models.Next year will mark the 550th anniversary of the birth of Nicolaus Copernicus. We think that it would be highly pertinent to discuss how our understanding of the role of hypotheses has changed since his time. Is the use of hypotheses still viable in current science, or has it been superseded by other scientific concepts or methods? The aim of our conference is to contribute to the dialogue between scientists, historians of science, philosophers of science, and logicians interested in scientific methods of reasoning.

    Keynote Speakers: Stephen Barr (University of Delaware, USA) Carl Craver (Washington University in St. Louis, USA) Niccolo Guicciardini (University of Milan, Italy) Paweł Kawalec (Catholic University of Lublin, Poland) Emily Sullivan (Eindhoven University of Technology, Netherlands) K. Brad Wray (Aarhus University, Denmark) Peter Vickers (Durham University, United Kingdom).

    For more information, see https://ppshypothesis.umk.pl/.
  • (New) 20 October 2022, ABC Day 2022 (ABC Networking Day)

    Date & Time: Thursday 20 October 2022, 12:00-19:00
    Location: Amsterdam (the Netherlands)

    ABC Day 2022 - an occasion to (re)connect with the ABC community, exchange ideas and foster new collaborations.

    The ABC Day 2022 is scheduled for the afternoon of 20 Oct, 2022, from 12.00 onwards, and will include the keynote ABC lecture by Sabine Kastner (Princeton University): Neural dynamics of the primate attention network.

  • 3 - 5 November 2022, The Making of the Humanities X, Wyndham Hotel, Pittsburgh, Pennsylvania

    Date & Time: 3 - 5 November 2022, 18:00
    Location: Wyndham Hotel, Pittsburgh, Pennsylvania

    We are delighted to announce that Carnegie Mellon University (CMU) together with the University of Pittsburgh (Pitt) will organize the 10th Making of the Humanities conference, from 3 till 5 November 2022.

    The conference site will be the Wyndham Hotel (Wyndham Pittsburgh University Center). More information on how to reserve a room with special conference rate will be posted in May 2022.