Hi. A workshop named 'Machine checked mathemtics' was announced in a discourse post at:
I guess I am way too late, but is the registration for that still open by any chance?
Does anyone know?
I couldn't find any mention of a deadline but got a registration closed message.
Sorry to bother you :grimacing:, but could you tell me if a registration is still possible?
Or is it an invite-only event?
@Assia Mahboubi related, is there a twitter link we can retweet from CoqLang?
@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.
It seems there isn't for the moment. I guess one should pop up soon on https://twitter.com/lorentzcenter
Last updated: Jun 01 2023 at 11:01 UTC