[TYPES/announce] ITP 2025: Call for workshops
Yannick Forster
yannick.forster at inria.fr
Thu May 22 09:52:57 EDT 2025
-------------------------------------------------------------------------------
16th International Conference on Interactive Theorem Proving - ITP'25
Reykjavik, Iceland, 27 September-3 October 2025
https://urldefense.com/v3/__https://icetcs.github.io/frocos-itp-tableaux25/itp__;!!IBzWLUs!Q6R0c7naJ4Z1GAy3rSjC5YFNOPT0jDCG-YnxJcHCWZqQ-h8ExM8aGrXiqgab4xO0sTMLWKUW6VfaEihqkkWbeUB_dLXXQxmi59IMjqGa5g$
Call for Workshop and Tutorial Proposals
-------------------------------------------------------------------------------
The ITP conference organizers are soliciting proposals for affiliated
workshops and tutorials. Members of the community are invited to submit
proposals on any topic related to interactive theorem proving. Workshops
typically feature presentations of ongoing research that is not ready
yet for formal publication, and tutorials may e.g. present extended
demos of particular software. The ITP organizers encourage a broad
interpretation of the above formats and welcome proposals for any kind
of event that benefits the ITP community.
The workshops and tutorials will take place September 27-28 and October
2-4, with exact dates to be confirmed.
Workshop/tutorial proposals should contain the following data:
- Name of the workshop/tutorial.
- Brief description of the workshop/tutorial, including workshop topics.
- Previous instances of the event (if any).
- Contact information and affiliation of the workshop/tutorial organizers.
- An estimate of the audience size.
- Proposed format of the workshop/tutorial (e.g. regular talks, tool
demos, poster presentations, etc.).
- Duration of the workshop/tutorial (e.g. full-day or half-day) and
the preferred day. We cannot guarantee that preferences can be followed.
- Special technical or AV needs (if any).
All proposals should be submitted by e-mail to:
yannick.forster at inria.fr, ckeller at lmf.cnrs.fr The deadline for
submitting a proposal is June 5, 2025. Earlier submissions are
encouraged, and notifications of acceptance will be issued on a rolling
basis.
More information about the Types-announce
mailing list