ITP 2023: Call for Workshop and Tutorial Proposals

-------------------------------------------------------------------------------
         Fourteenth Conference on Interactive Theorem Proving ITP 2023
                July 31-August 4, 2023, Bialystok, Poland, 2023
                    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 on the first and last day of 
the conference:
- Monday, July 31, 2023, and
- Friday, August 4, 2022.

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 (Monday or Friday).
- Special technical or AV needs (if any).

All proposals should be submitted by e-mail to: [email protected]. The 
deadline for submitting a proposal is April 12, 2023. Earlier submissions 
are encouraged, and notifications of acceptance will be issued on a 
rolling basis.