News and Events: Conferences

These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.

The calender view is not available on the mobile version of the website. You can view this information as a list.

You can also view this information as a list or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.

<< June 2025 >>
Sunday Monday Tuesday Wednesday Thursday Friday Saturday
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
Click on an event to view details.

1 - 4 October 2025, Logic and Meaning: Colloquium on Gottlob Frege’s Legacy, Online

Date: 1 - 4 October 2025
Location: Online
Deadline: Sunday 1 June 2025

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.

1 - 5 September 2025, 7th International School and Workshop on Proof Theory (Proof Society 2025), Ghent, Belgium

Date: 1 - 5 September 2025
Location: Ghent, Belgium
Deadline: Monday 2 June 2025

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 deadline for submission of contributed talks is June 2, 2025. As is traditional for the proof Society Workshop, there will be an award for the best student presentation.

For more information, see https://proof2025.ugent.be/.

31 May - 5 June 2026, The 2026 ACM Symposium on Principles of Database Systems (PODS 2026), Bengaluru, India

Date: 31 May - 5 June 2026
Location: Bengaluru, India
Deadline: Tuesday 3 June 2025

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.

PODS seeks scientific articles that present principled contributions to modeling, application and system building in the context of data management. Such articles might be based, among others, on establishing theoretical results, developing new concepts and frameworks that deserve further exploration, providing experimental work that sheds light on the scientific foundations of the discipline, or a rigorous analysis of important industry artifacts. At a time when computer science is increasingly data-centric, it is essential to promote an active exchange of tools and techniques between PODS and other communities focused on data management. PODS thus pays special attention to those papers that help in the urgent process of integrating data management techniques within broader computer science.

All submissions must be made to EasyChair. LaTex users must format their submission using the standard ACM "acmsmall" proceedings stylesheet. A submission can be up to 15 pages, not including references, plus unlimited space for references. PODS 2026 will use a lightweight double-anonymous reviewing process.

For more information, see https://2026.sigmod.org/.
Inclusive_AI_Panel_Small_.png

3 June 2025, Panel: Diversity, Inclusion & AI

Date & Time: Tuesday 3 June 2025, 17:00-19:30
Location: Room L1.01, Lab42, Science Park 900, Amsterdam

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?

16 - 19 October 2025, 10th International Conference on Logic, Rationality and Interaction (LORI-10), Xi'an, China

Date & Time: 16 - 19 October 2025, 23:00
Location: Xi'an, China
Target audience: logicians, philosophers, AI researchers, game theorists, computer scientists
Deadline: Monday 9 June 2025

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)

We invite submissions of contributed papers to LORI-10 in the broad scope of interdisciplinary themes of the LORI series, spreading over logic, philosophy, AI, computer science, and game theory.
We invite two types of submissions: 1. Regular papers with original, unpublished, and not currently submitted elsewhere contributions (deadline: March 10), and 2. Short papers (extended abstracts), reporting on ongoing or recently published work (deadline: June 9)

For more information, see https://golori.org/lori2025/ or contact Chenwei Shi at .

24 - 26 September 2025, 22nd International Conference on Computability and Complexity in Analysis (CCA 2025), Kyoto, Japan

Date: 24 - 26 September 2025
Location: Kyoto, Japan
Deadline: Monday 9 June 2025

 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.

For more information, see http://cca-net.de/cca2025/.

10 - 13 June 2025, 18th International Conference on Graph Transformation (ICGT 2025), Koblenz, Germany

Date: 10 - 13 June 2025
Location: Koblenz, Germany
Deadline: Tuesday 28 January 2025

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.

For more information, see https://conf.researchr.org/home/icgt-2025.

10 - 13 June 2025, 18th International Conference on Graph Transformation (ICGT 2025), Koblenz, Germany

Date: 10 - 13 June 2025
Location: Koblenz, Germany
Deadline: Tuesday 28 January 2025

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.

For more information, see https://conf.researchr.org/home/icgt-2025.

11 - 13 June 2025, 17th NASA Formal Methods Symposium (NFM25), Hampton Roads, VA (USA)

Date: 11 - 13 June 2025
Location: Hampton Roads, VA (USA)
Deadline: Friday 13 December 2024

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

For more information, see https://shemesh.larc.nasa.gov/nfm2025/.

11 - 13 June 2025, SILFS Postgraduate Conference 2025, Turin, Italy

Date: 11 - 13 June 2025
Location: Turin, Italy
Deadline: Saturday 15 February 2025

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.

10 - 13 June 2025, 18th International Conference on Graph Transformation (ICGT 2025), Koblenz, Germany

Date: 10 - 13 June 2025
Location: Koblenz, Germany
Deadline: Tuesday 28 January 2025

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.

For more information, see https://conf.researchr.org/home/icgt-2025.

11 - 13 June 2025, 17th NASA Formal Methods Symposium (NFM25), Hampton Roads, VA (USA)

Date: 11 - 13 June 2025
Location: Hampton Roads, VA (USA)
Deadline: Friday 13 December 2024

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

For more information, see https://shemesh.larc.nasa.gov/nfm2025/.

11 - 13 June 2025, SILFS Postgraduate Conference 2025, Turin, Italy

Date: 11 - 13 June 2025
Location: Turin, Italy
Deadline: Saturday 15 February 2025

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.

12 - 13 June 2025, First Annual Paris-Chicago Joint Conference in the Philosophy of Logic and Mathematics, Paris, France

Date: 12 - 13 June 2025
Location: Paris, France
Deadline: Saturday 15 March 2025

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.

For more information, see https://philevents.org/event/show/132186 or contact Kevin Davey at , or Stefanos Jones at .
Poster_EDDY2025_v_250206.png

12 - 13 June 2025, 2nd Conference of the European Network for Digital Democracy (EDDY-2025) "Digital Democracy: Bridging Theory and Practice", Université Paris 1 Panthéon-Sorbonne, Paris

Date & Time: 12 - 13 June 2025, 08:00-19:00
Location: Université Paris 1 Panthéon-Sorbonne, Paris
Target audience: Academics and practitioners
Costs: 50€
Deadline: Sunday 9 March 2025

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

For more information, see here or at https://eddy-2025.sciencesconf.org/?lang=en or contact Jan Maly at .

10 - 13 June 2025, 18th International Conference on Graph Transformation (ICGT 2025), Koblenz, Germany

Date: 10 - 13 June 2025
Location: Koblenz, Germany
Deadline: Tuesday 28 January 2025

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.

For more information, see https://conf.researchr.org/home/icgt-2025.

11 - 13 June 2025, 17th NASA Formal Methods Symposium (NFM25), Hampton Roads, VA (USA)

Date: 11 - 13 June 2025
Location: Hampton Roads, VA (USA)
Deadline: Friday 13 December 2024

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

For more information, see https://shemesh.larc.nasa.gov/nfm2025/.

11 - 13 June 2025, SILFS Postgraduate Conference 2025, Turin, Italy

Date: 11 - 13 June 2025
Location: Turin, Italy
Deadline: Saturday 15 February 2025

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.

12 - 13 June 2025, First Annual Paris-Chicago Joint Conference in the Philosophy of Logic and Mathematics, Paris, France

Date: 12 - 13 June 2025
Location: Paris, France
Deadline: Saturday 15 March 2025

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.

For more information, see https://philevents.org/event/show/132186 or contact Kevin Davey at , or Stefanos Jones at .
Poster_EDDY2025_v_250206.png

12 - 13 June 2025, 2nd Conference of the European Network for Digital Democracy (EDDY-2025) "Digital Democracy: Bridging Theory and Practice", Université Paris 1 Panthéon-Sorbonne, Paris

Date & Time: 12 - 13 June 2025, 08:00-19:00
Location: Université Paris 1 Panthéon-Sorbonne, Paris
Target audience: Academics and practitioners
Costs: 50€
Deadline: Sunday 9 March 2025

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

For more information, see here or at https://eddy-2025.sciencesconf.org/?lang=en or contact Jan Maly at .
2logo.png

13 - 14 June 2025, 3rd Cognitive Models and Artificial Intelligence Conference (AICCONF 2025), Prague, Czech Republic

Date: 13 - 14 June 2025
Location: Prague, Czech Republic
Target audience: Academic Staff
Costs: 400 Euro
Deadline: Tuesday 15 April 2025

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.

For more information, see here or at https://ai-conf.com/ or contact Turgut Özseven at .
2logo.png

13 - 14 June 2025, 3rd Cognitive Models and Artificial Intelligence Conference (AICCONF 2025), Prague, Czech Republic

Date: 13 - 14 June 2025
Location: Prague, Czech Republic
Target audience: Academic Staff
Costs: 400 Euro
Deadline: Tuesday 15 April 2025

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.

For more information, see here or at https://ai-conf.com/ or contact Turgut Özseven at .

14 - 16 June 2025, 6th International Conference on Logic and Argumentation (CLAR 2025), Taiyuan (China)

Date: 14 - 16 June 2025
Location: Taiyuan (China)
Deadline: Saturday 1 February 2025

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.

For more information, see https://www.zlaire.net/clar2025/.

(New) 24 - 27 June 2025, 8th International Conference "Kazakh-French Logical Colloquium", Astana, Kazakhstan

Date: 24 - 27 June 2025
Location: Astana, Kazakhstan
Deadline: Sunday 15 June 2025

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.

You can attach abstracts to the conference website or send them to the organizing committee by email:. Abstracts should be prepared in TeX using the conference template. The volume should not exceed 2 pages. Selected papers of the participants will be recommended for publication in the journals "Bulletin of the Abai KazNPU, Series of Physical and Mathematical Sciences" and "Bulletin of Karaganda State University", Series "Mathematics", which are included in the Web of Science, Scopus database.

For more information, see https://cryptology.kz/conf/ or contact .

14 - 16 June 2025, 6th International Conference on Logic and Argumentation (CLAR 2025), Taiyuan (China)

Date: 14 - 16 June 2025
Location: Taiyuan (China)
Deadline: Saturday 1 February 2025

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.

For more information, see https://www.zlaire.net/clar2025/.

14 - 16 June 2025, 6th International Conference on Logic and Argumentation (CLAR 2025), Taiyuan (China)

Date: 14 - 16 June 2025
Location: Taiyuan (China)
Deadline: Saturday 1 February 2025

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.

For more information, see https://www.zlaire.net/clar2025/.

16 - 20 June 2025, 41st Conference on Mathematical Foundations of Programming Semantics (MFPS 2025), Glasgow, Scotland

Date: 16 - 20 June 2025
Location: Glasgow, Scotland
Deadline: Thursday 27 March 2025

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.

For more information, see https://coalg.org/calco-mfps-2025/mfps/ or contact Clemens Kupke and Stefan Milius at .

16 - 20 June 2025, 18th International Conference on Computability, Complexity and Randomness ( CCR 2025), Bordeaux, France

Date: 16 - 20 June 2025
Location: Bordeaux, France

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

For more information, see https://ccr2025.sciencesconf.org/.

16 - 20 June 2025, 41st Conference on Mathematical Foundations of Programming Semantics (MFPS 2025), Glasgow, Scotland

Date: 16 - 20 June 2025
Location: Glasgow, Scotland
Deadline: Thursday 27 March 2025

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.

For more information, see https://coalg.org/calco-mfps-2025/mfps/ or contact Clemens Kupke and Stefan Milius at .

16 - 20 June 2025, 18th International Conference on Computability, Complexity and Randomness ( CCR 2025), Bordeaux, France

Date: 16 - 20 June 2025
Location: Bordeaux, France

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

For more information, see https://ccr2025.sciencesconf.org/.

17 - 19 June 2025, Joint Conference of the 11th Biennial Conference of the Asia-Pacific Philosophy of Science Association (APPSA 2025) and the 2025 Annual Conference of the Taiwan Association for Logic, Methodology, Philosophy of Science and Technology (L

Date: 17 - 19 June 2025
Location: Taipei, Taiwan
Deadline: Tuesday 31 December 2024

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.

16 - 20 June 2025, 41st Conference on Mathematical Foundations of Programming Semantics (MFPS 2025), Glasgow, Scotland

Date: 16 - 20 June 2025
Location: Glasgow, Scotland
Deadline: Thursday 27 March 2025

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.

For more information, see https://coalg.org/calco-mfps-2025/mfps/ or contact Clemens Kupke and Stefan Milius at .

16 - 20 June 2025, 18th International Conference on Computability, Complexity and Randomness ( CCR 2025), Bordeaux, France

Date: 16 - 20 June 2025
Location: Bordeaux, France

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

For more information, see https://ccr2025.sciencesconf.org/.

17 - 19 June 2025, Joint Conference of the 11th Biennial Conference of the Asia-Pacific Philosophy of Science Association (APPSA 2025) and the 2025 Annual Conference of the Taiwan Association for Logic, Methodology, Philosophy of Science and Technology (L

Date: 17 - 19 June 2025
Location: Taipei, Taiwan
Deadline: Tuesday 31 December 2024

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.

18 - 20 June 2025, Masterclass in the Philosophy of Mathematical Practices with Michael Barany, Brussels, Belgium

Date: 18 - 20 June 2025
Location: Brussels, Belgium
Deadline: Friday 2 May 2025

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.

16 - 20 June 2025, 41st Conference on Mathematical Foundations of Programming Semantics (MFPS 2025), Glasgow, Scotland

Date: 16 - 20 June 2025
Location: Glasgow, Scotland
Deadline: Thursday 27 March 2025

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.

For more information, see https://coalg.org/calco-mfps-2025/mfps/ or contact Clemens Kupke and Stefan Milius at .

16 - 20 June 2025, 18th International Conference on Computability, Complexity and Randomness ( CCR 2025), Bordeaux, France

Date: 16 - 20 June 2025
Location: Bordeaux, France

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

For more information, see https://ccr2025.sciencesconf.org/.

17 - 19 June 2025, Joint Conference of the 11th Biennial Conference of the Asia-Pacific Philosophy of Science Association (APPSA 2025) and the 2025 Annual Conference of the Taiwan Association for Logic, Methodology, Philosophy of Science and Technology (L

Date: 17 - 19 June 2025
Location: Taipei, Taiwan
Deadline: Tuesday 31 December 2024

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.

18 - 20 June 2025, Masterclass in the Philosophy of Mathematical Practices with Michael Barany, Brussels, Belgium

Date: 18 - 20 June 2025
Location: Brussels, Belgium
Deadline: Friday 2 May 2025

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.

16 - 20 June 2025, 41st Conference on Mathematical Foundations of Programming Semantics (MFPS 2025), Glasgow, Scotland

Date: 16 - 20 June 2025
Location: Glasgow, Scotland
Deadline: Thursday 27 March 2025

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.

For more information, see https://coalg.org/calco-mfps-2025/mfps/ or contact Clemens Kupke and Stefan Milius at .

16 - 20 June 2025, 18th International Conference on Computability, Complexity and Randomness ( CCR 2025), Bordeaux, France

Date: 16 - 20 June 2025
Location: Bordeaux, France

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

For more information, see https://ccr2025.sciencesconf.org/.

18 - 20 June 2025, Masterclass in the Philosophy of Mathematical Practices with Michael Barany, Brussels, Belgium

Date: 18 - 20 June 2025
Location: Brussels, Belgium
Deadline: Friday 2 May 2025

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.

20 - 22 June 2025, Bridges Between Logic, Ethics and Social Sciences BLESS 2025, Taiyuan, China

Date: 20 - 22 June 2025
Location: Taiyuan, China
Target audience: Researchers, PhD students
Deadline: Saturday 15 March 2025

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.

For more information, see http://www.didadida.org/bless-2025/ or contact Fengkui Ju at .

20 - 22 June 2025, Bridges Between Logic, Ethics and Social Sciences BLESS 2025, Taiyuan, China

Date: 20 - 22 June 2025
Location: Taiyuan, China
Target audience: Researchers, PhD students
Deadline: Saturday 15 March 2025

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.

For more information, see http://www.didadida.org/bless-2025/ or contact Fengkui Ju at .

20 - 22 June 2025, Bridges Between Logic, Ethics and Social Sciences BLESS 2025, Taiyuan, China

Date: 20 - 22 June 2025
Location: Taiyuan, China
Target audience: Researchers, PhD students
Deadline: Saturday 15 March 2025

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.

For more information, see http://www.didadida.org/bless-2025/ or contact Fengkui Ju at .

23 June 2025, 3rd International Workshop on Verification & Validation of Dependable Cyber-Physical Systems (VERDI 2025), Naples, Italy

Date: Monday 23 June 2025
Location: Naples, Italy
Deadline: Monday 31 March 2025

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.

24 - 27 June 2025, Cracow Logic Conference (CLoCk 2025), Kraków, Poland

Date: 24 - 27 June 2025
Location: Kraków, Poland
Deadline: Saturday 31 May 2025

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)

For more information, see https://iphils.uj.edu.pl/clock.

(New) 24 - 27 June 2025, 8th International Conference "Kazakh-French Logical Colloquium", Astana, Kazakhstan

Date: 24 - 27 June 2025
Location: Astana, Kazakhstan
Deadline: Sunday 15 June 2025

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.

For more information, see https://cryptology.kz/conf/ or contact .

(New) 24 June 2025, Workshop Philosophical Topics in Mathematics and Proof Theory

Date & Time: Tuesday 24 June 2025, 10:00-17:00
Location: Utrecht, the Netherlands

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.

For more information, see https://sites.google.com/view/workshop-philosophy-proofs/home or contact Robin Martinot at .

24 - 27 June 2025, Cracow Logic Conference (CLoCk 2025), Kraków, Poland

Date: 24 - 27 June 2025
Location: Kraków, Poland
Deadline: Saturday 31 May 2025

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)

For more information, see https://iphils.uj.edu.pl/clock.

(New) 24 - 27 June 2025, 8th International Conference "Kazakh-French Logical Colloquium", Astana, Kazakhstan

Date: 24 - 27 June 2025
Location: Astana, Kazakhstan
Deadline: Sunday 15 June 2025

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.

For more information, see https://cryptology.kz/conf/ or contact .

24 - 27 June 2025, Cracow Logic Conference (CLoCk 2025), Kraków, Poland

Date: 24 - 27 June 2025
Location: Kraków, Poland
Deadline: Saturday 31 May 2025

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)

For more information, see https://iphils.uj.edu.pl/clock.

(New) 24 - 27 June 2025, 8th International Conference "Kazakh-French Logical Colloquium", Astana, Kazakhstan

Date: 24 - 27 June 2025
Location: Astana, Kazakhstan
Deadline: Sunday 15 June 2025

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.

For more information, see https://cryptology.kz/conf/ or contact .

26 June 2025, Dutch Formal Methods Day, Lab42, Science Park 900, Amsterdam

Date & Time: Thursday 26 June 2025, 10:00-18:00
Location: Lab42, Science Park 900, Amsterdam
Costs: None
Deadline: Friday 9 May 2025

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.

For more information, see here or at https://conf.researchr.org/home/dfdm-2025 or contact Benno van den Berg at .

24 - 27 June 2025, Cracow Logic Conference (CLoCk 2025), Kraków, Poland

Date: 24 - 27 June 2025
Location: Kraków, Poland
Deadline: Saturday 31 May 2025

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)

For more information, see https://iphils.uj.edu.pl/clock.

(New) 24 - 27 June 2025, 8th International Conference "Kazakh-French Logical Colloquium", Astana, Kazakhstan

Date: 24 - 27 June 2025
Location: Astana, Kazakhstan
Deadline: Sunday 15 June 2025

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.

For more information, see https://cryptology.kz/conf/ or contact .

27 - 28 June 2025, The Syntax and Semantics of Formalisations in Philosophy, Munich, Germany

Date: 27 - 28 June 2025
Location: Munich, Germany
Deadline: Tuesday 31 December 2024

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.

27 - 28 June 2025, The Syntax and Semantics of Formalisations in Philosophy, Munich, Germany

Date: 27 - 28 June 2025
Location: Munich, Germany
Deadline: Tuesday 31 December 2024

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.

Vienna.jpg

30 June - 3 July 2025, 17th International Conference on Deontic Logic and Normative Systems (DEON 2025), TU Wien, Vienna, Austria

Date: 30 June - 3 July 2025
Location: TU Wien, Vienna, Austria
Deadline: Saturday 1 March 2025

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.

For more information, see https://sites.google.com/view/deon-2025/ or contact Kees van Berkel, Agata Ciabattoni at .

30 June - 4 July 2025, European Conference on Object-Oriented Programming (ECOOP 2025), Bergen, Norway

Date: 30 June - 4 July 2025
Location: Bergen, Norway
Deadline: Wednesday 5 March 2025

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.

For more information, see https://2025.ecoop.org or contact Giorgio Audrito at .