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

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

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

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

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

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

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

Uncertainty is a central phenomenon that touches all subfields of artificial intelligence. As many have observed, dealing with uncertainty remains one of the central challenges and limits the capabilities of AI approaches. For instance, many problems in AI (in reasoning, planning, learning, perception, and robotics) require the agent to operate with incomplete or uncertain information.

This special issue of the Annals of Mathematics and Artificial Intelligence (AMAI) focuses on all aspects of uncertainty that concern reasoning and is devoted to the Uncertain Reasoning Special Track in 2023 and in 2024, which was located at the respective International Florida Artificial Intelligence Research Society Conference (FLAIRS).

Submissions should be prepared following the guidelines of AMAI. The submissions themselves are made via the submission page provided at https://submission.springernature.com/new-submission/10472/3. When submitting, please select "S806: Uncertainty and Reasoning in AI" in the submission system to ensure that the submission is connected with the special issue.

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

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

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 NALOMA Workshop is co-located with ESSLLI.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, when the school was virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at levels that run from foundational to introductory to advanced, and attracts around 400 participants from all over the world.

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis on human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

Registration for attendees is now open. The early-registration deadline is Saturday, 31st May.

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

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

The 8th edition of the Workshop on Algebraic Complexity Theory will be held on March 31-April 4, 2025 at Ruhr University Bochum, Germany. This workshop will bring together experts and junior researchers in the vibrant field of algebraic complexity theory and related topics. Attendance is free of charge, but registration is required.

We are organizing a workshop on team semantics and related topics on the occasion of Aleksi Anttila's PhD defence. The speakers include Aleksi Anttila, Ivano Ciardelli, Simone Conti, Matilda Häggblom, Juha Kontinen, Jouko Väänänen, and Haoyu Wang.

Join us for the 3rd Amsterdam/Saint-Etienne Workshop on Social Choice on at Science Park in Amsterdam! We will be discussing questions of social choice in all of its many facets, including in particular the perspectives provided by computer science, economics, and political science. Registration is free but required.

Fundamentals of Software Engineering (FSEN) is an international conference that aims to bring together researchers, engineers, developers, and practitioners from academia and industry to present and discuss their research work in the area of formal methods for software engineering. Additionally, this conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical eng ineering techniques.

Keynote Speakers (confirmed):
Işıl Dillig, University of Texas at Austin
Alexander Serebrenik, Eindhoven University of Technology
Marielle Stoelinga, University of Twente and Radboud University, Nijmegen

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

On 12 June 2025, the Language Learning Resource Centre (Leiden University) is organizing a one-day conference on the topic of Language Awareness in the Language Classroom. The keynote will be held by Dr. Agneta Svalberg (Leicester University).

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

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

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

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

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

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

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

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

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.

CiE (Computability in Europe) is a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. Computability in Europe 2025 "Crossroads of Computability and Logic: Insights, Inspirations, and Innovations" will feature two Tutorial Speakers, 6 Invited Speakers, 6 Special Sessions and the Women in Computability program.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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