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 7th International School and Workshop on Proof Theory will be organized by Ghent University under the auspices of The Proof Society. This annual event continues its tradition of uniting students, researchers, and practitioners to explore both the applied and foundational aspects of proof theory. Following the format of previous editions, the event begins with a three-day Summer School (September 1–3) offering five tutorials on a variety of topics related to proof theory. This will be followed by a two-day Workshop (September 4–5) featuring invited lectures and contributed talks. Guided by The Proof Manifesto, this event embraces the notion of proofs in its broadest sense, welcoming participation and contributions from logic, computer science, mathematics, and beyond.

The PODS symposium series, held in conjunction with the SIGMOD conference series, provides a premier annual forum for the communication of new advances in the theoretical foundation of database systems. The PODS community aims to provide a solid scientific basis for methods, techniques, and solutions for the data management challenges that continually arise in our data-driven society. It develops new ways of advancing data management to reflect the rich landscape of data requirements in applications nowadays. Our goal is to develop solutions that ensure high levels of efficiency, scalability, usability, expressiveness, robustness, security, clarity, and privacy, among others. The PODS community is an open space where researchers from various areas related to the principles of computer science can discuss, interact, and propose solutions to problems in data management.

The Boad of Inclusive AI Community is excited to host the second edition of our panel on Diversity, Inclusion, and AI. This panel brings together experts from government, academia, and civil society to explore how we can create AI technologies that reflect the richness of our societies and work for everyone. How can we ensure that AI systems are designed with inclusivity and diversity at their core—not as afterthoughts, but as guiding principles?

Topics include:
- Is AI currently fostering a more inclusive society—or not?
- What can policymakers, educators, and industry do to drive change?
- How can we design datasets and systems that reflect diverse perspectives?
- What technical and policy actions are needed to tackle bias in AI?

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)

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

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

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.

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

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.

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

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.

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.

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.

It was first organized in 1990 by the French logician and linguist Bruno Poizat and the Kazakh logician Tolendo Garifuly Mustafin in Kazakhstan. The colloquium was attended by more than 70 participants from all over the world. Most of the participants from neighboring countries were from the USSR, and there were several researchers from France led by Bruno Poizat from afar. Bruno Poizat is now an honorary professor at E. A. Buketov Karaganda University and L. N. Gumilyov Eurasian National University, and the Eighth International Conference "Kazakh-French Logical Colloquium" will now be held at L.N. Gumilyov Eurasian National University (Astana, Kazakhstan) on June 24-27, 2025.

Plenary (30-40-50 min.), contributed and sectional (15-20 min.) talks are planned. The official languages of the conference are Kazakh, Russian and English.

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.

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.

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.

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

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.

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

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.

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.

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

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 Centre for Logic and Philosophy of Science (CLPS) of the Vrije Universiteit Brussel (VUB) will host its 7th Masterclass in the Philosophy of Mathematical Practices on June 1820, 2025 with Michael Barany (University of Edinburgh). We intend the masterclass to be a fully interactive in-person event, with the twofold objective to understand in depth the materials presented in the lectures, and to provide early career researchers (MA students, PhD students and Postdocs) with an opportunity to discuss their ongoing work in a helpful and constructive environment. This year's theme is “Situating Mathematical Practices: Materials, Institutions, and Critical Context”. 

The Masterclass honors Joachim Frans (1989-2023) who co-organized the Masterclass for many years.

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.

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

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 Centre for Logic and Philosophy of Science (CLPS) of the Vrije Universiteit Brussel (VUB) will host its 7th Masterclass in the Philosophy of Mathematical Practices on June 1820, 2025 with Michael Barany (University of Edinburgh). We intend the masterclass to be a fully interactive in-person event, with the twofold objective to understand in depth the materials presented in the lectures, and to provide early career researchers (MA students, PhD students and Postdocs) with an opportunity to discuss their ongoing work in a helpful and constructive environment. This year's theme is “Situating Mathematical Practices: Materials, Institutions, and Critical Context”. 

The Masterclass honors Joachim Frans (1989-2023) who co-organized the Masterclass for many years.

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.

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 Centre for Logic and Philosophy of Science (CLPS) of the Vrije Universiteit Brussel (VUB) will host its 7th Masterclass in the Philosophy of Mathematical Practices on June 1820, 2025 with Michael Barany (University of Edinburgh). We intend the masterclass to be a fully interactive in-person event, with the twofold objective to understand in depth the materials presented in the lectures, and to provide early career researchers (MA students, PhD students and Postdocs) with an opportunity to discuss their ongoing work in a helpful and constructive environment. This year's theme is “Situating Mathematical Practices: Materials, Institutions, and Critical Context”. 

The Masterclass honors Joachim Frans (1989-2023) who co-organized the Masterclass for many years.

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

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)

It was first organized in 1990 by the French logician and linguist Bruno Poizat and the Kazakh logician Tolendo Garifuly Mustafin in Kazakhstan. The colloquium was attended by more than 70 participants from all over the world. Most of the participants from neighboring countries were from the USSR, and there were several researchers from France led by Bruno Poizat from afar. Bruno Poizat is now an honorary professor at E. A. Buketov Karaganda University and L. N. Gumilyov Eurasian National University, and the Eighth International Conference "Kazakh-French Logical Colloquium" will now be held at L.N. Gumilyov Eurasian National University (Astana, Kazakhstan) on June 24-27, 2025.

Plenary (30-40-50 min.), contributed and sectional (15-20 min.) talks are planned. The official languages of the conference are Kazakh, Russian and English.

On Tuesday June 24, following the PhD defense of Robin Martinot on June 23, a workshop will take place at Utrecht University on philosophical topics in mathematics and proof theory. Everyone who is interested is welcome to attend. The list of speakers include Albert Visser (Utrecht University), Amir Tabatabai (University of Groningen), Heinrich Wansing (Ruhr University Bochum), Andrew Arana (Université de Lorraine), Marianna Girlando (University of Amsterdam), Colin Caret (Utrecht University) and Robin Martinot.

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)

It was first organized in 1990 by the French logician and linguist Bruno Poizat and the Kazakh logician Tolendo Garifuly Mustafin in Kazakhstan. The colloquium was attended by more than 70 participants from all over the world. Most of the participants from neighboring countries were from the USSR, and there were several researchers from France led by Bruno Poizat from afar. Bruno Poizat is now an honorary professor at E. A. Buketov Karaganda University and L. N. Gumilyov Eurasian National University, and the Eighth International Conference "Kazakh-French Logical Colloquium" will now be held at L.N. Gumilyov Eurasian National University (Astana, Kazakhstan) on June 24-27, 2025.

Plenary (30-40-50 min.), contributed and sectional (15-20 min.) talks are planned. The official languages of the conference are Kazakh, Russian and English.

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)

It was first organized in 1990 by the French logician and linguist Bruno Poizat and the Kazakh logician Tolendo Garifuly Mustafin in Kazakhstan. The colloquium was attended by more than 70 participants from all over the world. Most of the participants from neighboring countries were from the USSR, and there were several researchers from France led by Bruno Poizat from afar. Bruno Poizat is now an honorary professor at E. A. Buketov Karaganda University and L. N. Gumilyov Eurasian National University, and the Eighth International Conference "Kazakh-French Logical Colloquium" will now be held at L.N. Gumilyov Eurasian National University (Astana, Kazakhstan) on June 24-27, 2025.

Plenary (30-40-50 min.), contributed and sectional (15-20 min.) talks are planned. The official languages of the conference are Kazakh, Russian and English.

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

It was first organized in 1990 by the French logician and linguist Bruno Poizat and the Kazakh logician Tolendo Garifuly Mustafin in Kazakhstan. The colloquium was attended by more than 70 participants from all over the world. Most of the participants from neighboring countries were from the USSR, and there were several researchers from France led by Bruno Poizat from afar. Bruno Poizat is now an honorary professor at E. A. Buketov Karaganda University and L. N. Gumilyov Eurasian National University, and the Eighth International Conference "Kazakh-French Logical Colloquium" will now be held at L.N. Gumilyov Eurasian National University (Astana, Kazakhstan) on June 24-27, 2025.

Plenary (30-40-50 min.), contributed and sectional (15-20 min.) talks are planned. The official languages of the conference are Kazakh, Russian and English.

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

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.