Stream: Miscellaneous

Topic: Workshop posted on discourse


view this post on Zulip 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.

view this post on Zulip 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?

view this post on Zulip Emilio Jesús Gallego Arias (Feb 28 2022 at 13:50):

@Assia Mahboubi related, is there a twitter link we can retweet from CoqLang?

view this post on Zulip 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.

view this post on Zulip 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: Aug 19 2022 at 19:03 UTC