Stream: Announcements

Topic: Proof Ground 2021


view this post on Zulip Simon Wimmer (Jun 18 2021 at 13:01):

Call for participation


Proof Ground 2021
Interactive Proving Contest
June 28, 2021
https://www21.in.tum.de/~wimmers/proofground/


at ITP 2021
Interactive Theorem Proving
June 29 - July 2, 2021, (originally in) Rome, Italy, now fully virtual
https://easyconferences.eu/itp2021/


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 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.

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 has been held at ITP 2019. The second edition was affiliated with IJCAR 2020.

Important Dates

Organizers

Maximilian P. L. Haslbeck
Tobias Nipkow
Simon Wimmer

view this post on Zulip Manuel Eberl (Jun 18 2021 at 13:05):

I registered for ITP (including workshops), do I have to do anything to indicate that I will participate in Proof Ground specifically?

view this post on Zulip Simon Wimmer (Jun 18 2021 at 13:17):

Manuel Eberl said:

I registered for ITP (including workshops), do I have to do anything to indicate that I will participate in Proof Ground specifically?

No, that should be alright.

view this post on Zulip Jakub Kądziołka (Jun 18 2021 at 14:22):

Am I reading this right that you need to pay a fee to participate?

view this post on Zulip Simon Wimmer (Jun 19 2021 at 09:51):

(deleted)


Last updated: Dec 05 2021 at 22:18 UTC