Julin S (Feb 28 2022 at 13:22): Julin S (Feb 28 2022 at 13:22):Hi. A workshop named 'Machine checked mathemtics' was announced in a discourse post at:
https://coq.discourse.group/t/workshop-machine-checked-mathematics-march-2-4/1565
I guess I am way too late, but is the registration for that still open by any chance?
Does anyone know?
https://www.lorentzcenter.nl/machine-checked-mathematics.html
https://lean-forward.github.io/lorentz-center-meeting/
I couldn't find any mention of a deadline but got a registration closed message.
Julin S (Feb 28 2022 at 13:27):@Assia Mahboubi
Sorry to bother you :grimacing:, but could you tell me if a registration is still possible?
Or is it an invite-only event?
Emilio Jesús Gallego Arias (Feb 28 2022 at 13:50):@Assia Mahboubi related, is there a twitter link we can retweet from CoqLang?
Assia Mahboubi (Feb 28 2022 at 15:31):@Julin S . This is not an invite-only event, but let me ask whether registration is still possible. I will come back to you here if it is the case.
Assia Mahboubi (Feb 28 2022 at 16:19):It seems there isn't for the moment. I guess one should pop up soon on https://twitter.com/lorentzcenter
Last updated: Dec 06 2023 at 13:01 UTC