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.
We are pleased to announce the 70th edition of the Cracow Logic Conference to be held on 24-27 June 2025 at the Jagiellonian University in Kraków, Poland.
This special anniversary edition will feature two thematic parts:
- Konferencja Historii Logiki (KHL) 24-25 June
Marking the 70th edition of KHL, dedicated to the history and philosophy of logic, including contemporary developments in these areas. Mostly in Polish.
- CLoCk 2627 June
Focusing on all areas of mathematical logic, with particular emphasis on Algebraic Logic, Model Theory, and Proof Theory
Confirmed Invited Speakers: Nick Galatos (University of Denver), Grigory Olkhovikov (Ruhr-Universität Bochum)
It was first organized in 1990 by the French logician and linguist Bruno Poizat and the Kazakh logician Tolendo Garifuly Mustafin in Kazakhstan. The colloquium was attended by more than 70 participants from all over the world. Most of the participants from neighboring countries were from the USSR, and there were several researchers from France led by Bruno Poizat from afar. Bruno Poizat is now an honorary professor at E. A. Buketov Karaganda University and L. N. Gumilyov Eurasian National University, and the Eighth International Conference "Kazakh-French Logical Colloquium" will now be held at L.N. Gumilyov Eurasian National University (Astana, Kazakhstan) on June 24-27, 2025.
Plenary (30-40-50 min.), contributed and sectional (15-20 min.) talks are planned. The official languages of the conference are Kazakh, Russian and English.
On Tuesday June 24, following the PhD defense of Robin Martinot on June 23, a workshop will take place at Utrecht University on philosophical topics in mathematics and proof theory. Everyone who is interested is welcome to attend. The list of speakers include Albert Visser (Utrecht University), Amir Tabatabai (University of Groningen), Heinrich Wansing (Ruhr University Bochum), Andrew Arana (Université de Lorraine), Marianna Girlando (University of Amsterdam), Colin Caret (Utrecht University) and Robin Martinot.
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.
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.
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.
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.
We are excited to kick off this series of Humane Conversations with a discussion on the interplay of AI and art. Join us as we bring together a panel of researchers and artists to explore how through artistic works we can communicate, reimagine, and reflect on AI technologies, and how art can be created through the advancements in AI tools.
This will be a hybrid event on Tuesday, 1 July, from 15:00 to 16:30, followed by drinks till 18:00. You are most welcome to join us in person at the Sweelinck room of the Institute of Advanced Study (IAS), Oude Turfmarkt 145-147, or online (link to be provided shortly). Please click on the link for registration and stay tuned for more details in the upcoming weeks!
The 1st Workshop on Pragmatic Reasoning in Language Models (PragLM) aims to stimulate research on LLMs as pragmatically competent language users. We invite contributions that will forward the discussion of understanding and improvement of LLMs' capability to generate natural language flexibly and efficiently across contexts, with relations to research on the cognitive and linguistic processes supporting effective, context-sensitive communication. Our interdisciplinary theme brings together researchers in NLP, computational pragmatics, cognitive science, and other fields.
We invite researchers to present their published and ongoing works on the topics of, but not limited to:
- Improving Pragmatic, Contextual Language Use in LLMs
- Evaluating Pragmatic Competence of Language Models
- Theory-of-Mind (ToM) and Pragmatics
- Pragmatics across Cultures and Languages
- Application of LLMs for Understanding Human Pragmatic Language Use
- Interpretability of LLMs' Pragmatic Competence
We seek both 4-page extended abstracts and 8-page full papers, excluding references and appendices. All workshop papers are non-archival, and we welcome position papers on topics of interest to the workshop. All submissions will be in the COLM 2025 LaTeX format and submitted via the OpenReview portal. Accepted papers will be invited for poster/oral presentations and will be publicly available on the workshop website.
The School on Symbolic and Statistical Methods for Reasoning and Processing Formal Expressions aims to equip participants with advanced techniques for formal reasoning and expression processing. Covering topics such as access control policies, symbolic knowledge extraction, automated protocol analysis, and quantitative constraint solving, the program bridges symbolic and statistical approaches. It explores the integration of regular languages in deep learning and the use of runtime verification with SMT solving, providing both theoretical foundations and practical applications. Through interdisciplinary learning, the school fosters research and innovation in formal methods and AI.
This workshop brings together philosophers and linguists to examine foundational questions about the nature of language as a scientific subject. Topics include whether language is a natural or social phenomenon, internal or external, learned or innate, and how to understand polysemy and the competence-performance distinction. We will also explore the interface between grammar and thought, and compare statistical models—particularly in the age of large language models (LLMs)—with generative approaches to linguistic structure.
Speakers: Paul Pietroski (Rutgers), Martina Wiltschko (Barcelona), John Collins (Basque Country), Piek Vossen (VU Amsterdam), Gary Kemp (Glasgow), Lieven Decock (VU Amsterdam), David King (Dublin), Tamara Dobler (VU Amsterdam), Guido Lohr (VU) and Christian Michel (Edinburgh)
Weidenbach'60, a workshop in celebration of Prof. Christoph Weidenbach's 60th birthday, is taking place on August 1st, 2025, Stuttgart, Germany, as an event co-located with CADE-30.
Christoph is a well-known figure in the automated reasoning community, a leader of the Automation of Logic group at Max-Planck-Institut für Informatik, Saarbrucken, a former president of CADE Inc, and the main developer of the well-known automatic prover SPASS.
We are happy to announce "Combinatorics (and much more) in subsystems of second-order arithmetic: A conference in honor of Jeff Hirst", to take place on Saturday, August 9, 2025 at TU Wien in Vienna, Austria. Please join us for a meeting celebrating the mathematical contributions of Jeff, organized by his friends and colleagues on the occasion of his retirement.
The invited speakers are Peter Cholak (Notre Dame), Oriola Gjetaj (Ghent University), Katarzyna Kowalik (University of Warsaw), Alberto Marcone (University of Udine), Carl Mummert (Marshall University), and Stephen Simpson (Pennsylvania State University & Vanderbilt University).
The 7th International School and Workshop on Proof Theory will be organized by Ghent University under the auspices of The Proof Society. This annual event continues its tradition of uniting students, researchers, and practitioners to explore both the applied and foundational aspects of proof theory. Following the format of previous editions, the event begins with a three-day Summer School (September 1–3) offering five tutorials on a variety of topics related to proof theory. This will be followed by a two-day Workshop (September 4–5) featuring invited lectures and contributed talks. Guided by The Proof Manifesto, this event embraces the notion of proofs in its broadest sense, welcoming participation and contributions from logic, computer science, mathematics, and beyond.
The PhD School delves into the theoretical and algorithmic foundations of integrating novel techniques into algorithm design and is tailored for PhD students interested in the growing intersection of Machine Learning and Optimization. The school combines lectures with collaborative group works. Registration is now open.
The 2025 meeting of the British Logic Colloquium will take place at the University of Manchester (UK) from 11th to 12th September 2025. It will be preceded by the Peter Aczel Memorial Conference on 10th September 2025.
The programme will include invited and contributed talks on a range of topics including (but not restricted to) categorical logic, computability theory, proof theory, logic in computer science, model theory, philosophical logic, set theory, history of logic.
This year's international autumn school "Proof and Computation" will be held from 14th to 20th September 2025 at Haus der bayerischen Landwirtschaft in Herrsching near Munich. Its aim is to bring together young researchers in the fields 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.
In real-life AI applications, information is usually pervaded by uncertainty and subject to change, and thus requires non-classical systems. 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, such as analogical or defeasible reasoning, have to be considered, 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.
This series of workshops aims 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'25 will be co-located with the 48th German Conference on Artificial Intelligence (KI 2025).
We welcome papers on the following and any related topics: Action and change Agents and multi-agent systems, Analogical reasoning, Argumentation theories, Belief change and belief merging, Cognitive modelling 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, Neuro-symbolic AI, Nonmonotonic and uncertain reasoning, Ontologies and description logics, Probabilistic approaches of reasoning, and Syllogistic reasoning.
Long technical papers as well as short position papers and abstracts of published works are welcome. Papers should be formatted in CEUR style (1-column style) without enabled header and footer. The length of each paper is limited to 20 pages (including references and acknowledgements). - All papers must be written in English and submitted in PDF format via the EasyChair system. One of the authors is expected to participate in the workshop and present their paper.
The JURIX conference has provided an international forum for research on the intersection of Artificial Intelligence and Information Systems with Law for decades, under the auspices of the JURIX Foundation for Legal Knowledge Systems.
The purpose of the JURIX conference series is to foster scientific exchange between researchers, practitioners, students, dedicated to exploring recent advancements, challenges, and opportunities of technologies applied to legal and para-legal activities.
We invite submissions of original papers on legal information, legal knowledge systems, artificial intelligence and law, computational and socio-technical approaches to law and other normative systems, covering foundations, methods, tools, systems, interfaces, and applications. Papers should demonstrate added value, novelty of contribution and/or analysis, significance of the work, (formal) validity and/or proper evaluation.
There are three categories of papers: long, short, and poster. All papers must be original and not simultaneously submitted to another journal or conference. The papers are required to thoroughly reference relevant AI&Law literature, especially contributions from JURIX, ICAIL, and the Artificial Intelligence and Law journal as well as from other relevant venues.
Software systems are rapidly becoming more intelligent in the functionality they offer to users. They are also becoming more decentralized, with components that act autonomously and must communicate among themselves or with human users to achieve their goals. Examples of such systems include those in healthcare, disaster management, e-business, and smart grids. A multi-agent perspective is crucial to the proper conceptualization, deployment, and governance of these systems. Rooted in solid computational and software engineering foundations, this perspective offers abstractions such as intelligent agents, protocols, norms, organizations, trust and incentives, among others. As a large, but still growing research field of artificial intelligence, multi-agent systems today remain a unique enabler of interdisciplinary research.
PRIMA 2025 invites submissions of original, unpublished work strongly relevant to multi-agent systems. Apart from theoretical work, we encourage the submission of reports on the development of applications or prototypes of deployed agent systems, and of experiments that demonstrate novel agent system capabilities. In addition to this, we also encourage the submission of position papers that are of relevance to the multi-agent community.
Type of submissions: Full papers (16 pages plus references), Short papers (4 pages plus references) and Position papers (2 pages plus references). All submitted papers must be in a form suitable for double-blind review. All papers will be reviewed by at least 2-3 experts in the area following a detailed review form that will assess the paper based on the significance and novelty of the idea, the technical description of the proposal, clarity and organization, the evaluation methodology, and any ethical considerations. All accepted papers will be published in Springer's Lecture Notes in Artificial Intelligence series (LNCS/LNAI), and must be submitted using the Springer LNCS/LNAI format.
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 2026 is the 34th edition of the conference and will be held in Paris on the 23-28 February 2026 and is organised by the Logic and Computation team of the LIPN of Sorbonne Paris Nord University.
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.
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 2026 is the twenty-nineth 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
Several satellite workshops and other events will take place during the weekend before the main conferences.
The four main conferences of ETAPS 2026 solicit contributions of the following types. All page limits are given excluding the bibliography. Submitted papers must be in English, presenting original research. They must be unpublished and not submitted for publication elsewhere.
The PODS symposium series, held in conjunction with the SIGMOD conference series, provides a premier annual forum for the communication of new advances in the theoretical foundation of database systems. The PODS community aims to provide a solid scientific basis for methods, techniques, and solutions for the data management challenges that continually arise in our data-driven society. It develops new ways of advancing data management to reflect the rich landscape of data requirements in applications nowadays. Our goal is to develop solutions that ensure high levels of efficiency, scalability, usability, expressiveness, robustness, security, clarity, and privacy, among others. The PODS community is an open space where researchers from various areas related to the principles of computer science can discuss, interact, and propose solutions to problems in data management.