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

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

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.

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.

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.

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

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

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.

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

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)

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.

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. 

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.

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.

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.

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

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.

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

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

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.

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.

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

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

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.

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

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)

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.

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.

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

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