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

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

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

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

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

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