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
- 11 - 13 June 2025, 17th NASA Formal Methods Symposium (NFM25), Hampton Roads, VA (USA) (deadline: Friday 13 December 2024)
- 9 - 16 May 2025, XXI Brazilian Logic Conference (EBL 2025), Sao Paulo and Serra Negra, Brazil (deadline: Sunday 15 December 2024)
- 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)
- (New) 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) 16 - 19 October 2025, 10th International Conference on Logic, Rationality and Interaction (LORI-10), Xi'an, China (deadline: Monday 10 March 2025)
- (New) 31 July - 1 August 2025, 29th Conference on Computational Natural Language Learning (CoNLL 2025), Vienna, Austria (deadline: Friday 14 March 2025)
- (New) 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)
Headlines Upcoming conferences
- 2 - 13 December 2024, 24th ANU Logic Summer School, Canberra / Ngunnawal and Ngambri Country (Australia)
- 9 December 2024, Responsible Digital Transformations Keywords Project: Creativity
- 11 December 2024, nternational Workshop on Logical Aspects of Multi-Agent Systems and Strategic Reasoning (LAMAS&SR 2024), Online
- 11 - 12 December 2024, The 8th International Conference on Future Networks & Distributed Systems (ICFNDS 2024), Marrakech, Morocoo
- (Updated) 13 December 2024, Annual VvL Seminar 2024
- 16 - 17 December 2024, PALLMYR-XIV: Formal Tools for Theories of Language and Rationality
- 18 - 20 December 2024, Amsterdam Colloquium 2024, Amsterdam, The Netherlands
- (New) 14 January 2025, UNESCO World Logic Day 2025
- 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
- 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
- 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. -
11 - 13 June 2025, 17th NASA Formal Methods Symposium (NFM25), Hampton Roads, VA (USA)
Location: Hampton Roads, VA (USA)Deadline: Friday 13 December 2024The 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 PracticeThere are two categories of submissions:
* Regular papers - Up to 15 pages plus references. Regular papers describe fully developed work and complete results.
* Short papers - Up to 6 pages plus references. Short papers describe either novel and publicly available tools, case studies detailing applications of formal methods, or new emerging ideas in the topics of interest.All papers should be in English and describe original work that has not been published or submitted elsewhere. Authors should use LNCS style formatting. Authors of accepted papers must present their work in person at the conference.
For more information, see https://shemesh.larc.nasa.gov/nfm2025/. -
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 LogicDeadline: Sunday 15 December 2024The 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.
We cordially invite submissions of contributed talks, in the form of an extended abstract, on the general topics of Logic. Proposals for contributions are of three kinds, all of which may be prepared in English, Portuguese or Spanish:
(A) Talks
(B) Poster
(C) Round tables and small workshopsThe deadline for all types of submission is December 15, 2024.
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. -
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/. -
(New) 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) 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. -
(New) 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. -
(New) 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/.
Upcoming conferences
-
2 - 13 December 2024, 24th ANU Logic Summer School, Canberra / Ngunnawal and Ngambri Country (Australia)
Location: Canberra / Ngunnawal and Ngambri Country (Australia)The ANU Logic Summer School is an annual event that offers a two week long programme of lectures on modern logic, the foundational discipline of the information sciences. Topics include not only the science of reasoning but also computability theory, type theory and other tools for understanding processes, declarative programming, automatic proof generation, program verification and much more. The school is primarily geared at late undergraduate and masters students, but is open to all, including postgraduate and PhD students, postdocs, and participants from industry.
The school features four introductory courses in the first week, and a series of five lectures covering more advanced topics in the second week. The courses are given by a mix of local, domestic and international speakers.
For more information, see https://comp.anu.edu.au/lss/ or contact lss.comp at anu.edu.au. -
9 December 2024, Responsible Digital Transformations Keywords Project: Creativity
Location: Bushuis/Oost-Indisch Huis, Workshop Space. Kloveniersburgwal 48, 1012 CX AmsterdamTarget audience: EveryoneCosts: NoneIn each edition of the Responsible Digital Transformations (RDT) Keywords Project, we explore the diverse interpretations of a certain concept or keyword across disciplines. In line with the current RDT campaign theme, this third edition will focus on the concept of 'Creativity' in the age of generative AI.
Speakers:
Dr. Monika Kackovic: Associate Professor FEB and coordinator of the MSc BA Entrepreneurship and Innovation in the Creative Industries (EMCI) program.
Dr. Claudio Celis Bueno: Assistant Professor in New Media and Digital Cultures and co-coordinator of the AI and Cultural Production research group.
Christoph Finkensiep: Assistant Professor in Generative AI in the Arts, and cognitive scientist at the Music Cognition Group.
The afternoon is moderated by Dr. Nanne van Noord, Assistant Professor of Visual Culture and Multimedia in the Multimedia Analytics Lab.For more information, see https://rdt.uva.nl/content/events/2024/12/rdt-keywords-project-creativity.html?origin=CJCAY6rNSWy3BO1bhFG7aA or contact Isa Verhoeven at i.verhoeven2 at uva.nl. -
11 December 2024, nternational Workshop on Logical Aspects of Multi-Agent Systems and Strategic Reasoning (LAMAS&SR 2024), Online
Location: OnlineLogic and strategic reasoning play a central role in multi-agent systems. Logic can be used, for instance, to express the agents' abilities, knowledge, and objectives. Strategic reasoning refers to algorithmic methods that allow for developing good behaviour for the agents of the system. At the intersection, we find logics that can express the existence of strategies or equilibria, and can be used to reason about them.
The LAMAS&SR workshop merges two international workshops: LAMAS (Logical Aspects of Multi-Agent Systems), which focuses on all kinds of logical aspects of multi-agent systems from the perspectives of artificial intelligence, computer science, and game theory, and SR (Strategic Reasoning), devoted to all aspects of strategic reasoning in formal methods and artificial intelligence. As such, the LAMAS&SR workshop aims to bring together researchers working on different aspects of either logic or strategic reasoning in computer science, artificial intelligence and multi-agent systems research, both from a theoretical and a practical viewpoint.
For more information, see https://conferences-website.github.io/lamassr24/. -
11 - 12 December 2024, The 8th International Conference on Future Networks & Distributed Systems (ICFNDS 2024), Marrakech, Morocoo
Location: Marrakech, MorocooIn the last decade, the growth of the Internet and other web technologies have driven fast developments of various networking technologies that are be coming primary parts of our daily lives. The wealth of existing algorithms and architectures for parallel and distributed computing combined with the proliferation of future wireless technologies and electronic devices resulted in a fast-growing adoption of future networks and highly decentralized systems. Future networks and distributed systems research is an interdisciplinary research field involving academic researchers in computer science, communication engineering, physics and social and behavioral studies, as well as information technology industry consultants and practitioners to support multiservice, multimedia services convergence, service ubiquity and context awareness, mobility, fixed-mobile convergence, variable connectivity, quality of service, spontaneous and autonomic networking and other capabiliti es.
The 2024 International Conference on Future Networks and Distributed Systems (ICFNDS 2024) aims at addressing advances in research on distributed systems and future networks, covering topics ranging from enabling technologies to emerging applications and industrial experiences. ICFNDS aims to encourage both researchers and practitioners to exchange and share their experiences and recent studies in an interactive atmosphere.
For more information, see https://icfnds.org/ or contact acmtexsupport at aptaracorp.com. -
(Updated) 13 December 2024, Annual VvL Seminar 2024
Location: Room 4.225, Atlas Building, Het Eeuwsel 53, EindhovenThe Dutch Association for Logic (VvL) will hold an in-person joint seminar organized by Eindhoven University. The event is inspired by the departmental logic seminars that are organized at each university, and aims to unify the universities for a collaborative seminar. Besides hosting a main speaker, the seminar will also be the location of the award ceremony of the VvL MSc Thesis Prize winners, who will give a short presentation of their thesis. This year, we will also have a short VvL General Members Meeting, and an optional dinner will follow the event.
Main speaker: Alexandru Baltag (ILLC),
MSc Thesis Prize winners: Aude Corbeel (UvA), Sterre Lutz (UU), Ruben Mud (RUG) and Valentin Müller (UvA).For more information, see https://verenigingvoorlogica.nl/en/Activiteiten/VvL-Joint-Seminar/. -
16 - 17 December 2024, PALLMYR-XIV: Formal Tools for Theories of Language and Rationality
Location: Amsterdam, the NetherlandsParis, Amsterdam, and London host a lively group of young researchers working at the interface of logic, language, and theories of rationality. PALLMYR brings them together.
PALLMYR is a series of yearly meetings taking place alternatively in Amsterdam, Paris, and London. At each PALLMYR meeting, visitors give talks about their current research interests, each presentation being commented by a fellow researcher from the host town. PALLMYR 14 will be held at the ILLC, University of Amsterdam, on Mon 16-Tue 17 December 2024.
For more information, see https://events.illc.uva.nl/PALLMYR/PALLMYR-XIV/ or contact Giorgio Sbardolini at g.sbardolini at uva.nl. -
18 - 20 December 2024, Amsterdam Colloquium 2024, Amsterdam, The Netherlands
Location: Amsterdam, The NetherlandsThe Amsterdam Colloquia aim to bring together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages. The Amsterdam Colloquia are organized by the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.
In addition to the general programme, the 2024 Amsterdam Colloquium will feature two workshops. The Colloquium will also include a poster session, and host one evening lecture by Prof. Angelika Kratzer jointly organized with the E.W. Beth Foundation.
For more information, see https://events.illc.uva.nl/AC/AC2024/ or contact Fausto Carcassi at f.carcassi at uva.nl, or Giorgio Sbardolini at g.sbardolini at uva.nl. -
(New) 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.. -
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/. -
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. -
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.