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.

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.

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.

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

Machine learning has been shown to be very successful in programming and translation talks, and creates new opportunities combining AI with proofs. Recently, various claims have been made that large language models (LLMs) will revolutionise these areas. However, many questions about the details of the applications of LLMs and their impact on theorem proving and mathematics remain open. At the workshop, we want to bring together researchers from a wide range of communities: mathematics, automated and interactive theorem proving, machine learning, natural language processing, and formal methods, in order to discuss the state-of the art and future directions for this new area of research.

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

We are delighted to announce that the conference "Recent Trends in Logic and Game Theory", jointly organised by MSE and ISI Chennai, will be held at Madras School of Economics, Chennai, from 11th-12th February 2025. This conference aims to bring together experts, researchers, and enthusiasts in the fields of logic and game theory to discuss recent advancements and foster collaboration.