[isabelle] Proof Ground 2021 Call for Participation

Call for Participation

Proof Ground 2021
Interactive Proving Contest
June 28, 2021
at ITP 2021
Interactive Theorem Proving
June 29 - July 2, 2021,  (originally in) Rome, Italy, now fully virtual

This workshop brings together researchers of the ITP community to compete in a "proving contest".

While programming contests (e.g. ACM ICPC, International Olympiad in
Informatics) challenge large numbers of participants to solve
algorithmic problems within a short time, we envision proving contests
to entice proof engineers to formally prove small but interesting
problems from mathematics or computer science.

A contest system [1] is currently used for teaching and hosting proving contests in Coq, Isabelle, and Lean.

Proof Ground 2021 is affiliated with the conference on Interactive Theorem Proving 2021 [2].

As the main conference will happen as virtual conferences due to the ongoing Covid-19 pandemic, Proof Ground 2021 will also take a purely virtual format. The competition itself will be run via the contest system, while the workshop will provide a platform for discussion among the participants.

The first edition of the workshop [3] has been held at ITP 2019 [4]. The second edition [5] was affiliated with IJCAR 2020 [6].

Important Dates

- The registration is now open (https://easyconferences.eu/itp2021/registration/)
- Workshop and Competition:  June 28, 2021


   Maximilian P. L. Haslbeck
   Tobias Nipkow
   Simon Wimmer

[1] https://do.proof.in.tum.de
[2] https://easyconferences.eu/itp2021/
[3] https://www21.in.tum.de/~wimmers/proofground2019/
[4] https://itp19.cecs.pdx.edu/
[5] https://www21.in.tum.de/~wimmers/proofground2020/
[6] https://ijcar2020.org/

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.