News and Events: Conferences

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

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

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

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

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

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

Established in 2016 as a workshop hosted by Zhejiang University, the CLAR series has been increasingly successful and become an international event and discussion forum in the two areas of logic and argumentation. Our aim for CLAR 2025 is to be a platform for the advancement of the existing discussions within each of the areas above, to span bridges between their different traditions, and finally to open argumentation to new applications and other areas in artificial intelligence, such as legal reasoning, explainable AI, ethical dilemmas, reasoning about uncertainty and knowledge representation, etc.

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 currently under review. Articles should not exceed 16 pages, excluding references.

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

3 - 5 February 2025, Indian Conference on Logic and its Applications, Kolkata, India

Date: 3 - 5 February 2025
Location: Kolkata, India
Target audience: Researchers in Logic
Costs: Nil
Deadline: Sunday 11 August 2024

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

3 - 5 February 2025, Indian Conference on Logic and its Applications, Kolkata, India

Date: 3 - 5 February 2025
Location: Kolkata, India
Target audience: Researchers in Logic
Costs: Nil
Deadline: Sunday 11 August 2024

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

3 - 5 February 2025, Indian Conference on Logic and its Applications, Kolkata, India

Date: 3 - 5 February 2025
Location: Kolkata, India
Target audience: Researchers in Logic
Costs: Nil
Deadline: Sunday 11 August 2024

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

6 - 8 February 2025, 7th Asian Workshop on Philosophical Logic (AWPL 2025), Kolkata, India

Date: 6 - 8 February 2025
Location: Kolkata, India
Target audience: Researchers in the area of Philosophy, Logic, Mathematics, Computer Science, Social Sciences
Costs: Nil
Deadline: Thursday 15 August 2024

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

6 February 2025, Nihil meets AI (mid reflection meeting Nihil project)

Date & Time: Thursday 6 February 2025, 11:00-15:00
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam

The goal of this event is to explore possible applications of the results of the Nihil project in AI and related areas. After presentations of the project results, the AI advisors will give their feedback, suggestions and recommendations.

For more information, see https://projects.illc.uva.nl/nihil/workshops/meets-ai or contact Maria Aloni at .

6 - 8 February 2025, 7th Asian Workshop on Philosophical Logic (AWPL 2025), Kolkata, India

Date: 6 - 8 February 2025
Location: Kolkata, India
Target audience: Researchers in the area of Philosophy, Logic, Mathematics, Computer Science, Social Sciences
Costs: Nil
Deadline: Thursday 15 August 2024

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

6 - 8 February 2025, 7th Asian Workshop on Philosophical Logic (AWPL 2025), Kolkata, India

Date: 6 - 8 February 2025
Location: Kolkata, India
Target audience: Researchers in the area of Philosophy, Logic, Mathematics, Computer Science, Social Sciences
Costs: Nil
Deadline: Thursday 15 August 2024

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

10 February 2025, Logic Mentoring Workshop LMW@CSL

Date: Monday 10 February 2025
Location: Amsterdam Science Park

The Logic Mentoring Workshop (LMW) will introduce young researchers to the technical and practical aspects of a career in logic research. It is targeted at students, from senior undergraduates to graduates, and will include talks and panel sessions from leaders in the subject.

For more information, see https://logic-mentoring-workshop.github.io/csl25/ or contact Femke van Raamsdonk at .

10 February 2025, Workshop LeaLog@CSL: Learning and Logic

Date: Monday 10 February 2025
Location: Amsterdam, the Netherlands

This workshop will take place as part of the 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025). It brings together researchers who are working on topics at the intersection of learning and logic, ranging from the logical foundations of learnability and computational learning theory to logical analyses of machine learning models and applications of machine learning in knowledge representation and reasoning.

The workshop will consists of 5 invited talks and 10 contributed talks.

For more information, see https://sites.google.com/view/lealog25 or contact Balder ten Cate at .

10 - 14 February 2025, Computer Science Logic 2025 (CSL 2025), Amsterdam, the Netherlands

Date: 10 - 14 February 2025
Location: Amsterdam, the Netherlands

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

10 - 14 February 2025, Computer Science Logic 2025 (CSL 2025), Amsterdam, the Netherlands

Date: 10 - 14 February 2025
Location: Amsterdam, the Netherlands

CSL 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 .
logic_page-0001_1_.jpg

11 - 12 February 2025, Recent Trends in Logic and Game Theory, Chennai, India

Date: 11 - 12 February 2025
Location: Chennai, India
Target audience: Students, Researchers and Professors
Deadline: Friday 31 January 2025

We are delighted to announce that the conference "Recent Trends in Logic and Game Theory", jointly organised by MSE and ISI Chennai, will be held at Madras School of Economics, Chennai, from 11th-12th February 2025. This conference aims to bring together experts, researchers, and enthusiasts in the fields of logic and game theory to discuss recent advancements and foster collaboration.

For more information, see https://sites.google.com/view/rtlg2025/home or contact Sujata Ghosh, Purbita Jana at .
aleph_0.png

11 February 2025, Set Theory Day

Date & Time: Tuesday 11 February 2025, 11:00-18:00
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
Target audience: ILLC Students and Staff

On 11 February, we will have a day of presentations by Master of Logic students who have recently completed an individual reading project on an advanced topic in Set Theory.

All interested students and staff members are welcome to attend, see details below.

For more information, see here or contact Yurii Khomskii at .

10 - 14 February 2025, Computer Science Logic 2025 (CSL 2025), Amsterdam, the Netherlands

Date: 10 - 14 February 2025
Location: Amsterdam, the Netherlands

CSL 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 .
logic_page-0001_1_.jpg

11 - 12 February 2025, Recent Trends in Logic and Game Theory, Chennai, India

Date: 11 - 12 February 2025
Location: Chennai, India
Target audience: Students, Researchers and Professors
Deadline: Friday 31 January 2025

We are delighted to announce that the conference "Recent Trends in Logic and Game Theory", jointly organised by MSE and ISI Chennai, will be held at Madras School of Economics, Chennai, from 11th-12th February 2025. This conference aims to bring together experts, researchers, and enthusiasts in the fields of logic and game theory to discuss recent advancements and foster collaboration.

For more information, see https://sites.google.com/view/rtlg2025/home or contact Sujata Ghosh, Purbita Jana at .

10 - 14 February 2025, Computer Science Logic 2025 (CSL 2025), Amsterdam, the Netherlands

Date: 10 - 14 February 2025
Location: Amsterdam, the Netherlands

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

10 - 14 February 2025, Computer Science Logic 2025 (CSL 2025), Amsterdam, the Netherlands

Date: 10 - 14 February 2025
Location: Amsterdam, the Netherlands

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

14 - 17 February 2025, Zagreb Logic Conference 2025, Zagreb, Croatia

Date: 14 - 17 February 2025
Deadline: Wednesday 1 January 2025

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

For more information, see https://sites.google.com/view/zlc25/.

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

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

The SILFS Postgraduate Conference 2025 will take place in Turin on 11-13 June 2025. It is organized jointly by the Italian Society for Logic and Philosophy of Science (SILFS) and members of the Center for Logic, Language and Cognition (LLC) at the University of Turin.

The conference will feature six keynotes and two parallel sessions for contributed papers in logic and philosophy of science. The conference language is English.

We invite submissions in logic and philosophy of science from PhD students or scholars who completed their PhD in the last 5 years. In the case of a co-authored paper, at least one of the authors must be a PhD student or a scholar who completed her/his PhD in the last 5 years; only those meeting this requirement are eligible to submit.

Submissions consist in an extended abstract of maximum 800 words (references included) and must be made via the EasyChair conference management system.

header_for_A4.png

12 June 2025, Language Awareness in the Language Classroom, Leiden, the Netherlands, Cleveringaplaats 1, Leiden (the Netherlands)

Date: Thursday 12 June 2025
Location: Cleveringaplaats 1, Leiden (the Netherlands)
Target audience: language teaching researchers and language teachers
Costs: E20,-
Deadline: Saturday 15 February 2025

On 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). In addition to the keynote, the day will host a combination of good-practice presentations, a workshop, and research presentations on the topic. Please find the preliminary program and registration form on the website. Note that early bird registration ends on May 26th.

We are now welcoming abstracts related to the topic, both research-oriented and more practical presentations.

14 - 17 February 2025, Zagreb Logic Conference 2025, Zagreb, Croatia

Date: 14 - 17 February 2025
Deadline: Wednesday 1 January 2025

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

For more information, see https://sites.google.com/view/zlc25/.

14 - 17 February 2025, Zagreb Logic Conference 2025, Zagreb, Croatia

Date: 14 - 17 February 2025
Deadline: Wednesday 1 January 2025

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

For more information, see https://sites.google.com/view/zlc25/.

28 July - 2 August 2025, The 30th International Conference on Automated Deduction (CADE-30), Stuttgart, Germany

Date: 28 July - 2 August 2025
Location: Stuttgart, Germany
Deadline: Monday 17 February 2025

CADE is the major international forum for presenting research on all aspects of automated deduction. CADE-30 aims to present research that reflects the broad range of interesting and relevant topics in automated deduction. The conference program includes invited talks, paper presentations, workshops, tutorials, and system competitions. 

High-quality submissions on the general topic of automated deduction, including logical foundations, theory and principles, applications in and beyond computer science and mathematics, and implementations of automated reasoning systems are solicited.

Submissions can be made in two categories: Regular papers (up to 15 pages excluding references) and Short papers (up to 10 pages, this includes system descriptions, user experiences, case studies and domain models). Submissions must be unpublished and not submitted for publication elsewhere.  Selected accepted papers will be considered by the Program Committee for the CADE Best Paper Award or Best Student Paper Award (provided that at least one author is a student).

For more information, see https://www.dhbw-stuttgart.de/cade-30/ or contact .

14 - 17 February 2025, Zagreb Logic Conference 2025, Zagreb, Croatia

Date: 14 - 17 February 2025
Deadline: Wednesday 1 January 2025

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

For more information, see https://sites.google.com/view/zlc25/.

18 - 19 February 2025, The Inaugural Symposium in Logic in the Arab World, Kuwait University, Kuwait

Date: 18 - 19 February 2025
Location: Kuwait University, Kuwait
Deadline: Monday 25 November 2024

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

18 - 19 February 2025, The Inaugural Symposium in Logic in the Arab World, Kuwait University, Kuwait

Date: 18 - 19 February 2025
Location: Kuwait University, Kuwait
Deadline: Monday 25 November 2024

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

14 - 16 April 2025, British Colloquium for Theoretical Computer Science (BCTCS 2025), Glasgow, Scotland

Date: 14 - 16 April 2025
Location: Glasgow, Scotland
Deadline: Friday 21 February 2025

The BCTCS is an annual event for UK-based researchers in Theoretical Computer Science to present their research and discuss future directions. The meeting aims to provide an environment in which PhD students can gain experience in presenting their work, to broaden their outlook on the subject, and to benefit from contact with established researchers. The scope of the colloquium includes all aspects of Theoretical Computer Science, including Algorithms, Automata Theory, Complexity Theory, Concurrency, Education, Formal Methods, Languages, Logics, Semantics, and Types.

We will have the following invited speakers: Elizabeth Polgreen (Edinburgh), Nicolai Kraus (Nottingham), Jess Enright (Glasgow), Jakub Oprðal (Birmingham), Conor McBride (Strathclyde) and  Rob van Glabeek (Edinburgh).

We invite 30 minute contributed talks on any topic in the scope of the colloquium. Presentations from research students and early career researchers are particularly encouraged. The scope of "theoretical computer science" is intended to be interpreted broadly. In particular, this year we invite talk proposals which detail novel and innovative ways to teach theoretical content, as part of a track focused on theoretical computer science education. For all talks, please ensure that your talk is accessible to other students who may not be specialists in your research topic. We put no restrictions on the originality or publication status of submissions.

 

For more information, see https://msp.cis.strath.ac.uk/bctcs2025/.

4 - 8 August 2025, ESSLLI 2025 - Workshop on Truthmaker Semantics and Modal Logic

Date: 4 - 8 August 2025
Location: Bochum (Germany)
Deadline: Friday 28 February 2025

We are pleased to announce the Workshop on Truthmaker Semantics and Modal Logic, organized by Alessandro Giordani and Vita Saitta. The aim of this workshop is to present current studies on the application of Truthmaker Semantics to modal logic. Discussions will include the philosophical analysis and the logic of modalities, such as necessity, possibility, obligation, permission, and knowledge. Additionally, the workshop will explore relationships with prominent semantic approaches to modal logic, including Possible Worlds, Neighborhood, and Topic-sensitive semantics.

Details for Submission:
Abstract Length: Up to 1000 words.
Presentation Format: 30–40 minutes, including Q&A.
Submission Deadline: February 28, 2025.
Send the abstract and your contact details to .

For more information, see here or at https://philevents.org/event/show/130826 or contact Vita Saitta at .