Email Gateway (Feb 07 2024 at 15:25): Email Gateway (Feb 07 2024 at 15:25):From: Besik Dundua <bdundua@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:
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@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.
Email Gateway (Feb 24 2024 at 04:16):From: Besik Dundua <bdundua@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:
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@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.
Last updated: Apr 29 2024 at 01:08 UTC