Stream: Proof Ground

Topic: Proof Ground 2021


view this post on Zulip Simon Wimmer (Jun 07 2021 at 12:47):

Hi everyone!

We are/were planning to host another round of Proof Ground at ITP this year (https://www21.in.tum.de/~wimmers/proofground/).
The number of problem submissions was unfortunately zero this year, so we were wondering if there is generally no interest.

Therefore, could those of you who were considering to attend give us a quick heads-up? Also, did anyone register "officially" yet (unfortunately, EasyChair cannot give us the number of registrations for this workshop)?

view this post on Zulip Manuel Eberl (Jun 07 2021 at 12:53):

I was (of course) planning to attend. I could try to come up with some problems if you desperately need them, but that is of course not entirely optimal given that I am a participant. I would not want to invite accusations that my results are due to the problems all being submitted by me. :grinning:

view this post on Zulip Simon Wimmer (Jun 28 2021 at 07:09):

Don't forget that the workshop is starting at 9:30 CEST (in 20 min) and the competition starts at 10:30 CEST!


Last updated: Nov 11 2024 at 01:24 UTC