The JURIX conference has provided an international forum for research on the intersection of Artificial Intelligence and Information Systems with Law for decades, under the auspices of the JURIX Foundation for Legal Knowledge Systems.
The purpose of the JURIX conference series is to foster scientific exchange between researchers, practitioners, students, dedicated to exploring recent advancements, challenges, and opportunities of technologies applied to legal and para-legal activities.
Software systems are rapidly becoming more intelligent in the functionality they offer to users. They are also becoming more decentralized, with components that act autonomously and must communicate among themselves or with human users to achieve their goals. Examples of such systems include those in healthcare, disaster management, e-business, and smart grids. A multi-agent perspective is crucial to the proper conceptualization, deployment, and governance of these systems. Rooted in solid computational and software engineering foundations, this perspective offers abstractions such as intelligent agents, protocols, norms, organizations, trust and incentives, among others. As a large, but still growing research field of artificial intelligence, multi-agent systems today remain a unique enabler of interdisciplinary research.
In the light of the rapid development of Generative Artificial Intelligence (GenAI), the GenAI & Creative Practices conference aims to gather together scholars, researchers, and practitioners from around the world to discuss and rethink:
· Creative Practices
· Values and Creative Work
· Scalable Responsible GenAI
· The Future of Creative Work
· The Political Economy of GenAI and Transformation of the Cultural Sector
· Governance and Regulation of GenAI
Hosted by the Association for the Advancement of Artificial Intelligence (AAAI), the Annual AAAI Conference on Artificial Intelligence (AAAI) is one of the oldest and most comprehensive top-tier conferences in the field of AI. At AAAI 2026, a Bridge Program on "Logic & AI" will be featured. This two-day Bridge Program on Logic & AI aims to thoroughly explore and expand the intersection of AI and Logic. It will be a platform for systematic discussion about new applications of various logical methods in AI, with special interest in the logical and symbolic reasoning abilities of LLMs. We hope this Bridge Program will explore various approaches to enhancing the capabilities of LLMs in solving complex logical tasks. In addition, this exploration could serve as a valuable model for integrating neural networks with symbolic methods.
We welcome submissions from a wide range of fields including logic, AI, linguistics, and cognitive science. and topics of interest can be find in our website. We welcome two types of papers: (1)Full papers: Full-length research papers from 4 to 8 pages (excluding references and appendices); (2)Short papers: research/position papers of up to 4 pages (excluding references and appendices). Papers should be submitted in the AAAI format (https://aaai.org/authorkit26-1/). The review process will be single-blinded, and we welcome accepted and published papers. The contributions can be either *non-archival* or published upon the authors' choices. There will be Oral Presentation Awards, Outstanding Paper Awards, and one Best Paper Award for accepted papers with outstanding quality.
The annual ILLC PhD Day is coming up! We look forward to another inspiring day of research and exchange within the ILLC community. The programme will feature presentations and posters by our PhD candidates, as well as opportunities to meet fellow researchers and discuss ongoing work across the four ILLC research units.
All new and senior PhD candidates are invited to present their research by submitting a poster or talk proposal. Due to limited slots, talks will be selected based on submitted abstracts. Please send your abstract (max. one page), clearly indicating whether it is for a post or a talk , by 31 December 2025.
The Zagreb Logic Conference (ZLC) encompasses various branches of logic, such as higher order logic, modal logic, set theory, proof theory, model theory, but also philosophy of logic, history of logic, and applications of logic in computer science, computability and complexity. The venue is the Department of Mathematics, University of Zagreb. Invited speakers: Ivan Tomašić (Queen Mary University of London).
We invite you to submit your abstracts to the fourth edition of the conference. Each talk will be allocated a slot of about half an hour, plus the time for questions and discussion.
Logic and game theory are foundational disciplines that have significantly developed, influencing diverse fields such as computer science, economics, artificial intelligence, and social choice theory. Recent trends highlight innovative applications of logic to model strategic interactions, analyse equilibria, and design systems with rational agents, as well as advancements in game-theoretic reasoning for logic-based systems. This conference aims to bring together researchers to explore the latest research, tools, and applications at the intersection of logic and game theory.
Submissions on any topic related to logic and game theory are welcome.
This year's editions welcomes submissions in two categories: short abstracts and extended abstracts. Both types will be reviewed by the PC. Submissions should be sent by the corresponding author to rtlg2025 at gmail.com specifying the category. At least one author of each accepted paper is expected to attend the workshop and present their work. A proceedings volume of extended abstracts will be published shortly after the workshop.
The workshop's primary goal is to promote awareness, understanding, and collaboration among researchers in philosophical logic and related fields. It emphasises the interaction between philosophical ideas and formal theories.
Registration deadline: 22 March 2026 (AoE)
Abstract submission deadline: 09 December 2025 (AoE)
Full paper submission deadline: 16 December 2025 (AoE)
All submissions should present original works that have not been previously published. Submissions should be written in English and follow the LNCS template (max. 12 pages incl. the reference list, appendixes, acknowledgements, etc.). Submissions should be sent electronically via EasyChair by the corresponding author. It is expected that at least one of the authors will attend the workshop and present the accepted work. After the workshop, selected submissions will be invited to revise and resubmit for the post-conference proceedings, which will be published in the "Logic in Asia" series.
The early-career researchers of the CRC Negation in Language and Beyond (NegLaB) at Goethe University Frankfurt, are organizing Nothing but Negation: Young Researchers' Conference 2026.
The aim of this conference is to provide a dedicated space for junior researchers to explore negation from diverse theoretical and empirical perspectives, ranging from syntax, morphology, and semantics to pragmatics and cognitive science.
Submit your proposals for 30-minute talks (including 10 minutes of discussion) and posters in English. Abstracts should not exceed 300 words (excluding bibliography and max. one page of figures), be anonymized and in PDF format. Use OpenReview to upload your submissions (accessible via the OpenReview home page of the conference).
The Australasian Association for Logic is hosting a Southern Summer Logic Day in celebration of the UNESCO World Logic Day. To register for the event and to obtain a Zoom link, please reach out to Guillermo Badia.
Please note that the starting time in Amsterdam is indeed 00:01 on Wednesday, 14 January 2026.
The 2026 Dutch Winter School on Logic and Verification is a 3.5 day event aimed at PhD/graduate students in theoretical computer science with an interest in software verification, logic, and type theory. Strong master students, as well as researchers and practitioners, are equally welcome. Participants are expected to have a background in theoretical computer science, mathematics or a related discipline at a master’s level, and have basic familiarity with (functional) programming, semantics, and logic.
The winter school is organized as part of the project "Cyclic Structures in Programs and Proofs".
Registration is open. Hotel block booking ends 24 Nov. Early registration ends 7 Dec 2025.
The TYPES meetings are a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming.
We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Participation in the meeting is primarily in person, as face-to-face interactions are highly valuable.
TYPES solicits contributed talks to stimulate discussions. Talks proposing new ways of applying type theory are encouraged. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Selection of those will be based on extended abstracts of 2 pages.
For more information see https://types2026.cse.chalmers.se/call-for-contributions.html.
The Linguistics and English Language Postgraduate Conference is an annual event hosted by the School of Philosophy, Psychology and Language Sciences at the University of Edinburgh, and is open to students and recent graduates from all over the world. The event is held in-person only (no online or hybrid options available).
Postgraduates and recent PG grads are invited to submit abstracts in any subfield of linguistics, philosophy of language, and linguistic anthropology (except language pedagogy) for both oral and poster presentations. The presentations should be accessible to a general linguistics audience.
Talks will be 20 minutes + 10 minutes for questions. Abstracts should be 500 words excluding tables, references, and examples. Use this form to submit your abstracts.
ESSAI is an annual summer school on AI held under the auspices of the European Association for Artificial Intelligence (EurAI). ESSAI is the largest school of broad AI in Europe.
The ESSAI 2026 will offer an intensive 5-day program featuring various AI courses and tutorials. With over 30 lecturers from multiple fields, participants will have the opportunity to engage in 5+ parallel tracks of sessions each day.
Term rewriting is a powerful model of computation that underlies much of declarative programming and which is heavily used in symbolic computation in mathematics, theorem proving, and protocol verification.
The ISR is open to master and PhD students, researchers and practitioners interested in the study of rewriting concepts and their applications. Participants can follow one of two tracks: basic or advance.
IACAP has a long tradition of promoting philosophical dialogue and interdisciplinary research on all aspects of computing. Its members have contributed to the philosophical and ethical debates about computing, information technologies, and artificial intelligence. The 2026 annual conference will continue this tradition by bringing together researchers from various fields who are interested in the topics covered in various tracks.
The International Association for Computing and Philosophy (IACAP) is pleased to put out this call for abstracts for its next conference in 2026.
For submissions, visit the conference website and follow the steps as laid out here: https://www.iacap.org/2025/10/10/iacap-2026-kansas/
This workshop aims to teach participants the fundamentals of higher category theory using the proof assistant Rzk. The participants will learn both the classical point of view and the type theoretic point of view in two lecture series, and, in the exercise sessions, will learn how to use the proof assistant Rzk to prove basic higher categorical results.
Students with some familiarity with homotopy theory, category theory, homotopy type theory, and/or proof assistants who are interested in learning about ∞-categories are particularly encouraged.