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.

Kuwait University will hold its inaugural symposium in logic on February 18 th and 19th of 2025.

Keynote speakers: Graham Priest (CUNY Graduate Center), Gillian Russell (Australian National University), Suki Finn (Royal Holloway University of London) and Eduardo Barrio (University of Buenos Aires),

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

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 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 Zagreb Logic Conference is an event that gathers researchers from the discipline of logic and various connected fields. This is the third installment of the conference, which was first held in January 2023 on the occasion of World Logic Day. The conference will be held from February 14 to February 17, 2025, at the Department of Mathematics, University of Zagreb, and will be held exclusively in person. Each talk will be allocated a slot of 25 minutes, plus an additional 5 minutes for discussion.

Invited speakers: Patricia Blanchette (University of Notre Dame) Murdoch James Gabbay (Heriot-Watt University).

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.

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.

Following the successful 2022 and 2023 editions of the Workshop DaLÌ - Dynamic Logic: New trends and applications, it is our pleasure to announce the possibility of publishing work on Dynamic Logic in the upcoming Special Issue of Journal of Logic, Language and Information. Submissions of original papers (unpublished and not submitted for publication elsewhere), up to 30 pages (excluding references) are invited on the general field of dynamic logic, its variants, and applications

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.

The ICTAC conference series aims at bringing together researchers and practitioners from academia, industry, and government to present research and exchange ideas and experiences within theoretical aspects of computing through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries.

The program will include Training and Tutorial lectures, talks by Invited Speakers, and presentations of Accepted Papers.

In celebration of the PhD defense of Daira Pinto Prieto, we are organizing a workshop focused on aggregation methods, uncertainty, and learning. The workshop will begin at 9 AM at the Amsterdam University Library and will be followed by Daira's defense of her thesis, Combining Uncertain Evidence: Logic and Complexity, at 2 PM in the Agnietenkapel.

The Australasian Association for Logic will hold  its annual conference in hybrid format (using  Zoom for the online component) from  Tuesday 26 November  to Thursday 28 November, 2024. The physical location will be the University of Sydney  in Sydney, New South Wales, Australia. The conference aims to bring together logicians, either based in Australasia or with the desire to connect with logicians based in Australasia, working in mathematical, computational, or philosophical logic. The conference is intended to provide a platform for presentation and exchange of ideas.

There will be three one-hour invited talks on different logic topics. The speakers will be Noam Greenberg (Victoria University of Wellington),  Annalisa Conversano  (Massey University),  and Manfred Droste (University of Leipzig).

The Latin-American Symposium on Dependable and Secure Computing (LADC) is the major event on dependability and security of computer systems in Latin America. LADC 2024 will feature technical sessions, workshops, tutorials, fast abstracts, keynote talks from international experts in the area, and an industrial track.

LADC'2024 will be co-located with the XIV Brazilian Symposium on Computing Systems Engineering (SBESC), in Recife, Brazil, November 26 to 29 2024.

The increasing adoption of Artificial Intelligence techniques in safety-critical systems, employed in real world scenarios, requires the design of reliable, robust, and verifiable methodologies. Artificial Intelligence systems employed in such applications need to provide formal guarantees about their safety, increasing the need for a close interaction between the Artificial Intelligence and Formal Methods scientific communities, and possibly leading to the proposal of novel neurosymbolic approaches. To witness this increasing need, tools and methodologies integrating Formal Methods and Artificial Intelligence, and more broadly symbolic and sub-symbolic solutions, are getting more and more attention, especially considering the wide-range and pervasive applications of machine and deep learning models.

The workshop is the main official initiative supported by the OVERLAY group. The event aims at establishing a stable, long-term scientific forum on relevant topics connected to the relationships between Artificial Intelligence and Formal Methods, by providing a stimulating environment where researchers can discuss about opportunities and challenges at the border of the two areas. Important goals of the workshop are (i) to encourage the ongoing interaction between the formal methods and artificial intelligence communities, (ii) to identify innovative tools and methodologies, and (iii) to elicit a discussion on open issues and new challenges.

The ANU Logic Summer School is an annual event that offers a two week long programme of lectures on modern logic, the foundational discipline of the information sciences. Topics include not only the science of reasoning but also computability theory, type theory and other tools for understanding processes, declarative programming, automatic proof generation, program verification and much more. The school is primarily geared at late undergraduate and masters students, but is open to all, including postgraduate and PhD students, postdocs, and participants from industry.

The school features four introductory courses in the first week, and a series of five lectures covering more advanced topics in the second week. The courses are given by a mix of local, domestic and international speakers.

In each edition of the Responsible Digital Transformations (RDT) Keywords Project, we explore the diverse interpretations of a certain concept or keyword across disciplines. In line with the current RDT campaign theme, this third edition will focus on the concept of 'Creativity' in the age of generative AI.

Speakers:
Dr. Monika Kackovic: Associate Professor FEB and coordinator of the MSc BA Entrepreneurship and Innovation in the Creative Industries (EMCI) program.
Dr. Claudio Celis Bueno: Assistant Professor in New Media and Digital Cultures and co-coordinator of the AI and Cultural Production research group.
Christoph Finkensiep: Assistant Professor in Generative AI in the Arts, and cognitive scientist at the Music Cognition Group.
The afternoon is moderated by Dr. Nanne van Noord, Assistant Professor of Visual Culture and Multimedia in the Multimedia Analytics Lab.

Logic and strategic reasoning play a central role in multi-agent systems. Logic can be used, for instance, to express the agents' abilities, knowledge, and objectives. Strategic reasoning refers to algorithmic methods that allow for developing good behaviour for the agents of the system. At the intersection, we find logics that can express the existence of strategies or equilibria, and can be used to reason about them.

The LAMAS&SR workshop merges two international workshops: LAMAS (Logical Aspects of Multi-Agent Systems), which focuses on all kinds of logical aspects of multi-agent systems from the perspectives of artificial intelligence, computer science, and game theory, and SR (Strategic Reasoning), devoted to all aspects of strategic reasoning in formal methods and artificial intelligence. As such, the LAMAS&SR workshop aims to bring together researchers working on different aspects of either logic or strategic reasoning in computer science, artificial intelligence and multi-agent systems research, both from a theoretical and a practical viewpoint.

In the last decade, the growth of the Internet and other web technologies have driven fast developments of various networking technologies that are be coming primary parts of our daily lives. The wealth of existing algorithms and architectures for parallel and distributed computing combined with the proliferation of future wireless technologies and electronic devices resulted in a fast-growing adoption of future networks and highly decentralized systems. Future networks and distributed systems research is an interdisciplinary research field involving academic researchers in computer science, communication engineering, physics and social and behavioral studies, as well as information technology industry consultants and practitioners to support multiservice, multimedia services convergence, service ubiquity and context awareness, mobility, fixed-mobile convergence, variable connectivity, quality of service, spontaneous and autonomic networking and other capabiliti es.

The 2024 International Conference on Future Networks and Distributed Systems (ICFNDS 2024) aims at addressing advances in research on distributed systems and future networks, covering topics ranging from enabling technologies to emerging applications and industrial experiences. ICFNDS aims to encourage both researchers and practitioners to exchange and share their experiences and recent studies in an interactive atmosphere.

The Dutch Association for Logic (VvL) will hold an in-person joint seminar organized by Eindhoven University. The event is inspired by the departmental logic seminars that are organized at each university, and aims to unify the universities for a collaborative seminar. Besides hosting a main speaker, the seminar will also be the location of the award ceremony of the VvL MSc Thesis Prize winners, who will give a short presentation of their thesis.

Main speaker: Alexandru Baltag (ILLC),
MSc Thesis Prize winners: Aude Corbeel (UvA), Sterre Lutz (UU), Ruben Mud (RUG) and Valentin Müller (UvA).

The Amsterdam Colloquia aim to bring together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages. The Amsterdam Colloquia are organized by the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.

In addition to the general programme, the 2024 Amsterdam Colloquium will feature two workshops. The Colloquium will also include a poster session, and host one evening lecture by Prof. Angelika Kratzer jointly organized with the E.W. Beth Foundation.

Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.

CPP 2025 will be held in January 2025 and will be co-located with POPL 2025 in Denver, Colorado, United States. The CPP 2025 organizers will strive to enable both in-person and remote participation, in cooperation with the POPL 2025 organizers.

The Indian Conference on Logic and its Applications (ICLA) is the primary conference of the Association for Logic in India (ALI). It is a forum for bringing together researchers from a variety of fields in which formal logic plays a significant and often foundational role: Mathematics, Computer Science, Philosophy, Linguistics and Cognitive Science. A special feature of ICLA is the inclusion of studies in systems of logic in the Indian tradition, as well as historical research on logic. Details of the previous ICLA 2023 can be found at https://icla2023.iiti.ac.in, and those of the earlier editions of the conference at the ALI website.

The upcoming ICLA 2025 is the 11th edition of the conference and will take place at the Indian Statistical Institute (ISI) Kolkata during February 3 -- 5, 2025.

The 7th Asian Workshop on Philosophical Logic will be held on 6-8 February 2025 at the Department of Philosophy, Jadavpur University, Kolkata, India.  The Asian Workshop on Philosophical Logic (AWPL) is a series of events initiated by a group of Asian logicians. Its first instalment took place at JAIST in Japan in 2012. The workshop's primary goal is to promote awareness, understanding, and collaboration among researchers in philosophical logic and related fields. It emphasises the interaction between philosophical ideas and formal theories.  AWPL 2025 will happen just after ICLA 2025, which would be held at Indian Statistical Institute, Kolkata, India, during February 3-5, 2025. The Association for Logic in India (ALI) will be a co-organizer for this workshop.

Topics of interest include (but are not restricted to): Algebraic logic; Chinese logic; Constructive logic; Decision Theory; Formal epistemology; Game Theory; Greek logic; Indian logic; Inductive logic; Logics of belief change; Logics of conditionals; Modal, temporal, epistemic and deontic logics; Nonmonotonic logics; Relevance and other non-classical logics; Philosophy of language; Philosophy of mathematics; Philosophy of Science; Proof Systems, Quantum logic; Vagueness; as well as their applications in: Artificial Intelligence, Cognitive Science; Computer Science; Law; Linguistics; Mathematics; Social Sciences.

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 2025 will be held on the 10th–14th of February 2025 and is organised jointly by the TCS group at the Vrije Universiteit Amsterdam and the ILLC.

Two workshops are co-located with CSL, and will take place on Monday, February 10: the 12th Logic Mentoring Workshop (LMW@CSL 2025) and the Workshop on Learning and Logic (LeaLog@CSL 2025).

STACS 2025 will consist of two tracks, A and B. Track A focuses on algorithms, data structures and complexity, while track B focuses on automata, logic, semantics, and theory of programming.

The conference includes talks by invited speakers Daniel Dadush (CWI Amsterdam), Anupam Das (University of Birmingham) and Susanna F. de Rezende (Lund University), and a tutorial by Albert Atserias (UPC Barcelona) on "Proof complexity and its relations to SAT solving".

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

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

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.

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.