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.

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

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. 

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

28 July - 8 August 2025, 36th European Summer School in Logic, Language and Information (ESSLLI 2025), Bochum (Germany)

Date: 28 July - 8 August 2025
Location: Bochum (Germany)
Deadline: Saturday 31 May 2025

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.

Registration for attendees is now open. The early-registration deadline is Saturday, 31st May.

For more information, see here or at https://2025.esslli.eu/ or contact Søren Brinck Knudstorp (on behalf of ESSLLI 2025) at .

31 July - 1 August 2025, 29th Conference on Computational Natural Language Learning (CoNLL 2025), Vienna, Austria

Date: 31 July - 1 August 2025
Location: Vienna, Austria
Deadline: Friday 14 March 2025

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

For more information, see here or at https://www.conll.org.

1 August 2025, Deduktionstreffen 2025, Stuttgart, Germany

Date: Friday 1 August 2025
Location: Stuttgart, Germany
Deadline: Thursday 1 May 2025

The annual Deduktionstreffen (German for ``deduction meeting'') is the prime activity of the Special Interest Group on Deduction Systems of the AI Chapter(Fachbereich KI) of the German Society of Informatics (Gesellschaft fuer Informatik, GI). This year it will be organized jointly with the special interest group on Knowledge Representation and Reasoning, as part of CADE-30.

It has a long tradition for being a meeting place for the German community on automated reasoning with an informal and friendly atmosphere. Submissions by researchers from neighboring or otherwise related countries are very welcome as well. A special focus of the workshop is on young researchers and students, who are particularly encouraged to present ongoing projects to a wider audience.

For more information, see https://dt2025.krportal.org/.

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. 

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

28 July - 8 August 2025, 36th European Summer School in Logic, Language and Information (ESSLLI 2025), Bochum (Germany)

Date: 28 July - 8 August 2025
Location: Bochum (Germany)
Deadline: Saturday 31 May 2025

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.

Registration for attendees is now open. The early-registration deadline is Saturday, 31st May.

For more information, see here or at https://2025.esslli.eu/ or contact Søren Brinck Knudstorp (on behalf of ESSLLI 2025) at .

28 July - 8 August 2025, 36th European Summer School in Logic, Language and Information (ESSLLI 2025), Bochum (Germany)

Date: 28 July - 8 August 2025
Location: Bochum (Germany)
Deadline: Saturday 31 May 2025

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.

Registration for attendees is now open. The early-registration deadline is Saturday, 31st May.

For more information, see here or at https://2025.esslli.eu/ or contact Søren Brinck Knudstorp (on behalf of ESSLLI 2025) at .

28 July - 8 August 2025, 36th European Summer School in Logic, Language and Information (ESSLLI 2025), Bochum (Germany)

Date: 28 July - 8 August 2025
Location: Bochum (Germany)
Deadline: Saturday 31 May 2025

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.

Registration for attendees is now open. The early-registration deadline is Saturday, 31st May.

For more information, see here or at https://2025.esslli.eu/ or contact Søren Brinck Knudstorp (on behalf of ESSLLI 2025) at .

4 - 8 August 2025, 5th Natural Logic Meets Machine Learning Workshop (NALOMA 2025), Bochum, Germany

Date: 4 - 8 August 2025
Location: Bochum, Germany
Target audience: NLP, semantics, logic
Deadline: Friday 25 April 2025

There has been an ever-growing interest in tasks targeting Natural Language Understanding and Reasoning. Although deep learning models have achieved human-like performance in many such tasks, it has also been repeatedly shown that they lack the precision, generalization power, reasoning capabilities, and explainability found in more traditional, symbolic approaches. Thus, current research has started employing hybrid methods, combining the strengths of each tradition and mitigating its weaknesses. This workshop would like to promote this research direction and foster fruitful dialog between the two disciplines by bringing together researchers working on hybrid methods in any subfield of Natural Language Understanding and Reasoning. 

The 5th iteration of the NALOMA (Natural Logic Meets Machine Learning) workshop is co-located with ESSLLI.

For more information, see https://naloma.github.io/2025/ or contact Lasha Abzianidze at .

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.

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

28 July - 8 August 2025, 36th European Summer School in Logic, Language and Information (ESSLLI 2025), Bochum (Germany)

Date: 28 July - 8 August 2025
Location: Bochum (Germany)
Deadline: Saturday 31 May 2025

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.

Registration for attendees is now open. The early-registration deadline is Saturday, 31st May.

For more information, see here or at https://2025.esslli.eu/ or contact Søren Brinck Knudstorp (on behalf of ESSLLI 2025) at .

4 - 8 August 2025, 5th Natural Logic Meets Machine Learning Workshop (NALOMA 2025), Bochum, Germany

Date: 4 - 8 August 2025
Location: Bochum, Germany
Target audience: NLP, semantics, logic
Deadline: Friday 25 April 2025

There has been an ever-growing interest in tasks targeting Natural Language Understanding and Reasoning. Although deep learning models have achieved human-like performance in many such tasks, it has also been repeatedly shown that they lack the precision, generalization power, reasoning capabilities, and explainability found in more traditional, symbolic approaches. Thus, current research has started employing hybrid methods, combining the strengths of each tradition and mitigating its weaknesses. This workshop would like to promote this research direction and foster fruitful dialog between the two disciplines by bringing together researchers working on hybrid methods in any subfield of Natural Language Understanding and Reasoning. 

The 5th iteration of the NALOMA (Natural Logic Meets Machine Learning) workshop is co-located with ESSLLI.

For more information, see https://naloma.github.io/2025/ or contact Lasha Abzianidze at .

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.

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

28 July - 8 August 2025, 36th European Summer School in Logic, Language and Information (ESSLLI 2025), Bochum (Germany)

Date: 28 July - 8 August 2025
Location: Bochum (Germany)
Deadline: Saturday 31 May 2025

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.

Registration for attendees is now open. The early-registration deadline is Saturday, 31st May.

For more information, see here or at https://2025.esslli.eu/ or contact Søren Brinck Knudstorp (on behalf of ESSLLI 2025) at .

4 - 8 August 2025, 5th Natural Logic Meets Machine Learning Workshop (NALOMA 2025), Bochum, Germany

Date: 4 - 8 August 2025
Location: Bochum, Germany
Target audience: NLP, semantics, logic
Deadline: Friday 25 April 2025

There has been an ever-growing interest in tasks targeting Natural Language Understanding and Reasoning. Although deep learning models have achieved human-like performance in many such tasks, it has also been repeatedly shown that they lack the precision, generalization power, reasoning capabilities, and explainability found in more traditional, symbolic approaches. Thus, current research has started employing hybrid methods, combining the strengths of each tradition and mitigating its weaknesses. This workshop would like to promote this research direction and foster fruitful dialog between the two disciplines by bringing together researchers working on hybrid methods in any subfield of Natural Language Understanding and Reasoning. 

The 5th iteration of the NALOMA (Natural Logic Meets Machine Learning) workshop is co-located with ESSLLI.

For more information, see https://naloma.github.io/2025/ or contact Lasha Abzianidze at .

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.

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

28 July - 8 August 2025, 36th European Summer School in Logic, Language and Information (ESSLLI 2025), Bochum (Germany)

Date: 28 July - 8 August 2025
Location: Bochum (Germany)
Deadline: Saturday 31 May 2025

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.

Registration for attendees is now open. The early-registration deadline is Saturday, 31st May.

For more information, see here or at https://2025.esslli.eu/ or contact Søren Brinck Knudstorp (on behalf of ESSLLI 2025) at .

4 - 8 August 2025, 5th Natural Logic Meets Machine Learning Workshop (NALOMA 2025), Bochum, Germany

Date: 4 - 8 August 2025
Location: Bochum, Germany
Target audience: NLP, semantics, logic
Deadline: Friday 25 April 2025

There has been an ever-growing interest in tasks targeting Natural Language Understanding and Reasoning. Although deep learning models have achieved human-like performance in many such tasks, it has also been repeatedly shown that they lack the precision, generalization power, reasoning capabilities, and explainability found in more traditional, symbolic approaches. Thus, current research has started employing hybrid methods, combining the strengths of each tradition and mitigating its weaknesses. This workshop would like to promote this research direction and foster fruitful dialog between the two disciplines by bringing together researchers working on hybrid methods in any subfield of Natural Language Understanding and Reasoning. 

The 5th iteration of the NALOMA (Natural Logic Meets Machine Learning) workshop is co-located with ESSLLI.

For more information, see https://naloma.github.io/2025/ or contact Lasha Abzianidze at .

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.

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

28 July - 8 August 2025, 36th European Summer School in Logic, Language and Information (ESSLLI 2025), Bochum (Germany)

Date: 28 July - 8 August 2025
Location: Bochum (Germany)
Deadline: Saturday 31 May 2025

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.

Registration for attendees is now open. The early-registration deadline is Saturday, 31st May.

For more information, see here or at https://2025.esslli.eu/ or contact Søren Brinck Knudstorp (on behalf of ESSLLI 2025) at .

4 - 8 August 2025, 5th Natural Logic Meets Machine Learning Workshop (NALOMA 2025), Bochum, Germany

Date: 4 - 8 August 2025
Location: Bochum, Germany
Target audience: NLP, semantics, logic
Deadline: Friday 25 April 2025

There has been an ever-growing interest in tasks targeting Natural Language Understanding and Reasoning. Although deep learning models have achieved human-like performance in many such tasks, it has also been repeatedly shown that they lack the precision, generalization power, reasoning capabilities, and explainability found in more traditional, symbolic approaches. Thus, current research has started employing hybrid methods, combining the strengths of each tradition and mitigating its weaknesses. This workshop would like to promote this research direction and foster fruitful dialog between the two disciplines by bringing together researchers working on hybrid methods in any subfield of Natural Language Understanding and Reasoning. 

The 5th iteration of the NALOMA (Natural Logic Meets Machine Learning) workshop is co-located with ESSLLI.

For more information, see https://naloma.github.io/2025/ or contact Lasha Abzianidze at .

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.

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

25 - 28 August 2025, 28th International Conference on Text, Speech and Dialogue (TSD 2025), Erlangen-Nürnberg (Germany)

Date: 25 - 28 August 2025
Location: Erlangen-Nürnberg (Germany)
Deadline: Friday 30 May 2025

 The 28th International Conference of Text, Speech and Dialogue (TSD2025) will explore the topics in the field of speech and natural language processing, in particular:
 - corpora, texts, transcription, and translation;
 - speech analysis, recognition, and synthesis;
 - their intertwining within dialogue systems.

This event continues the tradition of the TSD series, which started in 1998 and has become a prime forum for interaction between researchers in computer processing of both spoken and written language from all over the world.

The conference program will include Invited Papers, Oral Presentations, and Poster/Demonstration Sessions. The conference is planned as an on-site event. The conference will offer a rich social programme.

25 - 28 August 2025, 28th International Conference on Text, Speech and Dialogue (TSD 2025), Erlangen-Nürnberg (Germany)

Date: 25 - 28 August 2025
Location: Erlangen-Nürnberg (Germany)
Deadline: Friday 30 May 2025

 The 28th International Conference of Text, Speech and Dialogue (TSD2025) will explore the topics in the field of speech and natural language processing, in particular:
 - corpora, texts, transcription, and translation;
 - speech analysis, recognition, and synthesis;
 - their intertwining within dialogue systems.

This event continues the tradition of the TSD series, which started in 1998 and has become a prime forum for interaction between researchers in computer processing of both spoken and written language from all over the world.

The conference program will include Invited Papers, Oral Presentations, and Poster/Demonstration Sessions. The conference is planned as an on-site event. The conference will offer a rich social programme.

25 - 28 August 2025, 28th International Conference on Text, Speech and Dialogue (TSD 2025), Erlangen-Nürnberg (Germany)

Date: 25 - 28 August 2025
Location: Erlangen-Nürnberg (Germany)
Deadline: Friday 30 May 2025

 The 28th International Conference of Text, Speech and Dialogue (TSD2025) will explore the topics in the field of speech and natural language processing, in particular:
 - corpora, texts, transcription, and translation;
 - speech analysis, recognition, and synthesis;
 - their intertwining within dialogue systems.

This event continues the tradition of the TSD series, which started in 1998 and has become a prime forum for interaction between researchers in computer processing of both spoken and written language from all over the world.

The conference program will include Invited Papers, Oral Presentations, and Poster/Demonstration Sessions. The conference is planned as an on-site event. The conference will offer a rich social programme.

25 - 28 August 2025, 28th International Conference on Text, Speech and Dialogue (TSD 2025), Erlangen-Nürnberg (Germany)

Date: 25 - 28 August 2025
Location: Erlangen-Nürnberg (Germany)
Deadline: Friday 30 May 2025

 The 28th International Conference of Text, Speech and Dialogue (TSD2025) will explore the topics in the field of speech and natural language processing, in particular:
 - corpora, texts, transcription, and translation;
 - speech analysis, recognition, and synthesis;
 - their intertwining within dialogue systems.

This event continues the tradition of the TSD series, which started in 1998 and has become a prime forum for interaction between researchers in computer processing of both spoken and written language from all over the world.

The conference program will include Invited Papers, Oral Presentations, and Poster/Demonstration Sessions. The conference is planned as an on-site event. The conference will offer a rich social programme.

31 August - 5 September 2025, 10th International Workshop on Artificial Intelligence and Theorem Proving (AITP 2025), Aussois, France

Date: 31 August - 5 September 2025
Location: Aussois, France
Deadline: Monday 5 May 2025

Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task.  The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that.

There will be several focused sessions on AI for ATP, ITP, mathematics, relations to general AI (AGI), Formal Abstracts, linguistic processing of mathematics/science, modern AI and big-data methods, and several sessions with contributed talks. The focused sessions will be based on invited talks and discussion oriented. AITP'25 is planned as an in-person conference.

For more information, see http://aitp-conference.org/2025.