Zulip Chat Archive

Stream: general

Topic: Lean 4 tutorial at NASA Formal Methods Conference

Leonardo de Moura (May 23 2022 at 12:45):

Sebastian and I will be presenting a Lean 4 tutorial at the NASA Formal Methods conference tomorrow 2022-05-24T10:15:00-07:00.
The registration is free https://nfm2022.caltech.edu/register

Chris Lovett (May 23 2022 at 22:55):

wow, nice I see your picture here: https://nfm2022.caltech.edu/ are you going to be onsite at caltech? Unfortunately I signed up to attend the Microsoft build conference this week (Tue/Wed/Thur).

Leonardo de Moura (May 23 2022 at 23:14):

No, we will not be physically there. Sebastian and I will be presenting using Zoom.

Henrik Böving (May 24 2022 at 07:54):

Do people that sign up via the form just get a Zoom link via mail at some point :tm: ?

Tomas Skrivan (May 24 2022 at 14:43):

I'm also curious, I didn't get anything yet.

Leonardo de Moura (May 24 2022 at 16:13):

https://nfm2022.caltech.edu/zoom-nfm2022/

Last updated: Dec 20 2023 at 11:08 UTC