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.
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.
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)
We call for 30-minute contributed talks on all areas of mathematical logic, especially on Algebraic logic, Model theory, Proof theory.
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.
We are currently collecting talks. If you would like to offer a talk, register before May 9th. As part of the registration process, you can indicate that you would like to give a talk. The organizers will be in touch and put together a program.
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.
Are you a woman working in logic? Please join us on July 14, 2025 at WiL, give a talk, and enjoy a day with Women in Logic! Please submit an abstract of 1-2 pages by May 5, 2025 (AoE), via EasyChair.
Abstracts should be written in English (1-2 pages), and prepared using the Easychair style.
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.
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.
Authors are invited to submit full papers of up to 12 pages (including references) in the LNCS format. Authors are also encouraged to present practical demonstrations of software, projects, or interesting material relevant to the conference topics. Demonstration abstracts of up to one page will not appear in the proceedings.
Papers will be presented in topic-oriented sessions. The official language of TSD 2025 is English. However, papers dealing with text and speech proces sing in linguistic environments other than English are strongly encouraged (as long as they are written in English).
Papers must not be under review by any other conference or publication during the TSD review cycle, and they must not be previously published or accepted for publication elsewhere.
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).
Next to the speakers’ presentations a discussion session is planned including short presentations (5-10 mins) focused on exploring open problems and potential research directions in Feminist Logic. We welcome proposals for presentations at this session of around 300 words to be sent to sara.ayhan at rub.de.
Members of groups that are underrepresented in logic are especially encouraged to submit.
The deadline for submission is May 18, 2025. The notification of acceptance will be sent by June 1, 2025.
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.
We solicit contributed talks. Selection of those will be based on extended abstracts/short papers of 2 pages formatted with easychair.cls. Submission is via EasyChair. The extended abstracts are considered non-archival. The contributed talks have to be presented in-person.
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.
Submissions can be made in two categories: Regular Papers (15 pages max.) and Short Papers (8 pages max.). Submissions must not substantially overlap with papers/tools that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings.
Submissions of Regular Papers must describe original work. Submissions of Short Papers may include presentations of exciting if not fully polished research or tool demonstrations that are of academic and industrial interest. Tool demonstrations should describe the relevant system, usability, and implementation aspects of a tool. Survey papers that present some aspects of the above topics from a new perspective and papers that describe experience with industrial applications and case studies are also welcome.
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.
ECSQARU 2025 will welcome papers on the theory and practice of reasoning under uncertainty.. Submitted papers must be original and not under review in a journal or another venue with formally published proceedings. They will be evaluated by peer reviews based on originality, significance, technical soundness, and clarity of exposition. The reviewing process is single blind. Authors of accepted papers are expected to attend the conference to present their work, at least one author of each paper must register for the conference. Submitted papers must be at most 12 pages (excluding references) in the Springer LNCS/LNAI format.
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)
The Universidad Nacional Federico Villarreal (UNFV, Peru) and the Society for Epistemology and Logic (SEPLO, Peru) are pleased to invite submissions for contributed talks and panel discussions. We invite contributions that engage with various aspects of Frege's legacy, including but not limited to his work on logic, the philosophy of language, mathematics, and his influence on later philosophers.
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
Responsible Digital Transformations (RDT) would like to invite you to submit proposals to the conference, which will take place at the University of Amsterdam on 17 & 18 December 2025.
Proposals for individual papers should be 400 words (maximum). Please also include a 50-word bio of the presenter. Paper presentations are 15 minutes long and will be held in panels (max. 4 papers) of an hour and a half.
Proposals for a pre-constituted panel should include a 400-word rationale for the panel, as well as 400-word abstracts for each paper and 50-word bios for each speaker.
Proposals for a roundtable should include a 400-word rational, as well as 100-word abstracts and 50-word bios for each speaker.
Finally, proposals for a fishbowl are also welcome. These should include a 400-word description, as well as 50-word bios for each speaker.
Early career scholars and PhD candidates are welcome and encouraged to submit abstracts. Upon request, the organizers can provide successful early career scholars and PhD candidates from Non-OECD countries with a lump sum travel grant to support costs for registration, transport or lodging. In order to make use of this offer, please indicate this in your application.
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 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).
Authors are invited to submit 1-2 pages abstracts in PDF format, including references via EasyChair. If full versions of papers are already available as technical report or arXiv version, then corresponding links should be added to the reference list. Final versions of abstracts might be distributed to participants in hardcopy and/or in electronic form.
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).
Submissions are invited on the general field of dynamic logic, its variants and applications, including (but not restricted to):
- Dynamic logic, foundations and applications
- Logics with regular modalities
- Modal/temporal/epistemic/game logics
- Kleene and action algebras and their variants
- The interface between logic and learning
- Quantum dynamic logic
- Co-algebraic modal/dynamic logics
- Graded and fuzzy dynamic logics
- Dynamic logics for cyber-physical systems
- Dynamic epistemic logic
- Complexity and decidability of variants of dynamic logics and temporal logics
- Model checking, model generation and theorem proving for dynamic
We solicit two categories of submissions:
- Regular papers - describing original research results, case studies, or surveys, should not exceed 15 pages (excluding bibliography of at most two pages).
- Short papers – describing original research results or case studies, maybe in an incubation phase, with 6 to 8 pages (excluding bibliography of at most one page)
Papers must follow the guidelines for Springer LNCS submissions. All submissions must be original and not simultaneously under review elsewhere.
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).