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.
You can also view this information as a calendar or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.
Sections
Headlines Calls for Paper
- 30 June - 3 July 2025, 17th International Conference on Deontic Logic and Normative Systems (DEON 2025), TU Wien, Vienna, Austria
- 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 (deadline: Tuesday 31 December 2024)
- 27 - 28 June 2025, The Syntax and Semantics of Formalisations in Philosophy, Munich, Germany (deadline: Tuesday 31 December 2024)
- 14 - 17 February 2025, Zagreb Logic Conference 2025, Zagreb, Croatia (deadline: Wednesday 1 January 2025)
- 28 - 30 May 2025, 8th International Workshop on Computational Models of Narrative (CMN'25): Advancing the Science of Narrative, Geneva, Switzerland (deadline: Wednesday 15 January 2025)
- 14 - 18 July 2025, Computability in Europe 2025 (CiE 2025), Lisbon, Portugal (deadline: Sunday 26 January 2025)
- 7 - 8 April 2024, Workshop on Theorem Proving and Machine Learning, Edinburgh, Scotland (deadline: Friday 31 January 2025)
- Special Issue of the Journal of Logic Language and Information on "Dynamic Logic - New Trends and Applications" (deadline: Friday 31 January 2025)
- 14 - 16 June 2025, 6th International Conference on Logic and Argumentation (CLAR 2025), Taiyuan (China) (deadline: Saturday 1 February 2025)
- (New) 12 June 2025, Language Awareness in the Language Classroom, Leiden, the Netherlands (deadline: Saturday 15 February 2025)
- 16 - 19 October 2025, 10th International Conference on Logic, Rationality and Interaction (LORI-10), Xi'an, China (deadline: Monday 10 March 2025)
- 31 July - 1 August 2025, 29th Conference on Computational Natural Language Learning (CoNLL 2025), Vienna, Austria (deadline: Friday 14 March 2025)
- 4 - 12 September 2025, 15th International Conference on Formal Ontology in Information Systems (FOIS 2025), , 08-12 September 2025 (Catania, Italy), 04-05 September 2025 (online) (deadline: Sunday 23 March 2025)
- (New) 23 - 26 September 2025, The 18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'25), Hagen, Germany (deadline: Thursday 8 May 2025)
Headlines Upcoming conferences
- 14 January 2025, UNESCO World Logic Day 2025
- (New) 14 January 2025, Southern Summer Logic Day, January 14 in AU/NZ, Online [World Logic Day Event], Online via Zoom
- (New) 15 January 2025, Formalize!(?) – 5: A philosophical & educational perspective on formalization in mathematics, Online
- 20 - 21 January 2025, Conference on Certified Programs & Proofs (CPP 2025): Certified Programs and Proofs, Denver, USA
- 3 - 5 February 2025, Indian Conference on Logic and its Applications, Kolkata, India
- 6 - 8 February 2025, 7th Asian Workshop on Philosophical Logic (AWPL 2025), Kolkata, India
- 10 - 14 February 2025, Computer Science Logic 2025 (CSL 2025), Amsterdam, the Netherlands
- 18 - 19 February 2025, The Inaugural Symposium in Logic in the Arab World, Kuwait University, Kuwait
- 4 - 7 March 2025, 42nd International Symposium on Theoretical Aspects of Computer Science (STACS'25), Jena, Germany
- (New) 3 - 4 April 2025, 3rd Amsterdam / Saint-Etienne Workshop on Social Choice
- 7 - 8 April 2025, Eleventh International Conference on Fundamentals of Software Engineering 2025 (FSEN '25), Västerås (Sweden)
- 3 - 8 May 2025, 28th ETAPS International Joint Conferences On Theory and Practice of Software (ETAPS 2025), Hamilton, Canada
- 9 - 16 May 2025, XXI Brazilian Logic Conference (EBL 2025), Sao Paulo and Serra Negra, Brazil
- 11 - 13 June 2025, 17th NASA Formal Methods Symposium (NFM25), Hampton Roads, VA (USA)
- 28 July - 8 August 2025, 36th European Summer School in Logic, Language and Information (ESSLLI 2025), Bochum (Germany)
- 1 - 5 September 2025, Summer School "Topology, dynamics, and logic in interaction", Cetraro, Italy
Calls for Paper
-
30 June - 3 July 2025, 17th International Conference on Deontic Logic and Normative Systems (DEON 2025), TU Wien, Vienna, Austria
Location: TU Wien, Vienna, AustriaThe 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.
We invite submission of original and unpublished work. Parallel submission to journals or other conferences or workshops with published proceedings is not permitted. The reviewing process is single-blind (non-anonymized). Papers should be written in English. Submitted papers should not be longer than 15 pages (excluding references and technical appendix). We welcome submissions of both theoretical and applied research for DEON 2025, and encourage interdisciplinary work.
- Abstract submission deadline: March 01, 2025
- Paper submission deadline: March 08, 2025
- Notification of acceptance: May 08, 2025
- Camera-ready version: May 25, 2025
- Conference: June 30 - July 03, 2025For more information, see https://sites.google.com/view/deon-2025/ or contact Kees van Berkel, Agata Ciabattoni at office at vcla.at. -
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
Location: Taipei, TaiwanDeadline: Tuesday 31 December 2024APPSA 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.
We invite submissions of original research papers for presentation at the conference, encouraging contributions that explore innovative perspectives and methodologies within these fields. Authors are invited to submit abstracts of no more than 500 words in English.
Topics of Interest:
- Ethics of Science and Technology
- Metaphysical or Epistemological Aspects of Science and Technology
- Historical or Social Aspects of Science and Technology
- Formal Aspects of Science and Technology (e.g., Logic, Mathematics, and Statistics)
- Other related or interdisciplinary topicsFor more information, see https://appsa2025taiwan.mystrikingly.com/ or contact atappsa2025taiwan at gmail.com. -
27 - 28 June 2025, The Syntax and Semantics of Formalisations in Philosophy, Munich, Germany
Location: Munich, GermanyDeadline: Tuesday 31 December 2024The 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.
We welcome contributions that provide original insights into these and related topics. Historical approaches or comparative studies across different philosophical schools are also encouraged. We invite abstracts of up to 500 words, excluding references, which should clearly present the main argument and its relevance to the conference topics. Submissions will undergo a blind peer-review process.We warmly invite submissions from scholars from underrepresented and minority groups in philosophy.
For more information, see https://philevents.org/event/show/127590 or contact Formalisations2025 at gmail.com. -
14 - 17 February 2025, Zagreb Logic Conference 2025, Zagreb, Croatia
Deadline: Wednesday 1 January 2025The Zagreb Logic Conference is an event that gathers researchers from the discipline of logic and various connected fields. This is the third installment of the conference, which was first held in January 2023 on the occasion of World Logic Day. The conference will be held from February 14 to February 17, 2025, at the Department of Mathematics, University of Zagreb, and will be held exclusively in person. Each talk will be allocated a slot of 25 minutes, plus an additional 5 minutes for discussion.
Invited speakers: Patricia Blanchette (University of Notre Dame) Murdoch James Gabbay (Heriot-Watt University).
We would like to invite you to submit your abstracts to the Zagreb Logic Conference 2025 (ZLC25).
Topics of interest include: - history of logic - philosophy of logic - higher-order logic - model theory - set theory - proof theory - modal logic - computability and complexity - logic in computer science.
For more information, see https://sites.google.com/view/zlc25/. -
28 - 30 May 2025, 8th International Workshop on Computational Models of Narrative (CMN'25): Advancing the Science of Narrative, Geneva, Switzerland
Location: Geneva, SwitzerlandDeadline: Wednesday 15 January 2025The Computational Models of Narrative (CMN) workshop series is dedicated to advancing the computationally-grounded scientific study of narrative, a crucial aspect of human experience used for communication, persuasion, explanation, and entertainment.
Narrative, or storytelling, is a symbolic activity that imitates human actions through emplotment, representing discordant events through concordance. From myths to histories, narratives are ubiquitous across time, making understanding narrative intelligence essential to comprehending human intelligence. Systems for narrative analysis and production are increasingly embedded in devices and processes, influencing decision-making in venues as diverse as politics, economics, intelligence, and cultural production. In order to appreciate this influence, it is becoming increasingly clear that research must address the technical implementation of narrative systems, the theoretical bases of these frameworks, and our general understanding of narrative at multiple levels, from the philosophical and cognitive impact of narratives to our ability to model narrative responses computationally.
We invite and encourage submissions either as full papers or position papers, through the workshop's website. Full papers should contain original research and be between 8 and 16 pages; position papers can report on work-in-progress, research plans or projects and have to fit within eight pages. Accepted papers will be published in open access (Gold Road), free of charge.
For more information, see https://tecfa.unige.ch/cmn25/. -
14 - 18 July 2025, Computability in Europe 2025 (CiE 2025), Lisbon, Portugal
Location: Lisbon, PortugalDeadline: Sunday 26 January 2025CiE (Computability in Europe) is a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.
The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. Computability in Europe 2025 "Crossroads of Computability and Logic: Insights, Inspirations, and Innovations" will feature two Tutorial Speakers, 6 Invited Speakers, 6 Special Sessions and the Women in Computability program.
The Program Committee cordially invites all researchers, European and non-European, to submit their papers in all areas related to the above for presentation at the conference and inclusion in the proceedings of CiE 2025. Papers submitted to the conference proceedings should represent original work, not simultaneously submitted to another journal or conference with formal proceedings. The Program Committee will rigorously review and select submitted papers. Accepted papers will be published as a proceedings volume in the Lecture Notes in Computer Science (LNCS) series from Springer-Verlag.
Continuing the tradition of past CiE conferences, we also invite researchers to present informal presentations of their recent work. Informal presentations will not be published in the LNCS conference proceedings. Results presented as informal presentations at CiE 2025 may appear or may have appeared in other conferences with formal proceedings and/or in journals.
For more information, see https://sites.google.com/view/cie2025-computabilityineurope/. -
7 - 8 April 2024, Workshop on Theorem Proving and Machine Learning, Edinburgh, Scotland
Location: Edinburgh, ScotlandDeadline: Friday 31 January 2025Machine learning has been shown to be very successful in programming and translation talks, and creates new opportunities combining AI with proofs. Recently, various claims have been made that large language models (LLMs) will revolutionise these areas. However, many questions about the details of the applications of LLMs and their impact on theorem proving and mathematics remain open. At the workshop, we want to bring together researchers from a wide range of communities: mathematics, automated and interactive theorem proving, machine learning, natural language processing, and formal methods, in order to discuss the state-of the art and future directions for this new area of research.
The workshop solicits contributed talks supported by an extended abstract of up to 2 pages in LNCS format, excluding references. Abstracts will be reviewed for relevance and quality and subsequently made public on the workshop’s web page.
For more information, see https://europroofnet.github.io/wg5-edinburgh25/. -
Special Issue of the Journal of Logic Language and Information on "Dynamic Logic - New Trends and Applications"
Deadline: Friday 31 January 2025Following the successful 2022 and 2023 editions of the Workshop DaLÌ - Dynamic Logic: New trends and applications, it is our pleasure to announce the possibility of publishing work on Dynamic Logic in the upcoming Special Issue of Journal of Logic, Language and Information. Submissions of original papers (unpublished and not submitted for publication elsewhere), up to 30 pages (excluding references) are invited on the general field of dynamic logic, its variants, and applications
For more information, see here or at https://www.editorialmanager.com/jlli/Default.aspx or contact Nina Gierasimczuk at nigi at dtu.dk. -
14 - 16 June 2025, 6th International Conference on Logic and Argumentation (CLAR 2025), Taiyuan (China)
Location: Taiyuan (China)Deadline: Saturday 1 February 2025Established 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.
The 6th International Conference on Logic and Argumentation (CLAR 2025) invites contributions from logic, artificial intelligence, philosophy, computer science, linguistics, law, and other areas studying logic and formal argumentation. We invite submissions describing original unpublished work, not currentlyu nder review. Articles should not exceed 16 pages, excluding references.
For more information, see https://www.zlaire.net/clar2025/. -
(New) 12 June 2025, Language Awareness in the Language Classroom, Leiden, the Netherlands
Deadline: Saturday 15 February 2025On 12 June 2025, the Language Learning Resource Centre (Leiden University) is organizing a one-day conference on the topic of Language Awareness in the Language Classroom. The keynote will be held by Dr. Agneta Svalberg (Leicester University).
We are now welcoming abstracts related to the topic, both research-oriented and more practical presentations.
For more information, see https://www.universiteitleiden.nl/en/events/2025/06/llrc-conference or contact Nivja de Jong at n.h.de.jong at hum.leidenuniv.nl. -
16 - 19 October 2025, 10th International Conference on Logic, Rationality and Interaction (LORI-10), Xi'an, China
Location: Xi'an, ChinaTarget audience: logicians, philosophers, AI researchers, game theorists, computer scientistsDeadline: Monday 10 March 2025The 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, and 2. Short papers (extended abstracts), reporting on ongoing or recently published work.For more information, see https://golori.org/lori2025/ or contact Chenwei Shi at shichenwei88 at live.com. -
31 July - 1 August 2025, 29th Conference on Computational Natural Language Learning (CoNLL 2025), Vienna, Austria
Location: Vienna, AustriaDeadline: Friday 14 March 2025CoNLL is a yearly conference organized by SIGNLL (ACL's Special Interest Group on Natural Language Learning). This year, CoNLL will be colocated with ACL 2025. The focus of CoNLL is on theoretically, cognitively and scientifically motivated approaches to computational linguistics, rather than on work driven by particular engineering applications.
SIGNLL invites submissions to the 29th Conference on Computational Natural Language Learning (CoNLL 2025). We welcome work targeting any aspect of language and its computational modeling. Submitted papers must be anonymous and use the same template as the ACL 2025. Submitted papers may consist of up to 8 pages of content plus unlimited space for references. CoNLL 2025 will refuse papers that are currently under submission, or that will be submitted to other meetings or publications, including ACL.
For more information, see here or at https://www.conll.org. -
4 - 12 September 2025, 15th International Conference on Formal Ontology in Information Systems (FOIS 2025), , 08-12 September 2025 (Catania, Italy), 04-05 September 2025 (online)
Location: Catania, Italy / onlineDeadline: Sunday 23 March 2025FOIS aims to be a nexus of interdisciplinary research and communication for researchers from many domains engaging with formal ontology. Common application areas include conceptual modeling, database design, knowledge engineering and management, software engineering, organizational modeling, artificial intelligence, robotics, computational linguistics, the life sciences, bioinformatics and scientific research in general, geographic information science, information retrieval, library and information science, as well as the Semantic Web.
FOIS is the flagship conference of the International Association for Ontology and its Applications (IAOA), a non-profit organization promoting interdisciplinary research and international collaboration in formal ontology.
The conference encourages submissions of high quality, not previously published results on both theoretical issues and practical advancements. FOIS 2025 seeks full-length high-quality papers on three tracks: - Foundational track: for papers that address content-related ontological issues, their formal representation, and their relevance to some aspect of information systems. - Application and Methods track: for papers that address novel systems, methods, and tools related to building, evaluating, or using ontologies, emphasizing the impact of ontology contents. - Domain Ontology track: for papers that describe a novel ontology for a specific realm of interest, clarifying ontological choices against requirements and foundational theory, and showing ontology use.
For more information, see https://www.dmi.unict.it/fois2025/. -
(New) 23 - 26 September 2025, The 18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'25), Hagen, Germany
Location: Hagen, GermanyDeadline: Thursday 8 May 2025The biennial ECSQARU conferences constitute a major forum for advances in the theory and practice of reasoning under uncertainty, with a focus on bringing symbolic and quantitative aspects together. Contributions come from researchers interested in advancing the scientific knowledge and from practitioners using uncertainty techniques in real-world applications. The scope of the ECSQARU conferences encompasses fundamental issues, representation, inference, learning, and decision making in qualitative and numeric uncertainty paradigms.
The following keynote speakers are already confirmed: Claudia d'Amato (University of Bari, Italy), Vanina Martinez (Artificial Intelligence Research Institute, Spain) and Tommie Meyer (CAIR, University of Cape Town, Source Africa). The first day (Sep 23) is dedicated to a workshop and tutorial programme. A separate call for workshops and tutorials has already been disseminated (see the website for details). A Best Paper Award supported by Springer will be granted at the conference.
ECSQARU 2025 will welcome papers on the theory and practice of reasoning under uncertainty.. Submitted papers must be original and not under review in a journal or another venue with formally published proceedings. They will be evaluated by peer reviews based on originality, significance, technical soundness, and clarity of exposition. The reviewing process is single blind. Authors of accepted papers are expected to attend the conference to present their work, at least one author of each paper must register for the conference. Submitted papers must be at most 12 pages (excluding references) in the Springer LNCS/LNAI format.
For more information, see https://ecsqaru2025.krportal.org.
Upcoming conferences
-
14 January 2025, UNESCO World Logic Day 2025
UNESCO proclaimed 14 January to be World Logic Day, a global day of supporting the development of logic through teaching and research, as well as to public dissemination of the discipline.
The coordination of World Logic Day 2023 is -- for the 5th time -- in the hands of the Conseil International de Philosophie et des Sciences Humaines (CIPSH) and its member organization, the DLMPST/IUHPST. We would like to encourage logicians all around the world to organize (possibly small) events in close proximity to 14 January 2025 to celebrate this day. We have learned over the last years that online meetings are easier to finance, better for the environment, and considerably more inclusive. So consider both in person and online events. Events will be listed on the CIPSH website.
For more information, see http://wld.cipsh.international/ or contact wld.assistantcoordinator at cipsh.international.. -
(New) 14 January 2025, Southern Summer Logic Day, January 14 in AU/NZ, Online [World Logic Day Event], Online via Zoom
Location: Online via ZoomThe Australasian Association for Logic is hosting a Southern Summer Logic Day to celebrate the UNESCO World Logic Day. The event will take place on Zoom, and feature talks by Phokion Kolaitis (Keynote), Rob Goldblatt, Nick Smith, Ed Mares and Valentin Goranko (Keynote).
For more information, see https://sites.google.com/view/aalogic/world-logic-day/world-logic-day-2025 or contact g.badia at uq.edu.au. -
(New) 15 January 2025, Formalize!(?) – 5: A philosophical & educational perspective on formalization in mathematics, Online
Location: OnlineWe are organizing a one-day online workshop to commemorate World Logic Day 2025 (which is actually a day before this event). Registration is free of charge and everybody is welcome to attend.
This series of events began with the theme of foundations in the context of automated theorem proving: What are the chances and problems of the act of formalization in the context of mathematics? After three years on the topic, we have realized that this context is too narrow to understand formalization and thus we have we added a yearly theme (although not all talks are necessarily aligned with it). This year we focus on ethical perspectives: Are there ethical aspects of the practices of formal sciences (including math), which role play formal arguments in politca contexts, what about aspects of ethical AI ...
Speakers: Jordi Fairhurst (UIB), Seunghyun Song (Tilburg University), Robert Naylor (Manchester), Colin Rittberg (Vrije Universiteit Brussels) and Aleksandra Vuèkoviæ (Belgrade).
For more information, see https://sites.google.com/view/wldzurich2025 or contact José Antonio Pérez Escobar at jperez at fsof.uned.es, or Deniz Sarikaya at deniz.sarikaya at vub.be. -
20 - 21 January 2025, Conference on Certified Programs & Proofs (CPP 2025): Certified Programs and Proofs, Denver, USA
Location: Denver, USACertified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.
CPP 2025 will be held in January 2025 and will be co-located with POPL 2025 in Denver, Colorado, United States. The CPP 2025 organizers will strive to enable both in-person and remote participation, in cooperation with the POPL 2025 organizers.
For more information, see https://popl25.sigplan.org/home/CPP-2025 or contact Sandrine Blazy at sandrine.blazy at irisa.fr, or Nicolas Tabareau at nicolas.tabareau at inria.fr. -
3 - 5 February 2025, Indian Conference on Logic and its Applications, Kolkata, India
Location: Kolkata, IndiaTarget audience: Researchers in LogicCosts: NilThe Indian Conference on Logic and its Applications (ICLA) is the primary conference of the Association for Logic in India (ALI). It is a forum for bringing together researchers from a variety of fields in which formal logic plays a significant and often foundational role: Mathematics, Computer Science, Philosophy, Linguistics and Cognitive Science. A special feature of ICLA is the inclusion of studies in systems of logic in the Indian tradition, as well as historical research on logic. Details of the previous ICLA 2023 can be found at https://icla2023.iiti.ac.in, and those of the earlier editions of the conference at the ALI website.
The upcoming ICLA 2025 is the 11th edition of the conference and will take place at the Indian Statistical Institute (ISI) Kolkata during February 3 -- 5, 2025.
For more information, see https://logicindia.org/icla/icla2025/ or contact icla2025 at gmail.com. -
6 - 8 February 2025, 7th Asian Workshop on Philosophical Logic (AWPL 2025), Kolkata, India
Location: Kolkata, IndiaTarget audience: Researchers in the area of Philosophy, Logic, Mathematics, Computer Science, Social SciencesCosts: NilThe 7th Asian Workshop on Philosophical Logic will be held on 6-8 February 2025 at the Department of Philosophy, Jadavpur University, Kolkata, India. The Asian Workshop on Philosophical Logic (AWPL) is a series of events initiated by a group of Asian logicians. Its first instalment took place at JAIST in Japan in 2012. The workshop's primary goal is to promote awareness, understanding, and collaboration among researchers in philosophical logic and related fields. It emphasises the interaction between philosophical ideas and formal theories. AWPL 2025 will happen just after ICLA 2025, which would be held at Indian Statistical Institute, Kolkata, India, during February 3-5, 2025. The Association for Logic in India (ALI) will be a co-organizer for this workshop.
Topics of interest include (but are not restricted to): Algebraic logic; Chinese logic; Constructive logic; Decision Theory; Formal epistemology; Game Theory; Greek logic; Indian logic; Inductive logic; Logics of belief change; Logics of conditionals; Modal, temporal, epistemic and deontic logics; Nonmonotonic logics; Relevance and other non-classical logics; Philosophy of language; Philosophy of mathematics; Philosophy of Science; Proof Systems, Quantum logic; Vagueness; as well as their applications in: Artificial Intelligence, Cognitive Science; Computer Science; Law; Linguistics; Mathematics; Social Sciences.
For more information, see https://sites.google.com/view/awpl2025/ or contact Sujata Ghosh at awpl2025ju at gmail.com. -
10 - 14 February 2025, Computer Science Logic 2025 (CSL 2025), Amsterdam, the Netherlands
Location: Amsterdam, the NetherlandsCSL is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL 2025 will be held on the 10th–14th of February 2025 and is organised jointly by the TCS group at the Vrije Universiteit Amsterdam and the ILLC.
Two workshops are co-located with CSL, and will take place on Monday, February 10: the 12th Logic Mentoring Workshop (LMW@CSL 2025) and the Workshop on Learning and Logic (LeaLog@CSL 2025).
For more information, see https://csl2025.github.io/ or contact Balder ten Cate at b.d.tencate at uva.nl. -
18 - 19 February 2025, The Inaugural Symposium in Logic in the Arab World, Kuwait University, Kuwait
Location: Kuwait University, KuwaitKuwait University will hold its inaugural symposium in logic on February 18 th and 19th of 2025.
Keynote speakers: Graham Priest (CUNY Graduate Center), Gillian Russell (Australian National University), Suki Finn (Royal Holloway University of London) and Eduardo Barrio (University of Buenos Aires),
For more information, see https://www.kuwaitlogic.com/ or contact kuwaitlogic at gmail.com, or rashed.ahmad at ku.edu.kw. -
4 - 7 March 2025, 42nd International Symposium on Theoretical Aspects of Computer Science (STACS'25), Jena, Germany
Location: Jena, GermanySTACS 2025 will consist of two tracks, A and B. Track A focuses on algorithms, data structures and complexity, while track B focuses on automata, logic, semantics, and theory of programming.
The conference includes talks by invited speakers Daniel Dadush (CWI Amsterdam), Anupam Das (University of Birmingham) and Susanna F. de Rezende (Lund University), and a tutorial by Albert Atserias (UPC Barcelona) on "Proof complexity and its relations to SAT solving".
For more information, see https://www.stacs2025.de/. -
(New) 3 - 4 April 2025, 3rd Amsterdam / Saint-Etienne Workshop on Social Choice
Location: SustainaLab, MatrixOne, Science Park 301, AmsterdamCosts: FreeJoin us for the 3rd Amsterdam/Saint-Etienne Workshop on Social Choice on at Science Park in Amsterdam! We will be discussing questions of social choice in all of its many facets, including in particular the perspectives provided by computer science, economics, and political science. Registration is free but required.
For more information, see https://sites.google.com/view/amsterdam-saint-etienne-2025/ or contact Ulle Endriss at ulle.endriss at uva.nl. -
7 - 8 April 2025, Eleventh International Conference on Fundamentals of Software Engineering 2025 (FSEN '25), Västerås (Sweden)
Location: Västerås (Sweden)Fundamentals of Software Engineering (FSEN) is an international conference that aims to bring together researchers, engineers, developers, and practitioners from academia and industry to present and discuss their research work in the area of formal methods for software engineering. Additionally, this conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical eng ineering techniques.
Keynote Speakers (confirmed):
Işıl Dillig, University of Texas at Austin
Alexander Serebrenik, Eindhoven University of Technology
Marielle Stoelinga, University of Twente and Radboud University, NijmegenFor more information, see https://conf.researchr.org/home/fsen-2025. -
3 - 8 May 2025, 28th ETAPS International Joint Conferences On Theory and Practice of Software (ETAPS 2025), Hamilton, Canada
Location: Hamilton, CanadaETAPS is a primary forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences accompanied by satellite workshops. ETAPS 2025 is the twenty-eighth event in the series.
Main conferences:
* ESOP: European Symposium on Programming
* FASE: Fundamental Approaches to Software Engineering
* FoSSaCS: Foundations of Software Science and Computation Structures
* TACAS: Tools and Algorithms for the Construction and Analysis of SystemsFor more information, see https://etaps.org/2025. -
9 - 16 May 2025, XXI Brazilian Logic Conference (EBL 2025), Sao Paulo and Serra Negra, Brazil
Location: Sao Paulo and Serra Negra, BrazilTarget audience: Students and professionals of all the areas of LogicThe Brazilian Logic Conference (EBL) is the main event organized by the Brazilian Logic Society (SBL) and has been occurring since 1979. The EBL congregates logicians from different fields and the meeting is an important moment for the Brazilian and South-American community to come together and engage in a discussion about the state of the art of their subject. The areas of Logic covered span Foundations and Philosophy of Science, Mathematics, Computer Science, Informatics, Linguistics, and Artificial Intelligence. The goal of the EBL meeting is to encourage the dissemination and discussion of research papers in Logic in a broad sense. It is expected to have among the participants several invited speakers from different continents.
In 2025, the 21st edition of EBL will be held from May 12 to May 16 at the city of Serra Negra, São Paulo State, preceded by the Logic School from May 9 to May 11 at São Paulo City.
For more information, see https://ebl2025.ime.usp.br/in%C3%ADcio or contact Marcelo E. Coniglio at coniglio at unicamp.br, Lucia R. Junqueira at lucia at ime.usp.br, or Bruno Lopes at bruno at ic.uff.br. -
11 - 13 June 2025, 17th NASA Formal Methods Symposium (NFM25), Hampton Roads, VA (USA)
Location: Hampton Roads, VA (USA)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 PracticeFor more information, see https://shemesh.larc.nasa.gov/nfm2025/. -
28 July - 8 August 2025, 36th European Summer School in Logic, Language and Information (ESSLLI 2025), Bochum (Germany)
Location: Bochum (Germany)Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, when the school was virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at levels that run from foundational to introductory to advanced, and attracts around 400 participants from all over the world.
The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis on human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.
For more information, see here or at https://openreview.net/group?id=ESSLLI.eu/2025/Summer_School_Proposals#tab-recent-activity. -
1 - 5 September 2025, Summer School "Topology, dynamics, and logic in interaction", Cetraro, Italy
Location: Cetraro, ItalyRegistrations are open for a Summer School in Cetraro, Italy, September 1-5 , 2025, on "Topology, dynamics, and logic in interaction". Lecturers: Alessandro Codenottim Aleksandra Kwiatkowska, Aristotelis Panagiotopoulos, Krzysztof Krupiński,Tomás Ibarlucía and Jeffrey Bergfalk,
Young participants (PhD Students and PostDoc Researchers) can apply for grants covering local expenses.
For more information, see https://sites.google.com/unifi.it/cime/c-i-m-e-courses/c-i-m-e-courses-2025.