CCR 2024 is the 18th edition of the International Conference on Computability, Complexity and Randomness, a series of conferences devoted generally to the mathematics of computation and complexity but that tends to primarily focus on algorithmic randomness/algorithmic information theory and its impact on mathematics. This year's edition will be colocated with the annual meeting of the French community in computability and related topics (`Journées Calculabilités').

Invited speakers: Elvira Mayordomo (Universidad de Zaragoza, Spain), Joseph Miller (University of Wisconsin-Madison, USA), Kenshi Miyabe (Meiji University, Japan), Raul Santhanam (Oxford University, UK) and Andrea Sorbi (Università degli Studi di Siena, Italy),

The biennial International Conference on Deontic Logic and Normative Systems (DEON) conference series aims at bringing together researchers interested in the formal study of normative concepts, normative reasoning, and normative systems using methods from computer science, artificial intelligence, philosophy, linguistics, mathematics, and law. The series particularly aims at fostering interdisciplinary collaboration that combines methods from these various fields.

In addition to the general themes of the DEON conference series, DEON 2025 encourages the submission of papers on the special theme of Normative AI. The central aim of Normative AI is to ensure that AI systems make morally, legally, and socially acceptable decisions. As AI becomes increasingly important to human society, it is crucial to ensure that these technologies have a positive and responsible impact. This highly interdisciplinary field involves the evaluation and development of theories, formal frameworks, and algorithms, integrating both symbolic and sub-symbolic AI methods.

FMCAD 2025 is the twenty-fifth edition in a series of conferences on the theory and applications of formal methods in hardware and system verification. The conference encompasses a wide range of topics related to formal aspects of computer-aided system design, including verification, specification, synthesis, and testing and provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD 2025 is co-located with VSTTE 2025.

Continuing the tradition of the previous years, FMCAD 2025 will host a Student Forum that provides a platform for graduate students at any career stage to introduce their research to the wider Formal Methods community, and solicit feedback.

There has been an ever-growing interest in tasks targeting Natural Language Understanding and Reasoning. Although deep learning models have achieved human-like performance in many such tasks, it has also been repeatedly shown that they lack the precision, generalization power, reasoning capabilities, and explainability found in more traditional, symbolic approaches. Thus, current research has started employing hybrid methods, combining the strengths of each tradition and mitigating its weaknesses. This workshop would like to promote this research direction and foster fruitful dialog between the two disciplines by bringing together researchers working on hybrid methods in any subfield of Natural Language Understanding and Reasoning. 

The 5th iteration of the NALOMA (Natural Logic Meets Machine Learning) workshop is co-located with ESSLLI.

The conference aims to honour the legacy of outstanding Polish logicians, particularly those associated with the Lvov-Warsaw School and the Polish Mathematical School. The conference focuses on topics from various areas of logic and its applications, in particular, in the foundations of mathematics, computer science and linguistics. Submissions in the area of philosophy of science are also welcomed. The Congress will feature plenary sessions, sections, and the following workshops:

• 3rd Workshop on Relating Logic (WRL3), org. by Mateusz Klonowski and Jacek Malinowski.

• 1st Workshop on Mechanisms and Causes (WMaC1) org. by Michał Oleksowicz and Mateusz Chwastyk.

• 1st Symposium on the Languages and Logics of Syllogistics (SYLLOS1) org. by Luis Estrada-González and Tomasz Jarmużek.

• 3rd Workshop on Non-Fregean Logics (WNFL3) org. by Dorota Leszczyńska-Jasion and Szymon Chlebowski.

The APMP aims to foster the philosophy of mathematical practice, that is, a broad outward-looking cluster of approaches to understanding mathematics. Relevant themes include issues in the methodology and epistemology of mathematics, history of mathematics, applications of mathematics, mathematical education, and cognitive science.

Keynote Speakers Carolin Antos (University of Konstanz), Marc Lange (UNC Chapel Hill), John Mumma (CSU San Bernardino), Elaine Pimentel (University College London), Akshay Venkatesh (Institute for Advanced Study) and Keith Weber (Rutgers University).

The annual Deduktionstreffen (German for ``deduction meeting'') is the prime activity of the Special Interest Group on Deduction Systems of the AI Chapter(Fachbereich KI) of the German Society of Informatics (Gesellschaft fuer Informatik, GI). This year it will be organized jointly with the special interest group on Knowledge Representation and Reasoning, as part of CADE-30.

It has a long tradition for being a meeting place for the German community on automated reasoning with an informal and friendly atmosphere. Submissions by researchers from neighboring or otherwise related countries are very welcome as well. A special focus of the workshop is on young researchers and students, who are particularly encouraged to present ongoing projects to a wider audience.

The aim of JELIA 2025 is to bring together active researchers interested in the use of logics in Artificial Intelligence, in order to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners.

This year we will include a Special Track on Logics for Explainable and Trustworthy AI. The track aims to draw attention to this timely topic and create a space for discussing the role of logic. Also there will be Best Paper and Best Student Paper Prizes sponsored by Springer, each is a cash prize amounting to EUR 500.

The Centre for Logic and Philosophy of Science (CLPS) of the Vrije Universiteit Brussel (VUB) will host its 7th Masterclass in the Philosophy of Mathematical Practices on June 1820, 2025 with Michael Barany (University of Edinburgh). We intend the masterclass to be a fully interactive in-person event, with the twofold objective to understand in depth the materials presented in the lectures, and to provide early career researchers (MA students, PhD students and Postdocs) with an opportunity to discuss their ongoing work in a helpful and constructive environment. This year's theme is “Situating Mathematical Practices: Materials, Institutions, and Critical Context”. 

The Masterclass honors Joachim Frans (1989-2023) who co-organized the Masterclass for many years.

Women in Logic 2025 is a satellite event of the 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025) to be held in Birmingham, UK, from July 14 to July 20, 2025.

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.

Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task.  The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that.

There will be several focused sessions on AI for ATP, ITP, mathematics, relations to general AI (AGI), Formal Abstracts, linguistic processing of mathematics/science, modern AI and big-data methods, and several sessions with contributed talks. The focused sessions will be based on invited talks and discussion oriented. AITP'25 is planned as an in-person conference.

The biennial ECSQARU conferences constitute a major forum for advances in the theory and practice of reasoning under uncertainty, with a focus on bringing symbolic and quantitative aspects together. Contributions come from researchers interested in advancing the scientific knowledge and from practitioners using uncertainty techniques in real-world applications. The scope of the ECSQARU conferences encompasses fundamental issues, representation, inference, learning, and decision making in qualitative and numeric uncertainty paradigms.

The following keynote speakers are already confirmed: Claudia d'Amato (University of Bari, Italy), Vanina Martinez (Artificial Intelligence Research Institute, Spain) and Tommie Meyer (CAIR, University of Cape Town, Source Africa). The first day (Sep 23) is dedicated to a workshop and tutorial programme. A separate call for workshops and tutorials has already been disseminated (see the website for details). A Best Paper Award supported by Springer will be granted at the conference.

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 to logic-based program development in any programming language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress.

LOPSTR 2025 will be held at the University of Calabria, Rende, Italy. It will be co-located with ICLP 2025 and PPDP 2025. Topics of interest include all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.

The Dutch Formal Methods Day is a full-day event dedicated to formal methods in the Netherlands. This event is an opportunity for people in academia, industry, and education who are interested in formal methods, in the broadest sense, to come together, learn, and network. There will be numerous talks, giving a broad overview formal methods in the Netherlands. Upon registering, you will have the opportunity to offer a talk.

Coffee and lunch will be provided; there will be ample opportunity for networking with your colleagues and meeting new people. Experts and newcomers to the field are equally welcome.

All the talks will be given in English.

Feminist Logic is a relatively new but upcoming area of study. Work in this field sheds light on sexist (and other) biases in the area of logic. This is a very broad conception but it captures the diversity of the area of Feminist Logic. More specifically, Feminist Logic can mean to use logical tools for feminist ends; to look at the history of logic from a feminist perspective; to consider teaching practices in logic and how those disadvantage certain underrepresented groups, to devise, revise and/or argue for logical systems from a distinctly feminist perspective. This workshop aims at sharing and discussing the latest research in this area by bringing together both highly distinguished as well as early career researchers.

List of speakers: Sara Ayhan (Ruhr University Bochum), Roy T. Cook (University of Minnesota), Maureen Eckert (UMass Dartmouth), Viviane Fairbank (University of St Andrews), Becca Kosten (University of Minnesota), Franci Mangraviti (University of Padova), Gillian Russell (Australian National University), Sara L. Uckelman (Durham University).

In the light of the rapid development of Generative Artificial Intelligence (GenAI), the GenAI & Creative Practices conference aims to gather together scholars, researchers, and practitioners from around the world to discuss and rethink:
· Creative Practices
· Values and Creative Work
· Scalable Responsible GenAI
· The Future of Creative Work
· The Political Economy of GenAI and Transformation of the Cultural Sector
· Governance and Regulation of GenAI

 The 28th International Conference of Text, Speech and Dialogue (TSD2025) will explore the topics in the field of speech and natural language processing, in particular:
 - corpora, texts, transcription, and translation;
 - speech analysis, recognition, and synthesis;
 - their intertwining within dialogue systems.

This event continues the tradition of the TSD series, which started in 1998 and has become a prime forum for interaction between researchers in computer processing of both spoken and written language from all over the world.

The conference program will include Invited Papers, Oral Presentations, and Poster/Demonstration Sessions. The conference is planned as an on-site event. The conference will offer a rich social programme.

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, when the school was 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 levels that run from foundational to introductory to advanced, 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 on 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 for attendees is now open. The early-registration deadline is Saturday, 31st May.

Over the last few years, the integration of logical constraints in Deep Learning models has gained significant attention from research communities for its potential to enhance the interpretability, robustness, safety, and generalization capabilities of these models. Looking ahead, challenges in this field extend to the development of Machine Learning models that not only incorporate logical constraints but also provide robust assurances. This involves ensuring that AI systems adhere to specific ( temporal) logical or ethical constraints, offering a level of guarantees in their behavior.

This special track aims to explore and showcase recent advancements in the integration of logical constraints within deep learning models, spanning the spectrum of verification, synthesis, monitoring and explainability, by considering exact and approximate solutions, online and offline approaches. The focus will also extend to encompass innovative approaches that address the challenges associated with handling logical constraints in neural networks. Thus, this special track seeks submissions on the integration of logical constraints into deep learning approaches. Pertinent review papers of exceptional quality may also be considered.

This international colloquium will explore the lasting impact of Gottlob Frege, one of the founding figures of modern logic and analytic philosophy. Scholars from various fields, including logic, philosophy of language, and mathematics, will come together to discuss Frege’s contributions and their influence on contemporary thought.

Keynote speakers Susanne Bobzien (University of Oxford) Maria Jose Frapolli (University College London) Gottfried Gabriel (Universität Jena) Marco Ruffino (University of Campinas) Ed Zalta (Stanford University)

Building on the ideas of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a formal tool for reasoning about, and verify, classic imperative programs. Over time, its aim has evolved and expanded; DL can be seen now as a general set of ideas and tools devised for representing, describing and reasoning about diverse kind of actions. Both its theoretical relevance and practical potential make DLs a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The aim of the DaLí 2023 workshop is to bring together, in a single place, researchers with a shared interest in the formal study of actions (from Academia to Industry and more, from Mathematics to Computer Science and beyond) to present their work, foster discussions and encourage collaborations.
Previous editions of DaLí took place in Brasília (2017), Porto (2019), online (2020, 2022) and Tblisi (2023).

The BCTCS is an annual event for UK-based researchers in Theoretical Computer Science to present their research and discuss future directions. The meeting aims to provide an environment in which PhD students can gain experience in presenting their work, to broaden their outlook on the subject, and to benefit from contact with established researchers. The scope of the colloquium includes all aspects of Theoretical Computer Science, including Algorithms, Automata Theory, Complexity Theory, Concurrency, Education, Formal Methods, Languages, Logics, Semantics, and Types.

We will have the following invited speakers: Elizabeth Polgreen (Edinburgh), Nicolai Kraus (Nottingham), Jess Enright (Glasgow), Jakub Oprðal (Birmingham), Conor McBride (Strathclyde) and  Rob van Glabeek (Edinburgh).

The Dutch Special Interest Group (SIG) on Algorithms and Complexity invites all researchers from the field to attend the Algorithms track at ICT.Open on April 16th, 2025. The track will feature invited talks and a poster exhibition, on a wide range of algorithmic research.

Over twee weken is het zover: AI020! We kijken ernaar uit om samen met onze partners een inspirerende dag vol AI-innovatie te beleven. Dit jaar hebben we een ijzersterk programma met toonaangevende bedrijven, keynotes, workshops en startup pitches. We sluiten af met een exclusieve AI Salon, waar AI-startups hun nieuwste ontwikkelingen presenteren.

Sprekers: Onno Zoeter (Booking.com), Ashley Burgoyne (Muziek & Machine Learning), Bart Veldhuis (Rapid Circle).
Workshops & stands: TechPros, Naice, Q42, Snowflake, Databricks, Gemeente Amsterdam, Prosus, Booking.com, Digital Bricks, Autoriteit Persoonsgegevens en meer.

N.B. Leden van het ILLC kunnen bij aanmelden aanvinken "Official partner of AI" om gratis toegang te krijgen.

After the success of our first workshop Polar Question Meaning[s] Across Languages, we are launching a second POQAL meeting, this time focusing on form. How are polar questions expressed in syntax, morphology, intonation? How do components of the grammar of each language constrain and determine these ways, e.g. in the inventory of functional categories, the expression of negation, focus, polarity, intonational characteristics, pragmatic division of labor among forms? How do fine grammatical components correlate with fine components of meaning? What crosslinguistic generalizations can be made in this new level of granularity?

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

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

The Brazilian Logic Conference (EBL) is the main event organized by the Brazilian Logic Society (SBL) and has been occurring since 1979. The EBL congregates logicians from different fields and the meeting is an important moment for the Brazilian and South-American community to come together and engage in a discussion about the state of the art of their subject. The areas of Logic covered span Foundations and Philosophy of Science, Mathematics, Computer Science, Informatics, Linguistics, and Artificial Intelligence. The goal of the EBL meeting is to encourage the dissemination and discussion of research papers in Logic in a broad sense. It is expected to have among the participants several invited speakers from different continents.

In 2025, the 21st edition of EBL will be held from May 12 to May 16 at the city of Serra Negra, São Paulo State, preceded by the Logic School from May 9 to May 11 at São Paulo City.

The Institute of Philosophy of the Czech Academy of Sciences announces 'LOGICA 2025', the 37th in the series of international symposia devoted to logic, to be held in Hejnice, Czech Republic, from Monday 12 May to Friday 16 May 2025

Invited speakers: Nina Gierasimczuk (Danish Technical University), Hans Rott (University of Regensburg), Rineke Verbrugge (University of Groningen), Albert Visser (Utrecht University).

The 2025 North American Annual Meeting of the Association for Symbolic Logic will be held May 13-16, 2025 at New Mexico State University. There will be special sessions on Computability Theory, Model Theory, Combinatorics and Logic, Modal Logic, Set Theory and Proof Assistants.

This four-day summer school aims to give both a theoretical and a practical overview of foundational ontologies. It focuses on four of them, devoting one full day to each: Unified Foundational Ontology, Descriptive Ontology for Linguistic and Cognitive Engineering, Basic Formal Ontology, and Business Objects Reference Ontology. Each day is divided into two sessions. In the morning sessions, invited speakers will give a theoretical introduction to the ontology. The afternoon sessions will consist of practical group work on case studies that will help participants understand how to apply the ontology. At the end of these sessions, invited speakers will discuss the case studies engaging with participants' group work.

There is a limited number of places for participants. The deadline to apply is 15 February.

The Computational Models of Narrative (CMN) workshop series is dedicated to advancing the computationally-grounded scientific study of narrative, a crucial aspect of human experience used for communication, persuasion, explanation, and entertainment.

Narrative, or storytelling, is a symbolic activity that imitates human actions through emplotment, representing discordant events through concordance. From myths to histories, narratives are ubiquitous across time, making understanding narrative intelligence essential to comprehending human intelligence. Systems for narrative analysis and production are increasingly embedded in devices and processes, influencing decision-making in venues as diverse as politics, economics, intelligence, and cultural production. In order to appreciate this influence, it is becoming increasingly clear that research must address the technical implementation of narrative systems, the theoretical bases of these frameworks, and our general understanding of narrative at multiple levels, from the philosophical and cognitive impact of narratives to our ability to model narrative responses computationally.

The use of graphs and graph-like structures as a formalism for specification and modelling is widespread in all areas of computer science as well as in many fields of computational research and engineering. Relevant examples include software architectures, pointer structures, state space and control/data flow graphs, UML and other domain-specific models, network layouts, topologies of cyber-physical environments, quantum computing and molecular structures. Often, these graphs undergo dynamic change, ranging from reconfiguration and evolution to various kinds of behaviour, all of which may be captured by rule-based graph manipulation. Thus, graphs and graph transformation form a fundamental universal modelling paradigm that serves as a means for formal reasoning and analysis, ranging from the verification of certain properties of interest to the discovery of fundamentally new insights.

ICGT aims at fostering exchange and collaboration of researchers from different backgrounds working with graphs and graph transformation, either in contributing to their theoretical foundations or by applying established formalisms to classical or novel areas. The conference not only serves as a well-established scientific publication outlet, but also as a platform to boost inter- and intra-disciplinary research and to leeway for new ideas.

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry requires advanced technologies to address their specification, design, verification, validation, and certification. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, other government agencies, academia, and industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems. The focus of this symposium is on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant critical systems. 

Topics of Interest
* Advances in Formal Methods
* Integration of Formal Methods
* Formal Methods in Practice

The SILFS Postgraduate Conference 2025 will take place in Turin on 11-13 June 2025. It is organized jointly by the Italian Society for Logic and Philosophy of Science (SILFS) and members of the Center for Logic, Language and Cognition (LLC) at the University of Turin.

The conference will feature six keynotes and two parallel sessions for contributed papers in logic and philosophy of science. The conference language is English.

On 12 June 2025, the Language Learning Resource Centre (Leiden University) is organizing a one-day conference on the topic of Language Awareness in the Language Classroom. The keynote will be held by Dr. Agneta Svalberg (Leicester University). In addition to the keynote, the day will host a combination of good-practice presentations, a workshop, and research presentations on the topic. Please find the preliminary program and registration form on the website. Note that early bird registration ends on May 26th.

This is the first a recurring series of events hosted at the new University of Chicago campus in Paris, aiming to bring together American and European researchers working at the intersection of logic, philosophy, and mathematics. The conference will be held in English.

The European Digital DemocracY network (EDDY) aims to bring together academics and practitioners actively working on or with digital democracy, to foster collaboration and knowledge exchange. After a very successful first edition, EDDY is proud to announce its second in-person conference, 'Digital Democracy: Bridging Theory and Practice' (EDDY2025), taking place at the University of Paris 1 Panthéon-Sorbonne, France, on the 12th and 13th of June, 2025.

The event will feature contributed talks through an open call (see below), a range of social and interactive sessions (networking, round-table discussions, demo sessions, etc.), and a variety of academic and non-academic keynote speakers, including Umberto Grandi (Professor of Computer Science at the University of Toulouse), Carolina Romero Cruz (co-founder and project manager at Decidim), and Simone Vannuccini (Junior Professor of Economics at Université Côte d'Azur).

We will be pleased to welcome you at the Cognitive Models and Artificial Intelligence Conference, which will be held in person and virtual on 13-14 June 2025 in Prague-Czech Republic.. The Cognitive Models and Artificial Intelligence Conference aims to share and discuss theoretical and practical knowledge in a scientific framework by bringing together scientists, experts, educators, non-governmental organizations, and private sector representatives. AICCONF aimed to serve as a multidisciplinary platform where current issues in the fields of engineering are discussed, as well as recent research paper presentations in the field of artificial intelligence.

The technical program of AICCONF 2025 will include the presentation of invited speakers, posters, and regular sessions. AICCONF 2025 is an international conference organized for universities, research groups, companies, and technology groups from many countries to present their research results and innovative applications. The technical sponsor of AICCONF 2025 is IEEE SMC.

Established in 2016 as a workshop hosted by Zhejiang University, the CLAR series has been increasingly successful and become an international event and discussion forum in the two areas of logic and argumentation. Our aim for CLAR 2025 is to be a platform for the advancement of the existing discussions within each of the areas above, to span bridges between their different traditions, and finally to open argumentation to new applications and other areas in artificial intelligence, such as legal reasoning, explainable AI, ethical dilemmas, reasoning about uncertainty and knowledge representation, etc.

MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged.

MFPS 2025 is co-located with the 11th Conference on Algebra and Coalgebra in Computer Science (CALCO). The programme will include special sessions on Quantitative Semantics, Mathematics of Natural Language, and Types and the Extraction of Correct Programs.

APPSA 2025, in joint collaboration with LMPST Taiwan 2025, is an international forum that brings together scholars from Asia and beyond. These conferences are designed to foster communication and collaboration among scholars working in diverse areas of the philosophy of science, the philosophy of technology, and logic. Featuring keynote talks, contributed talks, and poster sessions, this conference aims to advance the Asian tradition in the philosophy of science, the philosophy of technology, and logic, and support high-quality research in these fields. By promoting rigorous academic exchange and interdisciplinary dialogue, this conference seeks to contribute significantly to the global development of philosophical inquiry and practice.

Keynote Speakers: Michela Massimi, Sabina Leonelli, Timothy Bayne.

The BLESS conference is devoted to the application of formal tools (logical and mathematical) to issues related to actions of individuals and groups of people. The conference's subject is the problem of formalization of inference about actions, knowledge and beliefs of individuals or groups. Papers focused on formal methods are especially welcome.

The VERDI workshop aims at serving as a discussion forum focused on the area of V&V as a means to guarantee dependability of complex, potentially automated/autonomous CPS. This workshop covers all aspects related to the dependability evaluation (with special focus on *safety* and *security*) of safety-critical CPS using techniques such as fault/attack-injection, runtime verification, formal verification, semi-formal analysis, simulation, and testing.

The Heidelberg Graduate School for Social Sciences and Humanities (HGGS) is hosting its annual Summer Forum 2025 on Friday, June 27, 2025. This interdisciplinary forum provides a platform for researchers to share their work, ideas, and experiences from a variety of perspectives, foster collaboration across institutions and disciplines, and engage in meaningful dialogue.

The event The Syntax and Semantics of Formalisations in Philosophy aims to explore the relationship between formal methods and philosophical inquiry, focusing on the challenges, debates, and implications of formalising philosophical concepts.

The conference will feature four keynote talks and eight contributed presentations mainly across three main topics: 1. The Feasibility and Challenges of Formalising Philosophy, 2. Pros and Cons of Using Formalisations in Philosophy, and 3. Conceptual Pluralism and Choosing the Right Formalisation.

ECOOP is Europe’s longest-standing annual Programming Languages conference, bringing together researchers, practitioners, and students to share their ideas and experiences in all topics related to programming languages, software development, systems and applications. ECOOP welcomes high quality research papers relating to these fields in a broad sense. ECOOP was originally focused on object orientation, but now includes all practical and theoretical investigations of programming languages, systems and environments. ECOOP solicits innovative solutions to real problems as well as evaluations of existing solutions.

The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an annual gathering to present current research in all aspects of logic. The meeting will be held at Technische Universität (TU) Wien in Vienna, Austria from July 7 to 11, 2025.

Program outline:
- The 2025 Gödel Lecture, delived by Joan Bagaria (ICREA)
- Talks by Plenary speakers: B. Afshari (Gothenburg), U. Buchholtz (Nottingham), T. Colcombet (Paris IRIF), S. Gandon (Clermont-Ferrand), P. Lutz (UC Berkeley), M. Malliaris (Chicago), S. Shelah (Hebrew U), B. Siskind (TU Wien) and S. Smets (Amsterdam).
- Tutorials by H. Towsner (UPenn) and D. Sinapova (Rutgers).
- Special sessions on Proof Theory, Model Theory, Set Theory, Computability Theory, Logic in Computer Science, Logic and Leibniz, and Condensed Mathematics

CiE (Computability in Europe) is 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. Computability in Europe 2025 "Crossroads of Computability and Logic: Insights, Inspirations, and Innovations" will feature two Tutorial Speakers, 6 Invited Speakers, 6 Special Sessions and the Women in Computability program.

CADE is the major international forum for presenting research on all aspects of automated deduction. CADE-30 aims to present research that reflects the broad range of interesting and relevant topics in automated deduction. The conference program includes invited talks, paper presentations, workshops, tutorials, and system competitions. 

CoNLL is a yearly conference organized by SIGNLL (ACL's Special Interest Group on Natural Language Learning). This year, CoNLL will be colocated with ACL 2025. The focus of CoNLL is on theoretically, cognitively and scientifically motivated approaches to computational linguistics, rather than on work driven by particular engineering applications.

We are pleased to announce the Workshop on Truthmaker Semantics and Modal Logic, organized by Alessandro Giordani and Vita Saitta. The aim of this workshop is to present current studies on the application of Truthmaker Semantics to modal logic. Discussions will include the philosophical analysis and the logic of modalities, such as necessity, possibility, obligation, permission, and knowledge. Additionally, the workshop will explore relationships with prominent semantic approaches to modal logic, including Possible Worlds, Neighborhood, and Topic-sensitive semantics.

Registrations are open for a Summer School in Cetraro, Italy, September 1-5 , 2025, on "Topology, dynamics, and logic in interaction". Lecturers: Alessandro Codenottim Aleksandra Kwiatkowska, Aristotelis Panagiotopoulos, Krzysztof Krupiński,Tomás Ibarlucía and Jeffrey Bergfalk,

Young participants (PhD Students and PostDoc Researchers) can apply for grants covering local expenses.

FOIS aims to be a nexus of interdisciplinary research and communication for researchers from many domains engaging with formal ontology. Common application areas include conceptual modeling, database design, knowledge engineering and management, software engineering, organizational modeling, artificial intelligence, robotics, computational linguistics, the life sciences, bioinformatics and scientific research in general, geographic information science, information retrieval, library and information science, as well as the Semantic Web.

FOIS is the flagship conference of the International Association for Ontology and its Applications (IAOA), a non-profit organization promoting interdisciplinary research and international collaboration in formal ontology.

The COST action EuroProofNet is happy to announce that the organization of the 1st international school on logical frameworks and proof systems interoperability (LFPSI) in September 2025 in Orsay, France.

Programme:
- Ambrus Kaposi, Second-order generalized algebraic theories
- Andrej Bauer, Programming language techniques for proof assistants
- Florian Rabe, Modular logic design
- Frédéric Blanqui, λΠ-calculus modulo rewriting: theory and application to proof systems interoperability

The Fifteenth International Tbilisi Symposium on Logic, Language, and Computation will be held September 8-12, 2025 in the country of Georgia. The programme will include two plenary tutorials, four plenary invited lectures and two parallel tracks of contributed talks. In addition, there will be two topical workshops.

Tutorial speakers:
  - Language: Milica Denić (Tel Aviv University)
  - Logic & Computation: Thomas Icard (Stanford University)
Invited speakers:
 - Language: Maria Aloni (University of Amsterdam), Sarah Zobel (Humboldt University Berlin
 - Logic & Computation: Mikolaj Bojanczyk (University of Warsaw), Mai Gehrke (Universite Cote d’Azur)

The European Conference on Argumentation (ECA) is a biennial pan-European initiative aiming to consolidate and advance research on argumentation. After four successful editions, ECA will be hosted in 2025 by the Warsaw University of Technology, in Warsaw, Poland. We aim to attract scholars on argumentation worldwide from various disciplines, dealing with a range of themes and adopting a variety of approaches.

The special theme of this conference is Argumentation in the Digital Society. The main objective of the conference is to identify the key research areas related to the dynamics of change and development in today's digitised society. There is a need to develop the theoretical tools of argumentation and related disciplines that allow discussion and argument to be founded on trust, charity, and goodwill. The conference aims to explore these topics and ensure a high-quality exchange of research results.

The ECA 2025 summer school organized by Barbara Konat and Leonard Kupś (Faculty of Psychology and Cognitive Sciences) will take place at Adam Mickiewicz University, in Poznań, Poland, before the ECA conference, from 17th to 20th September 2025. The summer school allows Early Career Researchers to explore current methods in the empirical analysis of natural language argumentation. This includes a variety of topics such as formal and informal logic, erotetic logic, computational approaches, conversation and discourse analysis, and experimental methods in psychology with a strong focus on practical, hands-on analysis.

The International LORI conference series aims at bringing together researchers working on a wide variety of logic-related topics that concern the understanding of rationality and interaction. The series also aims at fostering a view of Logic as an interdisciplinary endeavour, and supports the creation of an East-Asian community of interdisciplinary researchers.

Invited speakers: Zoé Christoff (University of Groningen),Tim French (University of Western Australia), Aybüke Özgün (University of Amsterdam), François Schwarzentruber (ENS Lyon), Marija Slavkovik (University of Bergen) and Hongjun Zhou (Shaanxi Normal University, Xi’an)

IWLP-4 is devoted to the logical and philosophical investigation of social norms.

Invited speakers are Xiaofei LIU (Wuhan University), Olivier Roy (Bayreuth University), Liping TANG (Sun Yat-Sen University) and Frank Veltman (University of Amsterdam).