I looked a few times in the past on (https://coq-workshop.gitlab.io/2021/) for information on how to register and since I didn't find any concluded that it was not open as yet. But since it is tomorrow, I guess I concluded wrong and I should have registered via (https://easyconferences.eu/itp2021/registration/) and payed a workshop fee of 30$? Do you think this is still possible today?
Sorry to hear that this was ambiguous. Yes, Registration is handled by EasyConferences and I see no reason why it shouldn't be possible to register today.
Dear organizers, I registered late (yesterday) and would appreciate if you could send the visioconference links again ... Thx
I have the same issue as Pierre ...
Sorry, I just saw this now. I pinged our contact at EC, the links should arrive shortly.
You should have received an Email
Last updated: Oct 03 2023 at 04:02 UTC