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.

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

The aim of JELIA 2025 is to bring together active researchers interested in the use of logics in Artificial Intelligence, in order to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners.

This year we will include a Special Track on Logics for Explainable and Trustworthy AI. The track aims to draw attention to this timely topic and create a space for discussing the role of logic. Also there will be Best Paper and Best Student Paper Prizes sponsored by Springer, each is a cash prize amounting to EUR 500.

The 7th International School and Workshop on Proof Theory will be organized by Ghent University under the auspices of The Proof Society. This annual event continues its tradition of uniting students, researchers, and practitioners to explore both the applied and foundational aspects of proof theory. Following the format of previous editions, the event begins with a three-day Summer School (September 1–3) offering five tutorials on a variety of topics related to proof theory. This will be followed by a two-day Workshop (September 4–5) featuring invited lectures and contributed talks. Guided by The Proof Manifesto, this event embraces the notion of proofs in its broadest sense, welcoming participation and contributions from logic, computer science, mathematics, and beyond.

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.

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

The aim of JELIA 2025 is to bring together active researchers interested in the use of logics in Artificial Intelligence, in order to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners.

This year we will include a Special Track on Logics for Explainable and Trustworthy AI. The track aims to draw attention to this timely topic and create a space for discussing the role of logic. Also there will be Best Paper and Best Student Paper Prizes sponsored by Springer, each is a cash prize amounting to EUR 500.

The 7th International School and Workshop on Proof Theory will be organized by Ghent University under the auspices of The Proof Society. This annual event continues its tradition of uniting students, researchers, and practitioners to explore both the applied and foundational aspects of proof theory. Following the format of previous editions, the event begins with a three-day Summer School (September 1–3) offering five tutorials on a variety of topics related to proof theory. This will be followed by a two-day Workshop (September 4–5) featuring invited lectures and contributed talks. Guided by The Proof Manifesto, this event embraces the notion of proofs in its broadest sense, welcoming participation and contributions from logic, computer science, mathematics, and beyond.

The PhD School delves into the theoretical and algorithmic foundations of integrating novel techniques into algorithm design and is tailored for PhD students interested in the growing intersection of Machine Learning and Optimization. The school combines lectures with collaborative group works. Registration is now open.

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.

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

The aim of JELIA 2025 is to bring together active researchers interested in the use of logics in Artificial Intelligence, in order to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners.

This year we will include a Special Track on Logics for Explainable and Trustworthy AI. The track aims to draw attention to this timely topic and create a space for discussing the role of logic. Also there will be Best Paper and Best Student Paper Prizes sponsored by Springer, each is a cash prize amounting to EUR 500.

The 7th International School and Workshop on Proof Theory will be organized by Ghent University under the auspices of The Proof Society. This annual event continues its tradition of uniting students, researchers, and practitioners to explore both the applied and foundational aspects of proof theory. Following the format of previous editions, the event begins with a three-day Summer School (September 1–3) offering five tutorials on a variety of topics related to proof theory. This will be followed by a two-day Workshop (September 4–5) featuring invited lectures and contributed talks. Guided by The Proof Manifesto, this event embraces the notion of proofs in its broadest sense, welcoming participation and contributions from logic, computer science, mathematics, and beyond.

The PhD School delves into the theoretical and algorithmic foundations of integrating novel techniques into algorithm design and is tailored for PhD students interested in the growing intersection of Machine Learning and Optimization. The school combines lectures with collaborative group works. Registration is now open.

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.

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

The aim of JELIA 2025 is to bring together active researchers interested in the use of logics in Artificial Intelligence, in order to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners.

This year we will include a Special Track on Logics for Explainable and Trustworthy AI. The track aims to draw attention to this timely topic and create a space for discussing the role of logic. Also there will be Best Paper and Best Student Paper Prizes sponsored by Springer, each is a cash prize amounting to EUR 500.

The 7th International School and Workshop on Proof Theory will be organized by Ghent University under the auspices of The Proof Society. This annual event continues its tradition of uniting students, researchers, and practitioners to explore both the applied and foundational aspects of proof theory. Following the format of previous editions, the event begins with a three-day Summer School (September 1–3) offering five tutorials on a variety of topics related to proof theory. This will be followed by a two-day Workshop (September 4–5) featuring invited lectures and contributed talks. Guided by The Proof Manifesto, this event embraces the notion of proofs in its broadest sense, welcoming participation and contributions from logic, computer science, mathematics, and beyond.

The PhD School delves into the theoretical and algorithmic foundations of integrating novel techniques into algorithm design and is tailored for PhD students interested in the growing intersection of Machine Learning and Optimization. The school combines lectures with collaborative group works. Registration is now open.

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

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.

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

The aim of JELIA 2025 is to bring together active researchers interested in the use of logics in Artificial Intelligence, in order to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners.

This year we will include a Special Track on Logics for Explainable and Trustworthy AI. The track aims to draw attention to this timely topic and create a space for discussing the role of logic. Also there will be Best Paper and Best Student Paper Prizes sponsored by Springer, each is a cash prize amounting to EUR 500.

The 7th International School and Workshop on Proof Theory will be organized by Ghent University under the auspices of The Proof Society. This annual event continues its tradition of uniting students, researchers, and practitioners to explore both the applied and foundational aspects of proof theory. Following the format of previous editions, the event begins with a three-day Summer School (September 1–3) offering five tutorials on a variety of topics related to proof theory. This will be followed by a two-day Workshop (September 4–5) featuring invited lectures and contributed talks. Guided by The Proof Manifesto, this event embraces the notion of proofs in its broadest sense, welcoming participation and contributions from logic, computer science, mathematics, and beyond.

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

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

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

FOIS 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 COST action EuroProofNet is happy to announce that the organization of the 1st international school on logical frameworks and proof systems interoperability (LFPSI) in September 2025 in Orsay, France.

Programme:
- Ambrus Kaposi, Second-order generalized algebraic theories
- Andrej Bauer, Programming language techniques for proof assistants
- Florian Rabe, Modular logic design
- Frédéric Blanqui, λΠ-calculus modulo rewriting: theory and application to proof systems interoperability

The Fifteenth International Tbilisi Symposium on Logic, Language, and Computation will be held September 8-12, 2025 in the country of Georgia. The programme will include two plenary tutorials, four plenary invited lectures and two parallel tracks of contributed talks. In addition, there will be two topical workshops.

Tutorial speakers:
  - Language: Milica Denić (Tel Aviv University)
  - Logic & Computation: Thomas Icard (Stanford University)
Invited speakers:
 - Language: Maria Aloni (University of Amsterdam), Sarah Zobel (Humboldt University Berlin
 - Logic & Computation: Mikolaj Bojanczyk (University of Warsaw), Mai Gehrke (Universite Cote d’Azur)

FOIS 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 COST action EuroProofNet is happy to announce that the organization of the 1st international school on logical frameworks and proof systems interoperability (LFPSI) in September 2025 in Orsay, France.

Programme:
- Ambrus Kaposi, Second-order generalized algebraic theories
- Andrej Bauer, Programming language techniques for proof assistants
- Florian Rabe, Modular logic design
- Frédéric Blanqui, λΠ-calculus modulo rewriting: theory and application to proof systems interoperability

The Fifteenth International Tbilisi Symposium on Logic, Language, and Computation will be held September 8-12, 2025 in the country of Georgia. The programme will include two plenary tutorials, four plenary invited lectures and two parallel tracks of contributed talks. In addition, there will be two topical workshops.

Tutorial speakers:
  - Language: Milica Denić (Tel Aviv University)
  - Logic & Computation: Thomas Icard (Stanford University)
Invited speakers:
 - Language: Maria Aloni (University of Amsterdam), Sarah Zobel (Humboldt University Berlin
 - Logic & Computation: Mikolaj Bojanczyk (University of Warsaw), Mai Gehrke (Universite Cote d’Azur)

The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions to logic-based program development in any programming language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress.

LOPSTR 2025 will be held at the University of Calabria, Rende, Italy. It will be co-located with ICLP 2025 and PPDP 2025. Topics of interest include all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.

FOIS 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 COST action EuroProofNet is happy to announce that the organization of the 1st international school on logical frameworks and proof systems interoperability (LFPSI) in September 2025 in Orsay, France.

Programme:
- Ambrus Kaposi, Second-order generalized algebraic theories
- Andrej Bauer, Programming language techniques for proof assistants
- Florian Rabe, Modular logic design
- Frédéric Blanqui, λΠ-calculus modulo rewriting: theory and application to proof systems interoperability

The Fifteenth International Tbilisi Symposium on Logic, Language, and Computation will be held September 8-12, 2025 in the country of Georgia. The programme will include two plenary tutorials, four plenary invited lectures and two parallel tracks of contributed talks. In addition, there will be two topical workshops.

Tutorial speakers:
  - Language: Milica Denić (Tel Aviv University)
  - Logic & Computation: Thomas Icard (Stanford University)
Invited speakers:
 - Language: Maria Aloni (University of Amsterdam), Sarah Zobel (Humboldt University Berlin
 - Logic & Computation: Mikolaj Bojanczyk (University of Warsaw), Mai Gehrke (Universite Cote d’Azur)

The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions to logic-based program development in any programming language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress.

LOPSTR 2025 will be held at the University of Calabria, Rende, Italy. It will be co-located with ICLP 2025 and PPDP 2025. Topics of interest include all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.

FOIS 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 COST action EuroProofNet is happy to announce that the organization of the 1st international school on logical frameworks and proof systems interoperability (LFPSI) in September 2025 in Orsay, France.

Programme:
- Ambrus Kaposi, Second-order generalized algebraic theories
- Andrej Bauer, Programming language techniques for proof assistants
- Florian Rabe, Modular logic design
- Frédéric Blanqui, λΠ-calculus modulo rewriting: theory and application to proof systems interoperability

The Fifteenth International Tbilisi Symposium on Logic, Language, and Computation will be held September 8-12, 2025 in the country of Georgia. The programme will include two plenary tutorials, four plenary invited lectures and two parallel tracks of contributed talks. In addition, there will be two topical workshops.

Tutorial speakers:
  - Language: Milica Denić (Tel Aviv University)
  - Logic & Computation: Thomas Icard (Stanford University)
Invited speakers:
 - Language: Maria Aloni (University of Amsterdam), Sarah Zobel (Humboldt University Berlin
 - Logic & Computation: Mikolaj Bojanczyk (University of Warsaw), Mai Gehrke (Universite Cote d’Azur)

FOIS 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 Fifteenth International Tbilisi Symposium on Logic, Language, and Computation will be held September 8-12, 2025 in the country of Georgia. The programme will include two plenary tutorials, four plenary invited lectures and two parallel tracks of contributed talks. In addition, there will be two topical workshops.

Tutorial speakers:
  - Language: Milica Denić (Tel Aviv University)
  - Logic & Computation: Thomas Icard (Stanford University)
Invited speakers:
 - Language: Maria Aloni (University of Amsterdam), Sarah Zobel (Humboldt University Berlin
 - Logic & Computation: Mikolaj Bojanczyk (University of Warsaw), Mai Gehrke (Universite Cote d’Azur)

This year's international autumn school "Proof and Computation" will be held from 14th to 20th September 2025 at Haus der bayerischen Landwirtschaft in Herrsching near Munich. Its aim is to bring together young researchers in the fields of Foundations of Mathematics, Computer Science and Philosophy.

Scope: Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, and Extraction of Programs from Proofs.There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs.

This year's international autumn school "Proof and Computation" will be held from 14th to 20th September 2025 at Haus der bayerischen Landwirtschaft in Herrsching near Munich. Its aim is to bring together young researchers in the fields of Foundations of Mathematics, Computer Science and Philosophy.

Scope: Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, and Extraction of Programs from Proofs.There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs.

This year's international autumn school "Proof and Computation" will be held from 14th to 20th September 2025 at Haus der bayerischen Landwirtschaft in Herrsching near Munich. Its aim is to bring together young researchers in the fields of Foundations of Mathematics, Computer Science and Philosophy.

Scope: Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, and Extraction of Programs from Proofs.There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs.

In real-life AI applications, information is usually pervaded by uncertainty and subject to change, and thus requires non-classical systems. At the same time, psychological findings indicate that human reasoning cannot be completely described by classical logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. A wide range of reasoning mechanisms, such as analogical or defeasible reasoning, have to be considered, possibly in combination with machine learning methods. The field of knowledge representation and reasoning offers a rich palette of methods for uncertain reasoning, both to describe human reasoning and to model AI approaches.

This series of workshops aims to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular, provide a forum for research work linking different paradigms of reasoning. A special focus is on papers that provide a base for connecting formal-logical models of knowledge representation and cognitive models of reasoning and learning, addressing formal and experimental or heuristic issues. FCR'25 will be co-located with the 48th German Conference on Artificial Intelligence (KI 2025).

This year's international autumn school "Proof and Computation" will be held from 14th to 20th September 2025 at Haus der bayerischen Landwirtschaft in Herrsching near Munich. Its aim is to bring together young researchers in the fields of Foundations of Mathematics, Computer Science and Philosophy.

Scope: Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, and Extraction of Programs from Proofs.There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs.

This year's international autumn school "Proof and Computation" will be held from 14th to 20th September 2025 at Haus der bayerischen Landwirtschaft in Herrsching near Munich. Its aim is to bring together young researchers in the fields of Foundations of Mathematics, Computer Science and Philosophy.

Scope: Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, and Extraction of Programs from Proofs.There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs.

This year's international autumn school "Proof and Computation" will be held from 14th to 20th September 2025 at Haus der bayerischen Landwirtschaft in Herrsching near Munich. Its aim is to bring together young researchers in the fields of Foundations of Mathematics, Computer Science and Philosophy.

Scope: Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, and Extraction of Programs from Proofs.There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs.

This year's international autumn school "Proof and Computation" will be held from 14th to 20th September 2025 at Haus der bayerischen Landwirtschaft in Herrsching near Munich. Its aim is to bring together young researchers in the fields of Foundations of Mathematics, Computer Science and Philosophy.

Scope: Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, and Extraction of Programs from Proofs.There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs.

The conference aims to honour the legacy of outstanding Polish logicians, particularly those associated with the Lvov-Warsaw School and the Polish Mathematical School. The conference focuses on topics from various areas of logic and its applications, in particular, in the foundations of mathematics, computer science and linguistics. Submissions in the area of philosophy of science are also welcomed. The Congress will feature plenary sessions, sections, and the following workshops:

• 3rd Workshop on Relating Logic (WRL3), org. by Mateusz Klonowski and Jacek Malinowski.

• 1st Workshop on Mechanisms and Causes (WMaC1) org. by Michał Oleksowicz and Mateusz Chwastyk.

• 1st Symposium on the Languages and Logics of Syllogistics (SYLLOS1) org. by Luis Estrada-González and Tomasz Jarmużek.

• 3rd Workshop on Non-Fregean Logics (WNFL3) org. by Dorota Leszczyńska-Jasion and Szymon Chlebowski.

The conference aims to honour the legacy of outstanding Polish logicians, particularly those associated with the Lvov-Warsaw School and the Polish Mathematical School. The conference focuses on topics from various areas of logic and its applications, in particular, in the foundations of mathematics, computer science and linguistics. Submissions in the area of philosophy of science are also welcomed. The Congress will feature plenary sessions, sections, and the following workshops:

• 3rd Workshop on Relating Logic (WRL3), org. by Mateusz Klonowski and Jacek Malinowski.

• 1st Workshop on Mechanisms and Causes (WMaC1) org. by Michał Oleksowicz and Mateusz Chwastyk.

• 1st Symposium on the Languages and Logics of Syllogistics (SYLLOS1) org. by Luis Estrada-González and Tomasz Jarmużek.

• 3rd Workshop on Non-Fregean Logics (WNFL3) org. by Dorota Leszczyńska-Jasion and Szymon Chlebowski.

The biennial ECSQARU conferences constitute a major forum for advances in the theory and practice of reasoning under uncertainty, with a focus on bringing symbolic and quantitative aspects together. Contributions come from researchers interested in advancing the scientific knowledge and from practitioners using uncertainty techniques in real-world applications. The scope of the ECSQARU conferences encompasses fundamental issues, representation, inference, learning, and decision making in qualitative and numeric uncertainty paradigms.

The following keynote speakers are already confirmed: Claudia d'Amato (University of Bari, Italy), Vanina Martinez (Artificial Intelligence Research Institute, Spain) and Tommie Meyer (CAIR, University of Cape Town, Source Africa). The first day (Sep 23) is dedicated to a workshop and tutorial programme. A separate call for workshops and tutorials has already been disseminated (see the website for details). A Best Paper Award supported by Springer will be granted at the conference.

The European Conference on Argumentation (ECA) is a biennial pan-European initiative aiming to consolidate and advance research on argumentation. After four successful editions, ECA will be hosted in 2025 by the Warsaw University of Technology, in Warsaw, Poland. We aim to attract scholars on argumentation worldwide from various disciplines, dealing with a range of themes and adopting a variety of approaches.

The special theme of this conference is Argumentation in the Digital Society. The main objective of the conference is to identify the key research areas related to the dynamics of change and development in today's digitised society. There is a need to develop the theoretical tools of argumentation and related disciplines that allow discussion and argument to be founded on trust, charity, and goodwill. The conference aims to explore these topics and ensure a high-quality exchange of research results.

The ECA 2025 summer school organized by Barbara Konat and Leonard Kupś (Faculty of Psychology and Cognitive Sciences) will take place at Adam Mickiewicz University, in Poznań, Poland, before the ECA conference, from 17th to 20th September 2025. The summer school allows Early Career Researchers to explore current methods in the empirical analysis of natural language argumentation. This includes a variety of topics such as formal and informal logic, erotetic logic, computational approaches, conversation and discourse analysis, and experimental methods in psychology with a strong focus on practical, hands-on analysis.

The conference aims to honour the legacy of outstanding Polish logicians, particularly those associated with the Lvov-Warsaw School and the Polish Mathematical School. The conference focuses on topics from various areas of logic and its applications, in particular, in the foundations of mathematics, computer science and linguistics. Submissions in the area of philosophy of science are also welcomed. The Congress will feature plenary sessions, sections, and the following workshops:

• 3rd Workshop on Relating Logic (WRL3), org. by Mateusz Klonowski and Jacek Malinowski.

• 1st Workshop on Mechanisms and Causes (WMaC1) org. by Michał Oleksowicz and Mateusz Chwastyk.

• 1st Symposium on the Languages and Logics of Syllogistics (SYLLOS1) org. by Luis Estrada-González and Tomasz Jarmużek.

• 3rd Workshop on Non-Fregean Logics (WNFL3) org. by Dorota Leszczyńska-Jasion and Szymon Chlebowski.

The biennial ECSQARU conferences constitute a major forum for advances in the theory and practice of reasoning under uncertainty, with a focus on bringing symbolic and quantitative aspects together. Contributions come from researchers interested in advancing the scientific knowledge and from practitioners using uncertainty techniques in real-world applications. The scope of the ECSQARU conferences encompasses fundamental issues, representation, inference, learning, and decision making in qualitative and numeric uncertainty paradigms.

The following keynote speakers are already confirmed: Claudia d'Amato (University of Bari, Italy), Vanina Martinez (Artificial Intelligence Research Institute, Spain) and Tommie Meyer (CAIR, University of Cape Town, Source Africa). The first day (Sep 23) is dedicated to a workshop and tutorial programme. A separate call for workshops and tutorials has already been disseminated (see the website for details). A Best Paper Award supported by Springer will be granted at the conference.

The European Conference on Argumentation (ECA) is a biennial pan-European initiative aiming to consolidate and advance research on argumentation. After four successful editions, ECA will be hosted in 2025 by the Warsaw University of Technology, in Warsaw, Poland. We aim to attract scholars on argumentation worldwide from various disciplines, dealing with a range of themes and adopting a variety of approaches.

The special theme of this conference is Argumentation in the Digital Society. The main objective of the conference is to identify the key research areas related to the dynamics of change and development in today's digitised society. There is a need to develop the theoretical tools of argumentation and related disciplines that allow discussion and argument to be founded on trust, charity, and goodwill. The conference aims to explore these topics and ensure a high-quality exchange of research results.

The ECA 2025 summer school organized by Barbara Konat and Leonard Kupś (Faculty of Psychology and Cognitive Sciences) will take place at Adam Mickiewicz University, in Poznań, Poland, before the ECA conference, from 17th to 20th September 2025. The summer school allows Early Career Researchers to explore current methods in the empirical analysis of natural language argumentation. This includes a variety of topics such as formal and informal logic, erotetic logic, computational approaches, conversation and discourse analysis, and experimental methods in psychology with a strong focus on practical, hands-on analysis.

 The conference is concerned with the theory of computability and complexity over real-valued data. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet, present work in progress and exchange ideas and knowledge.

The topics of interest include foundational work on various models and approaches for describing computability and complexity over the real numbers. They also include complexity-theoretic investigations, both foundational and with respect to concrete problems, and new implementations of exact real arithmetic, as well as further developments of already existing software packages. We hope to gain new insights into computability-theoretic aspects of various computational questions from physics and from other fields involving computations over the real numbers.

Invited Speakers: Takako Nemoto (Sendai, Japan), Selwyn Ng (NTU, Singapore), Yudai Suzuki (Oyama, Japan) and Patrick Uftring (München, Germany).

The conference aims to honour the legacy of outstanding Polish logicians, particularly those associated with the Lvov-Warsaw School and the Polish Mathematical School. The conference focuses on topics from various areas of logic and its applications, in particular, in the foundations of mathematics, computer science and linguistics. Submissions in the area of philosophy of science are also welcomed. The Congress will feature plenary sessions, sections, and the following workshops:

• 3rd Workshop on Relating Logic (WRL3), org. by Mateusz Klonowski and Jacek Malinowski.

• 1st Workshop on Mechanisms and Causes (WMaC1) org. by Michał Oleksowicz and Mateusz Chwastyk.

• 1st Symposium on the Languages and Logics of Syllogistics (SYLLOS1) org. by Luis Estrada-González and Tomasz Jarmużek.

• 3rd Workshop on Non-Fregean Logics (WNFL3) org. by Dorota Leszczyńska-Jasion and Szymon Chlebowski.

The biennial ECSQARU conferences constitute a major forum for advances in the theory and practice of reasoning under uncertainty, with a focus on bringing symbolic and quantitative aspects together. Contributions come from researchers interested in advancing the scientific knowledge and from practitioners using uncertainty techniques in real-world applications. The scope of the ECSQARU conferences encompasses fundamental issues, representation, inference, learning, and decision making in qualitative and numeric uncertainty paradigms.

The following keynote speakers are already confirmed: Claudia d'Amato (University of Bari, Italy), Vanina Martinez (Artificial Intelligence Research Institute, Spain) and Tommie Meyer (CAIR, University of Cape Town, Source Africa). The first day (Sep 23) is dedicated to a workshop and tutorial programme. A separate call for workshops and tutorials has already been disseminated (see the website for details). A Best Paper Award supported by Springer will be granted at the conference.

The European Conference on Argumentation (ECA) is a biennial pan-European initiative aiming to consolidate and advance research on argumentation. After four successful editions, ECA will be hosted in 2025 by the Warsaw University of Technology, in Warsaw, Poland. We aim to attract scholars on argumentation worldwide from various disciplines, dealing with a range of themes and adopting a variety of approaches.

The special theme of this conference is Argumentation in the Digital Society. The main objective of the conference is to identify the key research areas related to the dynamics of change and development in today's digitised society. There is a need to develop the theoretical tools of argumentation and related disciplines that allow discussion and argument to be founded on trust, charity, and goodwill. The conference aims to explore these topics and ensure a high-quality exchange of research results.

The ECA 2025 summer school organized by Barbara Konat and Leonard Kupś (Faculty of Psychology and Cognitive Sciences) will take place at Adam Mickiewicz University, in Poznań, Poland, before the ECA conference, from 17th to 20th September 2025. The summer school allows Early Career Researchers to explore current methods in the empirical analysis of natural language argumentation. This includes a variety of topics such as formal and informal logic, erotetic logic, computational approaches, conversation and discourse analysis, and experimental methods in psychology with a strong focus on practical, hands-on analysis.

 The conference is concerned with the theory of computability and complexity over real-valued data. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet, present work in progress and exchange ideas and knowledge.

The topics of interest include foundational work on various models and approaches for describing computability and complexity over the real numbers. They also include complexity-theoretic investigations, both foundational and with respect to concrete problems, and new implementations of exact real arithmetic, as well as further developments of already existing software packages. We hope to gain new insights into computability-theoretic aspects of various computational questions from physics and from other fields involving computations over the real numbers.

Invited Speakers: Takako Nemoto (Sendai, Japan), Selwyn Ng (NTU, Singapore), Yudai Suzuki (Oyama, Japan) and Patrick Uftring (München, Germany).

The conference aims to honour the legacy of outstanding Polish logicians, particularly those associated with the Lvov-Warsaw School and the Polish Mathematical School. The conference focuses on topics from various areas of logic and its applications, in particular, in the foundations of mathematics, computer science and linguistics. Submissions in the area of philosophy of science are also welcomed. The Congress will feature plenary sessions, sections, and the following workshops:

• 3rd Workshop on Relating Logic (WRL3), org. by Mateusz Klonowski and Jacek Malinowski.

• 1st Workshop on Mechanisms and Causes (WMaC1) org. by Michał Oleksowicz and Mateusz Chwastyk.

• 1st Symposium on the Languages and Logics of Syllogistics (SYLLOS1) org. by Luis Estrada-González and Tomasz Jarmużek.

• 3rd Workshop on Non-Fregean Logics (WNFL3) org. by Dorota Leszczyńska-Jasion and Szymon Chlebowski.

The biennial ECSQARU conferences constitute a major forum for advances in the theory and practice of reasoning under uncertainty, with a focus on bringing symbolic and quantitative aspects together. Contributions come from researchers interested in advancing the scientific knowledge and from practitioners using uncertainty techniques in real-world applications. The scope of the ECSQARU conferences encompasses fundamental issues, representation, inference, learning, and decision making in qualitative and numeric uncertainty paradigms.

The following keynote speakers are already confirmed: Claudia d'Amato (University of Bari, Italy), Vanina Martinez (Artificial Intelligence Research Institute, Spain) and Tommie Meyer (CAIR, University of Cape Town, Source Africa). The first day (Sep 23) is dedicated to a workshop and tutorial programme. A separate call for workshops and tutorials has already been disseminated (see the website for details). A Best Paper Award supported by Springer will be granted at the conference.

The European Conference on Argumentation (ECA) is a biennial pan-European initiative aiming to consolidate and advance research on argumentation. After four successful editions, ECA will be hosted in 2025 by the Warsaw University of Technology, in Warsaw, Poland. We aim to attract scholars on argumentation worldwide from various disciplines, dealing with a range of themes and adopting a variety of approaches.

The special theme of this conference is Argumentation in the Digital Society. The main objective of the conference is to identify the key research areas related to the dynamics of change and development in today's digitised society. There is a need to develop the theoretical tools of argumentation and related disciplines that allow discussion and argument to be founded on trust, charity, and goodwill. The conference aims to explore these topics and ensure a high-quality exchange of research results.

The ECA 2025 summer school organized by Barbara Konat and Leonard Kupś (Faculty of Psychology and Cognitive Sciences) will take place at Adam Mickiewicz University, in Poznań, Poland, before the ECA conference, from 17th to 20th September 2025. The summer school allows Early Career Researchers to explore current methods in the empirical analysis of natural language argumentation. This includes a variety of topics such as formal and informal logic, erotetic logic, computational approaches, conversation and discourse analysis, and experimental methods in psychology with a strong focus on practical, hands-on analysis.

 The conference is concerned with the theory of computability and complexity over real-valued data. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet, present work in progress and exchange ideas and knowledge.

The topics of interest include foundational work on various models and approaches for describing computability and complexity over the real numbers. They also include complexity-theoretic investigations, both foundational and with respect to concrete problems, and new implementations of exact real arithmetic, as well as further developments of already existing software packages. We hope to gain new insights into computability-theoretic aspects of various computational questions from physics and from other fields involving computations over the real numbers.

Invited Speakers: Takako Nemoto (Sendai, Japan), Selwyn Ng (NTU, Singapore), Yudai Suzuki (Oyama, Japan) and Patrick Uftring (München, Germany).