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).
We would like to invite you to submit your abstracts to the Zagreb Logic Conference 2025 (ZLC25).
Topics of interest include: - history of logic - philosophy of logic - higher-order logic - model theory - set theory - proof theory - modal logic - computability and complexity - logic in computer science.
APPSA 2025, in joint collaboration with LMPST Taiwan 2025, is an international forum that brings together scholars from Asia and beyond. These conferences are designed to foster communication and collaboration among scholars working in diverse areas of the philosophy of science, the philosophy of technology, and logic. Featuring keynote talks, contributed talks, and poster sessions, this conference aims to advance the Asian tradition in the philosophy of science, the philosophy of technology, and logic, and support high-quality research in these fields. By promoting rigorous academic exchange and interdisciplinary dialogue, this conference seeks to contribute significantly to the global development of philosophical inquiry and practice.
Keynote Speakers: Michela Massimi, Sabina Leonelli, Timothy Bayne.
We invite submissions of original research papers for presentation at the conference, encouraging contributions that explore innovative perspectives and methodologies within these fields. Authors are invited to submit abstracts of no more than 500 words in English.
Topics of Interest:
- Ethics of Science and Technology
- Metaphysical or Epistemological Aspects of Science and Technology
- Historical or Social Aspects of Science and Technology
- Formal Aspects of Science and Technology (e.g., Logic, Mathematics, and Statistics)
- Other related or interdisciplinary topics
The event The Syntax and Semantics of Formalisations in Philosophy aims to explore the relationship between formal methods and philosophical inquiry, focusing on the challenges, debates, and implications of formalising philosophical concepts.
The conference will feature four keynote talks and eight contributed presentations mainly across three main topics: 1. The Feasibility and Challenges of Formalising Philosophy, 2. Pros and Cons of Using Formalisations in Philosophy, and 3. Conceptual Pluralism and Choosing the Right Formalisation.
We welcome contributions that provide original insights into these and related topics. Historical approaches or comparative studies across different philosophical schools are also encouraged. We invite abstracts of up to 500 words, excluding references, which should clearly present the main argument and its relevance to the conference topics. Submissions will undergo a blind peer-review process.We warmly invite submissions from scholars from underrepresented and minority groups in philosophy.
Machine learning has been shown to be very successful in programming and translation talks, and creates new opportunities combining AI with proofs. Recently, various claims have been made that large language models (LLMs) will revolutionise these areas. However, many questions about the details of the applications of LLMs and their impact on theorem proving and mathematics remain open. At the workshop, we want to bring together researchers from a wide range of communities: mathematics, automated and interactive theorem proving, machine learning, natural language processing, and formal methods, in order to discuss the state-of the art and future directions for this new area of research.
The workshop solicits contributed talks supported by an extended abstract of up to 2 pages in LNCS format, excluding references. Abstracts will be reviewed for relevance and quality and subsequently made public on the workshop’s web page.
UNESCO proclaimed 14 January to be World Logic Day, a global day of supporting the development of logic through teaching and research, as well as to public dissemination of the discipline.
The coordination of World Logic Day 2023 is -- for the 5th time -- in the hands of the Conseil International de Philosophie et des Sciences Humaines (CIPSH) and its member organization, the DLMPST/IUHPST. We would like to encourage logicians all around the world to organize (possibly small) events in close proximity to 14 January 2025 to celebrate this day. We have learned over the last years that online meetings are easier to finance, better for the environment, and considerably more inclusive. So consider both in person and online events. Events will be listed on the CIPSH website.
The Australasian Association for Logic is hosting a Southern Summer Logic Day to celebrate the UNESCO World Logic Day. The event will take place on Zoom, and feature talks by Phokion Kolaitis (Keynote), Rob Goldblatt, Nick Smith, Ed Mares and Valentin Goranko (Keynote).
We are organizing a one-day online workshop to commemorate World Logic Day 2025 (which is actually a day before this event). Registration is free of charge and everybody is welcome to attend.
This series of events began with the theme of foundations in the context of automated theorem proving: What are the chances and problems of the act of formalization in the context of mathematics? After three years on the topic, we have realized that this context is too narrow to understand formalization and thus we have we added a yearly theme (although not all talks are necessarily aligned with it). This year we focus on ethical perspectives: Are there ethical aspects of the practices of formal sciences (including math), which role play formal arguments in politca contexts, what about aspects of ethical AI ...
Speakers: Jordi Fairhurst (UIB), Seunghyun Song (Tilburg University), Robert Naylor (Manchester), Colin Rittberg (Vrije Universiteit Brussels) and Aleksandra Vuèkoviæ (Belgrade).
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).
Can we imagine a world in which computability is built-in into the very fabric of reality? The answer is a resounding yes. However, it took us almost 40 years to get the first detailed picture of such a world. Our speakers will give you a scenic tour around worlds of computability. They will introduce the relevant concepts and discuss the many amazing properties of such worlds. The symposium marks the retirement of Jaap van Oosten and will be conducted in English.
Invited speakers: Andy Pitts (University of Cambridge), Andrej Bauer (University of Ljubljana), Sebastiaan Terwijn (Radboud University) and Jaap van Oosten (Utrecht University),
Join us for the 3rd Amsterdam/Saint-Etienne Workshop on Social Choice on at Science Park in Amsterdam! We will be discussing questions of social choice in all of its many facets, including in particular the perspectives provided by computer science, economics, and political science. Registration is free but required.
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).
We are now welcoming abstracts related to the topic, both research-oriented and more practical presentations.
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 currentlyu nder review. Articles should not exceed 16 pages, excluding references.
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.
SIGNLL invites submissions to the 29th Conference on Computational Natural Language Learning (CoNLL 2025). We welcome work targeting any aspect of language and its computational modeling. Submitted papers must be anonymous and use the same template as the ACL 2025. Submitted papers may consist of up to 8 pages of content plus unlimited space for references. CoNLL 2025 will refuse papers that are currently under submission, or that will be submitted to other meetings or publications, including ACL.
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.
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 conference encourages submissions of high quality, not previously published results on both theoretical issues and practical advancements. FOIS 2025 seeks full-length high-quality papers on three tracks: - Foundational track: for papers that address content-related ontological issues, their formal representation, and their relevance to some aspect of information systems. - Application and Methods track: for papers that address novel systems, methods, and tools related to building, evaluating, or using ontologies, emphasizing the impact of ontology contents. - Domain Ontology track: for papers that describe a novel ontology for a specific realm of interest, clarifying ontological choices against requirements and foundational theory, and showing ontology use.
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.
ECSQARU 2025 will welcome papers on the theory and practice of reasoning under uncertainty.. Submitted papers must be original and not under review in a journal or another venue with formally published proceedings. They will be evaluated by peer reviews based on originality, significance, technical soundness, and clarity of exposition. The reviewing process is single blind. Authors of accepted papers are expected to attend the conference to present their work, at least one author of each paper must register for the conference. Submitted papers must be at most 12 pages (excluding references) in the Springer LNCS/LNAI format.
The International LORI conference series aims at bringing together researchers working on a wide variety of logic-related topics that concern the understanding of rationality and interaction. The series also aims at fostering a view of Logic as an interdisciplinary endeavour, and supports the creation of an East-Asian community of interdisciplinary researchers.
Invited speakers: Zoé Christoff (University of Groningen),Tim French (University of Western Australia), Aybüke Özgün (University of Amsterdam), François Schwarzentruber (ENS Lyon), Marija Slavkovik (University of Bergen) and Hongjun Zhou (Shaanxi Normal University, Xi’an)
We invite submissions of contributed papers to LORI-10 in the broad scope of interdisciplinary themes of the LORI series, spreading over logic, philosophy, AI, computer science, and game theory.
We invite two types of submissions: 1. Regular papers with original, unpublished, and not currently submitted elsewhere contributions, and 2. Short papers (extended abstracts), reporting on ongoing or recently published work.