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.
| << January 2026 | ||||||
|---|---|---|---|---|---|---|
| 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
|
31
|
4 - 8 May 2026, 32nd Int’l Conference on Types for Proofs and Programs (TYPES 2026), Gothenburg [SE]
The TYPES meetings are a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming.
We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Participation in the meeting is primarily in person, as face-to-face interactions are highly valuable.
TYPES solicits contributed talks to stimulate discussions. Talks proposing new ways of applying type theory are encouraged. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Selection of those will be based on extended abstracts of 2 pages.
For more information see https://types2026.cse.chalmers.se/call-for-contributions.html.
12 - 15 January 2026, 8th International Meeting of the Association for the Philosophy of Mathematical Practice (APMP 2025), Orange CA, USA
The APMP aims to foster the philosophy of mathematical practice, that is, a broad outward-looking cluster of approaches to understanding mathematics. Relevant themes include issues in the methodology and epistemology of mathematics, history of mathematics, applications of mathematics, mathematical education, and cognitive science.
Keynote Speakers Carolin Antos (University of Konstanz), Marc Lange (UNC Chapel Hill), John Mumma (CSU San Bernardino), Elaine Pimentel (University College London), Akshay Venkatesh (Institute for Advanced Study) and Keith Weber (Rutgers University).
12 - 15 January 2026, 8th International Meeting of the Association for the Philosophy of Mathematical Practice (APMP 2025), Orange CA, USA
The APMP aims to foster the philosophy of mathematical practice, that is, a broad outward-looking cluster of approaches to understanding mathematics. Relevant themes include issues in the methodology and epistemology of mathematics, history of mathematics, applications of mathematics, mathematical education, and cognitive science.
Keynote Speakers Carolin Antos (University of Konstanz), Marc Lange (UNC Chapel Hill), John Mumma (CSU San Bernardino), Elaine Pimentel (University College London), Akshay Venkatesh (Institute for Advanced Study) and Keith Weber (Rutgers University).
12 - 15 January 2026, 8th International Meeting of the Association for the Philosophy of Mathematical Practice (APMP 2025), Orange CA, USA
The APMP aims to foster the philosophy of mathematical practice, that is, a broad outward-looking cluster of approaches to understanding mathematics. Relevant themes include issues in the methodology and epistemology of mathematics, history of mathematics, applications of mathematics, mathematical education, and cognitive science.
Keynote Speakers Carolin Antos (University of Konstanz), Marc Lange (UNC Chapel Hill), John Mumma (CSU San Bernardino), Elaine Pimentel (University College London), Akshay Venkatesh (Institute for Advanced Study) and Keith Weber (Rutgers University).
14 January 2026, Southern Summer Logic Day 2026 (World Logic Day) [online]
The Australasian Association for Logic is hosting a Southern Summer Logic Day in celebration of the UNESCO World Logic Day. To register for the event and to obtain a Zoom link, please reach out to Guillermo Badia.
Please note that the starting time in Amsterdam is indeed 00:01 on Wednesday, 14 January 2026.
12 - 15 January 2026, 8th International Meeting of the Association for the Philosophy of Mathematical Practice (APMP 2025), Orange CA, USA
The APMP aims to foster the philosophy of mathematical practice, that is, a broad outward-looking cluster of approaches to understanding mathematics. Relevant themes include issues in the methodology and epistemology of mathematics, history of mathematics, applications of mathematics, mathematical education, and cognitive science.
Keynote Speakers Carolin Antos (University of Konstanz), Marc Lange (UNC Chapel Hill), John Mumma (CSU San Bernardino), Elaine Pimentel (University College London), Akshay Venkatesh (Institute for Advanced Study) and Keith Weber (Rutgers University).
(Updated) 20 - 21 January 2026, CfP: AAAI 2026 Bridge Program - Logic & AI, Singapore [SG]
Hosted by the Association for the Advancement of Artificial Intelligence (AAAI), the Annual AAAI Conference on Artificial Intelligence (AAAI) is one of the oldest and most comprehensive top-tier conferences in the field of AI. At AAAI 2026, a Bridge Program on "Logic & AI" will be featured. This two-day Bridge Program on Logic & AI aims to thoroughly explore and expand the intersection of AI and Logic. It will be a platform for systematic discussion about new applications of various logical methods in AI, with special interest in the logical and symbolic reasoning abilities of LLMs. We hope this Bridge Program will explore various approaches to enhancing the capabilities of LLMs in solving complex logical tasks. In addition, this exploration could serve as a valuable model for integrating neural networks with symbolic methods.
We welcome submissions from a wide range of fields including logic, AI, linguistics, and cognitive science. and topics of interest can be find in our website. We welcome two types of papers: (1)Full papers: Full-length research papers from 4 to 8 pages (excluding references and appendices); (2)Short papers: research/position papers of up to 4 pages (excluding references and appendices). Papers should be submitted in the AAAI format (https://aaai.org/authorkit26-1/). The review process will be single-blinded, and we welcome accepted and published papers. The contributions can be either *non-archival* or published upon the authors' choices. There will be Oral Presentation Awards, Outstanding Paper Awards, and one Best Paper Award for accepted papers with outstanding quality.
(Updated) 20 - 23 January 2026, 2026 Dutch Winter School on Logic and Verification
The 2026 Dutch Winter School on Logic and Verification is a 3.5 day event aimed at PhD/graduate students in theoretical computer science with an interest in software verification, logic, and type theory. Strong master students, as well as researchers and practitioners, are equally welcome. Participants are expected to have a background in theoretical computer science, mathematics or a related discipline at a master’s level, and have basic familiarity with (functional) programming, semantics, and logic.
The winter school is organized as part of the project "Cyclic Structures in Programs and Proofs".
Registration is open. Hotel block booking ends 24 Nov. Early registration ends 7 Dec 2025.
(Updated) 20 - 21 January 2026, CfP: AAAI 2026 Bridge Program - Logic & AI, Singapore [SG]
Hosted by the Association for the Advancement of Artificial Intelligence (AAAI), the Annual AAAI Conference on Artificial Intelligence (AAAI) is one of the oldest and most comprehensive top-tier conferences in the field of AI. At AAAI 2026, a Bridge Program on "Logic & AI" will be featured. This two-day Bridge Program on Logic & AI aims to thoroughly explore and expand the intersection of AI and Logic. It will be a platform for systematic discussion about new applications of various logical methods in AI, with special interest in the logical and symbolic reasoning abilities of LLMs. We hope this Bridge Program will explore various approaches to enhancing the capabilities of LLMs in solving complex logical tasks. In addition, this exploration could serve as a valuable model for integrating neural networks with symbolic methods.
We welcome submissions from a wide range of fields including logic, AI, linguistics, and cognitive science. and topics of interest can be find in our website. We welcome two types of papers: (1)Full papers: Full-length research papers from 4 to 8 pages (excluding references and appendices); (2)Short papers: research/position papers of up to 4 pages (excluding references and appendices). Papers should be submitted in the AAAI format (https://aaai.org/authorkit26-1/). The review process will be single-blinded, and we welcome accepted and published papers. The contributions can be either *non-archival* or published upon the authors' choices. There will be Oral Presentation Awards, Outstanding Paper Awards, and one Best Paper Award for accepted papers with outstanding quality.
(Updated) 20 - 23 January 2026, 2026 Dutch Winter School on Logic and Verification
The 2026 Dutch Winter School on Logic and Verification is a 3.5 day event aimed at PhD/graduate students in theoretical computer science with an interest in software verification, logic, and type theory. Strong master students, as well as researchers and practitioners, are equally welcome. Participants are expected to have a background in theoretical computer science, mathematics or a related discipline at a master’s level, and have basic familiarity with (functional) programming, semantics, and logic.
The winter school is organized as part of the project "Cyclic Structures in Programs and Proofs".
Registration is open. Hotel block booking ends 24 Nov. Early registration ends 7 Dec 2025.
(Updated) 20 - 23 January 2026, 2026 Dutch Winter School on Logic and Verification
The 2026 Dutch Winter School on Logic and Verification is a 3.5 day event aimed at PhD/graduate students in theoretical computer science with an interest in software verification, logic, and type theory. Strong master students, as well as researchers and practitioners, are equally welcome. Participants are expected to have a background in theoretical computer science, mathematics or a related discipline at a master’s level, and have basic familiarity with (functional) programming, semantics, and logic.
The winter school is organized as part of the project "Cyclic Structures in Programs and Proofs".
Registration is open. Hotel block booking ends 24 Nov. Early registration ends 7 Dec 2025.
(Updated) 20 - 23 January 2026, 2026 Dutch Winter School on Logic and Verification
The 2026 Dutch Winter School on Logic and Verification is a 3.5 day event aimed at PhD/graduate students in theoretical computer science with an interest in software verification, logic, and type theory. Strong master students, as well as researchers and practitioners, are equally welcome. Participants are expected to have a background in theoretical computer science, mathematics or a related discipline at a master’s level, and have basic familiarity with (functional) programming, semantics, and logic.
The winter school is organized as part of the project "Cyclic Structures in Programs and Proofs".
Registration is open. Hotel block booking ends 24 Nov. Early registration ends 7 Dec 2025.
26 January 2026, ILLC PhD Day 2026
The annual ILLC PhD Day is coming up! We look forward to another inspiring day of research and exchange within the ILLC community. The programme will feature presentations and posters by our PhD candidates, as well as opportunities to meet fellow researchers and discuss ongoing work across the four ILLC research units.
All new and senior PhD candidates are invited to present their research by submitting a poster or talk proposal. Due to limited slots, talks will be selected based on submitted abstracts. Please send your abstract (max. one page), clearly indicating whether it is for a post or a talk , by 31 December 2025.
15 - 17 July 2026, IACAP 2026 – International Association for Computing and Philosophy Conference, University of Kansas, Lawrence KS [US]
IACAP has a long tradition of promoting philosophical dialogue and interdisciplinary research on all aspects of computing. Its members have contributed to the philosophical and ethical debates about computing, information technologies, and artificial intelligence. The 2026 annual conference will continue this tradition by bringing together researchers from various fields who are interested in the topics covered in various tracks.
The International Association for Computing and Philosophy (IACAP) is pleased to put out this call for abstracts for its next conference in 2026.
For submissions, visit the conference website and follow the steps as laid out here: https://www.iacap.org/2025/10/10/iacap-2026-kansas/