Sections
Headlines Calls for Paper
- 16 September 2025, 11th Workshop on Formal and Cognitive Reasoning (FCR 2025), Potsdam, Germany (deadline: Friday 4 July 2025)
- (New) 8 - 10 September 2025, Weak Arithmetics Days 44 (JAF 44), Prague, Czech Republic (deadline: Monday 7 July 2025)
- 23 - 28 February 2026, Computer Science Logic 2026 (CSL 2026), Paris, France (deadline: Tuesday 15 July 2025)
- 15 - 21 December 2025, 26th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2025), Modena, Italy (deadline: Tuesday 15 July 2025)
- (New) 9 - 11 December 2025, 38th International Conference on Legal Knowledge and Information Systems (JURIX 2025), Turin, Italy (deadline: Thursday 4 September 2025)
- CfP topical collection of Synthese on Feminist Logic (deadline: Wednesday 1 October 2025)
- 20 - 21 October 2025, The 6th Workshop on Dynamic Logic (DaLí 2025) (deadline: Friday 10 October 2025)
- (New) 11 - 16 April 2026, 29th International Joint Conferences on Theory and Practice of Software (ETAPS 2026), Turin, Italy (deadline: Thursday 16 October 2025)
Headlines Upcoming conferences
- 24 - 27 June 2025, Cracow Logic Conference (CLoCk 2025), Kraków, Poland
- 24 - 27 June 2025, 8th International Conference "Kazakh-French Logical Colloquium", Astana, Kazakhstan
- 24 June 2025, Workshop Philosophical Topics in Mathematics and Proof Theory
- 26 June 2025, Dutch Formal Methods Day, Lab42, Science Park 900, Amsterdam
- 27 June 2025, HGGS Summer Forum 2025, Heidelberg (Germany)
- 27 - 28 June 2025, The Syntax and Semantics of Formalisations in Philosophy, Munich, Germany
- 30 June - 3 July 2025, 17th International Conference on Deontic Logic and Normative Systems (DEON 2025), TU Wien, Vienna, Austria
- 30 June - 4 July 2025, European Conference on Object-Oriented Programming (ECOOP 2025), Bergen, Norway
- 1 July 2025, Humane Conversations event on Art&AI
- 7 - 11 July 2025, Logic Colloquium 2025, Vienna, Austria
- 7 - 11 July 2025, School on Symbolic and Statistical Methods, Kutaisi, Georgia
- (New) 10 - 11 July 2025, Different Perspectives in Philosophy of Linguistics, Vrije University Amsterdam
- 14 July 2025, 9th Women in Logic Workshop (WiL 2025), Birmingham (UK),
- 14 - 18 July 2025, Computability in Europe 2025 (CiE 2025), Lisbon, Portugal
- 28 July - 2 August 2025, The 30th International Conference on Automated Deduction (CADE-30), Stuttgart, Germany
- 28 July - 8 August 2025, 36th European Summer School in Logic, Language and Information (ESSLLI 2025)
- 31 July - 1 August 2025, 29th Conference on Computational Natural Language Learning (CoNLL 2025), Vienna, Austria
- 1 August 2025, Deduktionstreffen 2025, Stuttgart, Germany
- 1 August 2025, Weidenbach'60 – First-Order Reasoning, Below and Beyond, Stuttgart, Germany
- 4 - 8 August 2025, ESSLLI 2025 - Workshop on Truthmaker Semantics and Modal Logic
- 4 - 8 August 2025, 5th Natural Logic Meets Machine Learning Workshop (NALOMA 2025), Bochum, Germany
- 9 August 2025, HirstFest: Combinatorics in Subsystems of Second-Order Arithmetic, Vienna, Austria
- 25 - 28 August 2025, 28th International Conference on Text, Speech and Dialogue (TSD 2025), Erlangen-Nürnberg (Germany)
- 29 - 30 August 2025, Workshop on Feminist Logic
- 31 August - 5 September 2025, 10th International Workshop on Artificial Intelligence and Theorem Proving (AITP 2025), Aussois, France
- 1 - 5 September 2025, Summer School "Topology, dynamics, and logic in interaction", Cetraro, Italy
- 1 - 5 September 2025, 19th European Conference on Logics in Artificial Intelligence (JELIA 2025), Kutaisi, Georgia
- 1 - 5 September 2025, 7th International School and Workshop on Proof Theory (Proof Society 2025), Ghent, Belgium
- 2 - 4 September 2025, International PhD School on Machine Learning and Optimization
- 4 - 12 September 2025, 15th International Conference on Formal Ontology in Information Systems (FOIS 2025), , 08-12 September 2025 (Catania, Italy), 04-05 September 2025 (online)
- 8 - 11 September 2025, 1st International School on Logical Frameworks and Proof Systems Interoperability (LFPSI'25), Orsay, France
- 8 - 12 September 2025, Fifteenth International Tbilisi Symposium on Logic, Language, and Computation (TbiLLC 2025), Kutaisi, Georgia
- 9 - 10 September 2025, 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025), Rende, Italy
- 10 - 12 September 2025, British Logic Colloquium 2025 (BLC 2025) and Peter Aczel Memorial Conference, Manchester, UK
- 14 - 20 September 2025, Autumn School “Proof and Computation”, Herrsching, Germany
- 22 - 26 September 2025, Polish Congress of Logic, Toruń, Poland
- 23 - 26 September 2025, The 18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'25), Hagen, Germany
- 23 - 26 September 2025, 5th European Conference on Argumentation (ECA 2025): Argumentation in the Digital Society, Warsaw, Poland
- 24 - 26 September 2025, 22nd International Conference on Computability and Complexity in Analysis (CCA 2025), Kyoto, Japan
- 1 - 4 October 2025, Logic and Meaning: Colloquium on Gottlob Frege’s Legacy, Online
- 6 - 10 October 2025, Formal Methods in Computer-Aided Design (FMCAD 2025), Menlo Park, USA
- 10 October 2025, Workshop on Pragmatic Reasoning in Language Models @ COLM 2025
- 16 - 19 October 2025, 10th International Conference on Logic, Rationality and Interaction (LORI-10), Xi'an, China
- 1 - 2 November 2025, The Fourth International Workshop on Logic and Philosophy (IWLP-4): ‘Social Norms: Logical Structures and Philosophical Foundations’
- 17 - 18 December 2025, GenAI & Creative Practices: Past, Present, and Future, University of Amsterdam
- 12 - 15 January 2026, 8th International Meeting of the Association for the Philosophy of Mathematical Practice (APMP 2025), Orange CA, USA
- 31 May - 5 June 2026, The 2026 ACM Symposium on Principles of Database Systems (PODS 2026), Bengaluru, India
Calls for Paper
-
16 September 2025, 11th Workshop on Formal and Cognitive Reasoning (FCR 2025), Potsdam, Germany
Location: Potsdam, GermanyDeadline: Friday 4 July 2025In 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.
For more information, see https://fcr.krportal.org/2025/. -
(New) 8 - 10 September 2025, Weak Arithmetics Days 44 (JAF 44), Prague, Czech Republic
Location: Prague, Czech RepublicDeadline: Monday 7 July 2025The annual meeting Journées sur les Arithmétiques Faibles / Weak Arithmetics Days (JAF) will take place in Prague this year on 8-10 September. It deals with proof theory and model theory around weak systems of arithmetic and related topics.
Invited speakers: Albert Atserias, Technical University of Catalonia Leszek Ko³odziejczyk, University of Warsaw Jan Krajíèek, Charles University.
Authors are invited to send an abstract not exceeding three pages as an electronic submission.
For more information, see https://workshop.math.cas.cz/JAF44/. -
23 - 28 February 2026, Computer Science Logic 2026 (CSL 2026), Paris, France
Location: Paris, FranceDeadline: Tuesday 15 July 2025CSL 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.
For more information, see https://csl2026.github.io/. -
15 - 21 December 2025, 26th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2025), Modena, Italy
Location: Modena, ItalyDeadline: Tuesday 15 July 2025Software 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.
For more information, see https://conferences-website.github.io/prima2025. -
(New) 9 - 11 December 2025, 38th International Conference on Legal Knowledge and Information Systems (JURIX 2025), Turin, Italy
Location: Turin, ItalyDeadline: Thursday 4 September 2025The 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.
For more information, see https://jurix2025.di.unito.it/ or contact Réka Markovich at reka.markovich at uni.lu. -
CfP topical collection of Synthese on Feminist Logic
Deadline: Wednesday 1 October 2025Feminist Logic examines intersections of formal logic and feminist philosophy. As such it challenges traditional conceptions both of feminism and of logic. This is a very broad description, but it captures the diversity of the field of Feminist Logic that will also be reflected in the contributions to this topical collection.
Contributions combining logic and feminist philosophy are welcome. Note that the topics are not meant to be restricted to gender discourses but that submissions addressing intersectional feminist approaches are also particularly encouraged.
For more information, see https://link.springer.com/collections/hiejjifchd or contact Sara Ayhan at sara.ayhan at rub.de. -
20 - 21 October 2025, The 6th Workshop on Dynamic Logic (DaLí 2025)
Location: Shaanxi Normal University, Xi'an, ChinaTarget audience: Researchers in LogicCosts: Registration FeeDeadline: Friday 10 October 2025Building 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).Submissions are invited on the general field of dynamic logic, its variants and applications, including (but not restricted to):
- Dynamic logic, foundations and applications
- Logics with regular modalities
- Modal/temporal/epistemic/game logics
- Kleene and action algebras and their variants
- The interface between logic and learning
- Quantum dynamic logic
- Co-algebraic modal/dynamic logics
- Graded and fuzzy dynamic logics
- Dynamic logics for cyber-physical systems
- Dynamic epistemic logic
- Complexity and decidability of variants of dynamic logics and temporal logics
- Model checking, model generation and theorem proving for dynamicWe solicit two categories of submissions:
- Regular papers - describing original research results, case studies, or surveys, should not exceed 15 pages (excluding bibliography of at most two pages).
- Short papers – describing original research results or case studies, maybe in an incubation phase, with 6 to 8 pages (excluding bibliography of at most one page)
Papers must follow the guidelines for Springer LNCS submissions. All submissions must be original and not simultaneously under review elsewhere.For more information, see http://www.dali2025.cn/ or contact Lei Li at lileity at snnu.edu.cn. -
(New) 11 - 16 April 2026, 29th International Joint Conferences on Theory and Practice of Software (ETAPS 2026), Turin, Italy
Location: Turin, ItalyDeadline: Thursday 16 October 2025ETAPS 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 SystemsSeveral 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.
- ESOP: regular research papers of max 25 pp, experience reports of max 15 pp, and fresh perspectives providing new insights on programming languages and systems of max 15 pp. For the sake of flexibility, submitted research papers may be formatted in other formats. There is no page limit at the submission time. Please refer to https://etaps.org/2026/esop for more details.
- FASE: regular research papers and empirical evaluation papers of max 18 pp; new ideas and emerging results (NIER) papers of max 8 pp; tool demonstration papers and data showcase papers of max 8 pp (+ optional appendix of max 6 pp),
- FoSSaCS: regular research papers of max 18 pp
- TACAS: regular research papers, case study papers, and regular tool papers of max 16 pp, tool demonstration papers of max 6 pp
For more information, see https://etaps.org/2026.
Upcoming conferences
-
24 - 27 June 2025, Cracow Logic Conference (CLoCk 2025), Kraków, Poland
Location: Kraków, PolandWe 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 TheoryConfirmed Invited Speakers: Nick Galatos (University of Denver), Grigory Olkhovikov (Ruhr-Universität Bochum)
For more information, see https://iphils.uj.edu.pl/clock. -
24 - 27 June 2025, 8th International Conference "Kazakh-French Logical Colloquium", Astana, Kazakhstan
Location: Astana, KazakhstanIt 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.
For more information, see https://cryptology.kz/conf/ or contact markhabatov at gmail.com. -
24 June 2025, Workshop Philosophical Topics in Mathematics and Proof Theory
Location: Utrecht, the NetherlandsOn 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.
For more information, see https://sites.google.com/view/workshop-philosophy-proofs/home or contact Robin Martinot at r.a.martinot at uu.nl. -
26 June 2025, Dutch Formal Methods Day, Lab42, Science Park 900, Amsterdam
Location: Lab42, Science Park 900, AmsterdamCosts: NoneThe 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.
For more information, see here or at https://conf.researchr.org/home/dfdm-2025 or contact Benno van den Berg at b.vandenberg3 at uav.nl. -
27 June 2025, HGGS Summer Forum 2025, Heidelberg (Germany)
Location: Heidelberg (Germany)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.
For more information, see here or at https://www.hggs.uni-heidelberg.de/en/node/543 or contact Organizing Committee, HGGS Summer Forum 2025 at HGGS-FORUM at hggs.uni-heidelberg.de.. -
27 - 28 June 2025, The Syntax and Semantics of Formalisations in Philosophy, Munich, Germany
Location: Munich, GermanyThe 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.
For more information, see https://philevents.org/event/show/127590 or contact Formalisations2025 at gmail.com. -
30 June - 3 July 2025, 17th International Conference on Deontic Logic and Normative Systems (DEON 2025), TU Wien, Vienna, Austria
Location: TU Wien, Vienna, AustriaThe 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.
For more information, see https://sites.google.com/view/deon-2025/ or contact Kees van Berkel, Agata Ciabattoni at office at vcla.at. -
30 June - 4 July 2025, European Conference on Object-Oriented Programming (ECOOP 2025), Bergen, Norway
Location: Bergen, NorwayECOOP 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.
For more information, see https://2025.ecoop.org or contact Giorgio Audrito at giorgio.audrito at unito.it. -
1 July 2025, Humane Conversations event on Art&AI
Location: Institute for Advanced Study, Sweelinck Room, Oude Turfmarkt 145-147, Amsterdam / OnlineCosts: Free registration requiredWe 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!
For more information, see https://humane-ai.nl/events_report/humane-conversations-4/ or contact Pam Rossel at p.rossel at uva.nl. -
7 - 11 July 2025, Logic Colloquium 2025, Vienna, Austria
Location: Vienna, AustriaThe 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 MathematicsFor more information, see https://www.colloquium.co/lc2025 or contact lc25 at dmg.tuwien.ac.at. -
7 - 11 July 2025, School on Symbolic and Statistical Methods, Kutaisi, Georgia
Location: Kutaisi, GeorgiaCosts: E150The 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.
For more information, see https://europroofnet.github.io/Kutaisi25/ or contact besik.dundua at kiu.edu.ge. -
(New) 10 - 11 July 2025, Different Perspectives in Philosophy of Linguistics, Vrije University Amsterdam
Location: Vrije University AmsterdamTarget audience: Philosophy, LinguisticsCosts: FreeThis 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)
For more information, see here or contact Tamara Dobler at t.dobler at vu.nl. -
14 July 2025, 9th Women in Logic Workshop (WiL 2025), Birmingham (UK),
Location: Birmingham (UK),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.
For more information, see https://sites.google.com/view/wil2025. -
14 - 18 July 2025, Computability in Europe 2025 (CiE 2025), Lisbon, Portugal
Location: Lisbon, PortugalCiE (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.
For more information, see https://sites.google.com/view/cie2025-computabilityineurope/. -
28 July - 2 August 2025, The 30th International Conference on Automated Deduction (CADE-30), Stuttgart, Germany
Location: Stuttgart, GermanyCADE 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.
For more information, see https://www.dhbw-stuttgart.de/cade-30/ or contact cade30 at easychair.org. -
28 July - 8 August 2025, 36th European Summer School in Logic, Language and Information (ESSLLI 2025)
Location: Bochum (Germany)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.
For more information, see here or at https://2025.esslli.eu/ or contact Søren Brinck Knudstorp (on behalf of ESSLLI 2025) at essllipublicity at gmail.com. -
31 July - 1 August 2025, 29th Conference on Computational Natural Language Learning (CoNLL 2025), Vienna, Austria
Location: Vienna, AustriaCoNLL 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.
For more information, see here or at https://www.conll.org. -
1 August 2025, Deduktionstreffen 2025, Stuttgart, Germany
Location: Stuttgart, GermanyThe 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.
For more information, see https://dt2025.krportal.org/. -
1 August 2025, Weidenbach'60 – First-Order Reasoning, Below and Beyond, Stuttgart, Germany
Location: Stuttgart, GermanyWeidenbach'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.
For more information, see https://cca.informatik.uni-freiburg.de/weidenbach60/. -
4 - 8 August 2025, ESSLLI 2025 - Workshop on Truthmaker Semantics and Modal Logic
Location: Bochum (Germany)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.
For more information, see here or at https://philevents.org/event/show/130826 or contact Vita Saitta at vita.saitta at gmail.com. -
4 - 8 August 2025, 5th Natural Logic Meets Machine Learning Workshop (NALOMA 2025), Bochum, Germany
Location: Bochum, GermanyTarget audience: NLP, semantics, logicThere 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.
For more information, see https://naloma.github.io/2025/ or contact Lasha Abzianidze at L.Abzianidze at uu.nl. -
9 August 2025, HirstFest: Combinatorics in Subsystems of Second-Order Arithmetic, Vienna, Austria
Location: Vienna, AustriaWe 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).
For more information, see https://hirstfest.computability.org/. -
25 - 28 August 2025, 28th International Conference on Text, Speech and Dialogue (TSD 2025), Erlangen-Nürnberg (Germany)
Location: Erlangen-Nürnberg (Germany)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.
For more information, see https://www.tsdconference.org/tsd2025/ or contact tsd2025 at tsdconference.org. -
29 - 30 August 2025, Workshop on Feminist Logic
Location: Ruhr University Bochum, GermanyFeminist 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).
For more information, see https://sites.google.com/view/workshop-feministlogic/home or contact Sara Ayhan at sara.ayhan at rub.de. -
31 August - 5 September 2025, 10th International Workshop on Artificial Intelligence and Theorem Proving (AITP 2025), Aussois, France
Location: Aussois, FranceLarge-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.
For more information, see http://aitp-conference.org/2025. -
1 - 5 September 2025, Summer School "Topology, dynamics, and logic in interaction", Cetraro, Italy
Location: Cetraro, ItalyRegistrations 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.
For more information, see https://sites.google.com/unifi.it/cime/c-i-m-e-courses/c-i-m-e-courses-2025. -
1 - 5 September 2025, 19th European Conference on Logics in Artificial Intelligence (JELIA 2025), Kutaisi, Georgia
Location: Kutaisi, GeorgiaThe 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.
For more information, see https://viam.science.tsu.ge/jelia2025/ or contact jelia2025 at easychair.org. -
1 - 5 September 2025, 7th International School and Workshop on Proof Theory (Proof Society 2025), Ghent, Belgium
Location: Ghent, BelgiumThe 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.
For more information, see https://proof2025.ugent.be/. -
2 - 4 September 2025, International PhD School on Machine Learning and Optimization
Location: Turing Hall, CWI, Science Park 125, Amsterdam (the Netherlands)Target audience: PhD StudentsCosts: 60 EuroThe 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.
For more information, see https://www.cwi.nl/en/events/cwi-research-semester-programmes/phd-school-machine-learning-and-optimization/ or contact Guido Schäfer at g.schaefer at cwi.nl. -
4 - 12 September 2025, 15th International Conference on Formal Ontology in Information Systems (FOIS 2025), , 08-12 September 2025 (Catania, Italy), 04-05 September 2025 (online)
Location: Catania, Italy / onlineFOIS 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.
For more information, see https://www.dmi.unict.it/fois2025/. -
8 - 11 September 2025, 1st International School on Logical Frameworks and Proof Systems Interoperability (LFPSI'25), Orsay, France
Location: Orsay, FranceThe 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 interoperabilityFor more information, see https://europroofnet.github.io/LFPSI25/. -
8 - 12 September 2025, Fifteenth International Tbilisi Symposium on Logic, Language, and Computation (TbiLLC 2025), Kutaisi, Georgia
Location: Kutaisi, GeorgiaThe 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)For more information, see https://events.illc.uva.nl/Tbilisi/Tbilisi2025 or contact Balder ten Cate at b.d.tencate at uva.nl. -
9 - 10 September 2025, 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025), Rende, Italy
Location: Rende, ItalyThe 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.
For more information, see https://lopstr.github.io/2025/. -
10 - 12 September 2025, British Logic Colloquium 2025 (BLC 2025) and Peter Aczel Memorial Conference, Manchester, UK
Location: Manchester, UKThe 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.
For more information, see https://sites.google.com/view/blc2025/. -
14 - 20 September 2025, Autumn School “Proof and Computation”, Herrsching, Germany
Location: Herrsching, GermanyTarget audience: Graduate or PhD students and young postdoctoral researchersThis 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.
For more information, see https://www.mathematik.uni-muenchen.de/~schwicht/pc25.php or contact Valentin Herrmann at herrmann+pc25 at math.lmu.de. -
22 - 26 September 2025, Polish Congress of Logic, Toruń, Poland
Location: Toruń, PolandTarget audience: logicians, philosophers, computer scientists, mathematiciansThe 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.
For more information, see https://logika.net.pl/language/en/call-for-papers/ or contact Kordula Świętorzecka at k.swietorzecka at uksw.edu.pl. -
23 - 26 September 2025, The 18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'25), Hagen, Germany
Location: Hagen, GermanyThe 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.
For more information, see https://ecsqaru2025.krportal.org. -
23 - 26 September 2025, 5th European Conference on Argumentation (ECA 2025): Argumentation in the Digital Society, Warsaw, Poland
Location: Warsaw, PolandThe 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.
For more information, see https://ecargument.org/?page_id=1352 or contact info.ecargument at gmail.com. -
24 - 26 September 2025, 22nd International Conference on Computability and Complexity in Analysis (CCA 2025), Kyoto, Japan
Location: Kyoto, JapanThe conference is concerned with the theory of computability and complexity over real-valued data. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet, present work in progress and exchange ideas and knowledge.
The topics of interest include foundational work on various models and approaches for describing computability and complexity over the real numbers. They also include complexity-theoretic investigations, both foundational and with respect to concrete problems, and new implementations of exact real arithmetic, as well as further developments of already existing software packages. We hope to gain new insights into computability-theoretic aspects of various computational questions from physics and from other fields involving computations over the real numbers.
Invited Speakers: Takako Nemoto (Sendai, Japan), Selwyn Ng (NTU, Singapore), Yudai Suzuki (Oyama, Japan) and Patrick Uftring (München, Germany).
For more information, see http://cca-net.de/cca2025/. -
1 - 4 October 2025, Logic and Meaning: Colloquium on Gottlob Frege’s Legacy, Online
Location: OnlineThis 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)
For more information, see https://philevents.org/event/show/133430 or contact jcarrera at unfv.edu.pe. -
6 - 10 October 2025, Formal Methods in Computer-Aided Design (FMCAD 2025), Menlo Park, USA
Location: Menlo Park, USAFMCAD 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.
For more information, see https://fmcad.org/FMCAD25/. -
10 October 2025, Workshop on Pragmatic Reasoning in Language Models @ COLM 2025
Location: Montreal, CanadaThe 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.
For more information, see https://sites.google.com/berkeley.edu/praglm/ or contact Polina Tsvilodub at polina.tsvilodub at uni-tuebingen.de. -
16 - 19 October 2025, 10th International Conference on Logic, Rationality and Interaction (LORI-10), Xi'an, China
Location: Xi'an, ChinaTarget audience: logicians, philosophers, AI researchers, game theorists, computer scientistsThe 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)
For more information, see https://golori.org/lori2025/ or contact Chenwei Shi at shichenwei88 at live.com. -
1 - 2 November 2025, The Fourth International Workshop on Logic and Philosophy (IWLP-4): ‘Social Norms: Logical Structures and Philosophical Foundations’
Location: Tsinghua University, BeijingTarget audience: logicians, philosophersIWLP-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).
For more information, see https://tsinghualogic.net/JRC/4thlp/ or contact Yiyan WANG at yiyanthu at gmail.com. -
17 - 18 December 2025, GenAI & Creative Practices: Past, Present, and Future, University of Amsterdam
Location: University of AmsterdamTarget audience: We welcome submissions from diverse disciplines, including but not limited to computer science, (digital) humanities, (computational) social sciences, law and arts.Costs: Registration fees (includes conference dinner & closing drinks): OECD countries, faculty & postdocs: 100 Euro OECD countries, PhD students: 50 Euro OECD countries, affiliates of NGOs and non-academic research institutes: 100 Euro Non-OECD countries, affiIn 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 GenAIFor more information, see https://rdt.uva.nl/genai--creative-practices/genai--creative-practices.html or contact Isa Verhoeven at i.verhoeven2 at uva.nl. -
12 - 15 January 2026, 8th International Meeting of the Association for the Philosophy of Mathematical Practice (APMP 2025), Orange CA, USA
Location: Orange CA, USAThe 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).
For more information, see https://www.chapman.edu/scst/graduate/apmp-conference-2025.aspx or contact beesley at chapman.edu. -
31 May - 5 June 2026, The 2026 ACM Symposium on Principles of Database Systems (PODS 2026), Bengaluru, India
Location: Bengaluru, IndiaThe 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.
For more information, see https://2026.sigmod.org/.