[Caml-list] FSCD workshops at FLoC

[Caml-list] FSCD workshops at FLoC

[geoff]

@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@

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

----------------------------------------------------------------------------