Stream: Coq Workshop 2021

Topic: Late registrations


view this post on Zulip Michael Soegtrop (Jul 01 2021 at 12:23):

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?

view this post on Zulip Christian Doczkal (Jul 01 2021 at 12:36):

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.

view this post on Zulip Pierre Corbineau (Jul 02 2021 at 05:14):

Dear organizers, I registered late (yesterday) and would appreciate if you could send the visioconference links again ... Thx

view this post on Zulip Michael Soegtrop (Jul 02 2021 at 06:00):

I have the same issue as Pierre ...

view this post on Zulip Christian Doczkal (Jul 02 2021 at 07:21):

Sorry, I just saw this now. I pinged our contact at EC, the links should arrive shortly.

view this post on Zulip Christian Doczkal (Jul 02 2021 at 07:30):

You should have received an Email


Last updated: Aug 11 2022 at 02:03 UTC