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)?
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:
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: Dec 07 2023 at 16:21 UTC