The ANU Logic Summer School is an annual event that offers a two week long programme of lectures on modern logic, the foundational discipline of the information sciences. Topics include not only the science of reasoning but also computability theory, type theory and other tools for understanding processes, declarative programming, automatic proof generation, program verification and much more. The school is primarily geared at late undergraduate and masters students, but is open to all, including postgraduate and PhD students, postdocs, and participants from industry.
The school features four introductory courses in the first week, and a series of five lectures covering more advanced topics in the second week. The courses are given by a mix of local, domestic and international speakers.
In each edition of the Responsible Digital Transformations (RDT) Keywords Project, we explore the diverse interpretations of a certain concept or keyword across disciplines. In line with the current RDT campaign theme, this third edition will focus on the concept of 'Creativity' in the age of generative AI.
Speakers:
Dr. Monika Kackovic: Associate Professor FEB and coordinator of the MSc BA Entrepreneurship and Innovation in the Creative Industries (EMCI) program.
Dr. Claudio Celis Bueno: Assistant Professor in New Media and Digital Cultures and co-coordinator of the AI and Cultural Production research group.
Christoph Finkensiep: Assistant Professor in Generative AI in the Arts, and cognitive scientist at the Music Cognition Group.
The afternoon is moderated by Dr. Nanne van Noord, Assistant Professor of Visual Culture and Multimedia in the Multimedia Analytics Lab.
Logic and strategic reasoning play a central role in multi-agent systems. Logic can be used, for instance, to express the agents' abilities, knowledge, and objectives. Strategic reasoning refers to algorithmic methods that allow for developing good behaviour for the agents of the system. At the intersection, we find logics that can express the existence of strategies or equilibria, and can be used to reason about them.
The LAMAS&SR workshop merges two international workshops: LAMAS (Logical Aspects of Multi-Agent Systems), which focuses on all kinds of logical aspects of multi-agent systems from the perspectives of artificial intelligence, computer science, and game theory, and SR (Strategic Reasoning), devoted to all aspects of strategic reasoning in formal methods and artificial intelligence. As such, the LAMAS&SR workshop aims to bring together researchers working on different aspects of either logic or strategic reasoning in computer science, artificial intelligence and multi-agent systems research, both from a theoretical and a practical viewpoint.
In the last decade, the growth of the Internet and other web technologies have driven fast developments of various networking technologies that are be coming primary parts of our daily lives. The wealth of existing algorithms and architectures for parallel and distributed computing combined with the proliferation of future wireless technologies and electronic devices resulted in a fast-growing adoption of future networks and highly decentralized systems. Future networks and distributed systems research is an interdisciplinary research field involving academic researchers in computer science, communication engineering, physics and social and behavioral studies, as well as information technology industry consultants and practitioners to support multiservice, multimedia services convergence, service ubiquity and context awareness, mobility, fixed-mobile convergence, variable connectivity, quality of service, spontaneous and autonomic networking and other capabiliti es.
The 2024 International Conference on Future Networks and Distributed Systems (ICFNDS 2024) aims at addressing advances in research on distributed systems and future networks, covering topics ranging from enabling technologies to emerging applications and industrial experiences. ICFNDS aims to encourage both researchers and practitioners to exchange and share their experiences and recent studies in an interactive atmosphere.
The Dutch Association for Logic (VvL) will hold an in-person joint seminar organized by Eindhoven University. The event is inspired by the departmental logic seminars that are organized at each university, and aims to unify the universities for a collaborative seminar. Besides hosting a main speaker, the seminar will also be the location of the award ceremony of the VvL MSc Thesis Prize winners, who will give a short presentation of their thesis. This year, we will also have a short VvL General Members Meeting, and an optional dinner will follow the event.
Main speaker: Alexandru Baltag (ILLC),
MSc Thesis Prize winners: Aude Corbeel (UvA), Sterre Lutz (UU), Ruben Mud (RUG) and Valentin Müller (UvA).
Paris, Amsterdam, and London host a lively group of young researchers working at the interface of logic, language, and theories of rationality. PALLMYR brings them together.
PALLMYR is a series of yearly meetings taking place alternatively in Amsterdam, Paris, and London. At each PALLMYR meeting, visitors give talks about their current research interests, each presentation being commented by a fellow researcher from the host town. PALLMYR 14 will be held at the ILLC, University of Amsterdam, on Mon 16-Tue 17 December 2024.
The Amsterdam Colloquia aim to bring together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages. The Amsterdam Colloquia are organized by the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.
In addition to the general programme, the 2024 Amsterdam Colloquium will feature two workshops. The Colloquium will also include a poster session, and host one evening lecture by Prof. Angelika Kratzer jointly organized with the E.W. Beth Foundation.
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.
The Brazilian Logic Conference (EBL) is the main event organized by the Brazilian Logic Society (SBL) and has been occurring since 1979. The EBL congregates logicians from different fields and the meeting is an important moment for the Brazilian and South-American community to come together and engage in a discussion about the state of the art of their subject. The areas of Logic covered span Foundations and Philosophy of Science, Mathematics, Computer Science, Informatics, Linguistics, and Artificial Intelligence. The goal of the EBL meeting is to encourage the dissemination and discussion of research papers in Logic in a broad sense. It is expected to have among the participants several invited speakers from different continents.
In 2025, the 21st edition of EBL will be held from May 12 to May 16 at the city of Serra Negra, São Paulo State, preceded by the Logic School from May 9 to May 11 at São Paulo City.
We cordially invite submissions of contributed talks, in the form of an extended abstract, on the general topics of Logic. Proposals for contributions are of three kinds, all of which may be prepared in English, Portuguese or Spanish:
(A) Talks
(B) Poster
(C) Round tables and small workshops
The deadline for all types of submission is December 15, 2024.
The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry requires advanced technologies to address their specification, design, verification, validation, and certification. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, other government agencies, academia, and industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems. The focus of this symposium is on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant critical systems.
Topics of Interest
* Advances in Formal Methods
* Integration of Formal Methods
* Formal Methods in Practice
There are two categories of submissions:
* Regular papers - Up to 15 pages plus references. Regular papers describe fully developed work and complete results.
* Short papers - Up to 6 pages plus references. Short papers describe either novel and publicly available tools, case studies detailing applications of formal methods, or new emerging ideas in the topics of interest.
All papers should be in English and describe original work that has not been published or submitted elsewhere. Authors should use LNCS style formatting. Authors of accepted papers must present their work in person at the conference.
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.
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).
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 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.