The Coq mailing list

[Besik Dundua <bdundua AT gmail.com>]

                 -------------------------------------------------------------------------------
          Fifteenth Conference on Interactive Theorem Proving ITP 2024
                      September 9-14, 2024, Tbilisi, Georgia
                      https://www.viam.science.tsu.ge/itp2024/
                     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 13-14 September (last two days of the conference).
 
 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.
 - Special technical or AV needs (if any).

 All proposals should be submitted by e-mail to:bdundua AT gmail.com.
 The deadline for submitting a proposal is March 5, 2024.
 Earlier submissions are encouraged, and notifications of acceptance will be
 issued on a rolling basis.