@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
GaLoP: Games for Logic and Programming Languages GALOP is an international workshop on formal models for program interaction. It has a broad interest, in both the foundational aspects of these models as well as their practical applications. FULL INFORMATION AT: https://galop-2026.lacl.fr/ - submission deadline: 6 May 2026 - what to submit: an abstract up to 2 pages, describing a talk - notification: 26 May 2026 @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ ITRS: Intersection Types and Related Systems The ITRS 2026 workshop aims to bring together researchers working on both the theory and practical applications of systems based on intersection types and related approaches. FULL INFORMATION AT: https://itrs2026.tu-dortmund.de/ - submission deadline: 15 May 2026 - what to submit: 3-5 pages, excluding bibliography - notification: 29 May 2026 @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ IWC: International Workshop on Confluence IWC seeks to provide a forum for researchers interested in the topic of confluence to exchange and share new developments in the field. The workshop will enable discussion on theoretical results, new problems, applications, implementations and benchmarks, and share the current state-of-the-art on the development of confluence tools. FULL INFORMATION AT: https://iwc2026.github.io/ - submission deadline: 20 April 2026 - what to submit: extended abstract or short paper of at most 5 pages - notification: 26 May 2026 @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ LSFA: Logical and Semantic Frameworks, with Applications Logical and semantic frameworks are formal languages that represent logics and languages, as well as computational, AI and deductive systems. The LSFA series is a platform that fosters collaboration, bringing together theoreticians and practitioners. FULL INFORMATION AT: https://lsfa-workshop.github.io/2026/ - abstract deadline: 30 March 2026 - submission deadline: 4 April 2026 - what to submit: full paper of at most 16 pages - notification: 4 May 2026 @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ LFMTP: Logical Frameworks and Meta Languages: Theory and Practice This workshop will bring together designers, implementors and practitioners to discuss various aspects impinging on the structure and utility of logical frameworks, including the treatment of variable binding, inductive and co-inductive reasoning techniques and the expressiveness and lucidity of the reasoning process. FULL INFORMATION AT: https://lfmtp.github.io/lfmtp-page/workshops/2026/ - abstract deadline: 21 April 2026 - submission deadline: 28 April 2026 - what to submit: full papers (at most 15 pages), system descriptions (at most 10 pages) and work in progress reports (at most 8 pages) - notification: 29 May 2026 @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ TGD: Tribute to Gilles Dowek ---------------------------------------------------------------------------- Call for talk proposals Tribute to Gilles Dowek July 18, 2026, Lisbon, Portugal https://deducteam.gitlabpages.inria.fr/tribute-to-gilles/ ---------------------------------------------------------------------------- This workshop aims at celebrating Gilles Dowek's influence in logic and computer science. We welcome short or long talk proposals on the connections between logic, computation, and possibly physical theories, reviews of work done by Gilles or with him, or of results obtained thanks to Gilles' influence or related to Gilles' work. Topics include, but are not limited to, logical frameworks, proof systems interoperability, ecumenical proof libraries, automated deduction, quantum programming languages, and physics-inspired models of computation. - Submission website: https://submissions.floc26.org/tgd - Submission deadline: 3 May 2026 - Notification: 15 May 2026 ---------------------------------------------------------------------------- _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
