Zulip Chat Archive

Stream: general

Topic: Formal Methods in Mathematics / Lean Together 2020

Jeremy Avigad (Oct 16 2019 at 12:05):

I'd like to remind everyone that Rob Lewis and I are organizing a meeting at Carnegie Mellon from Monday, January 6 to Friday, January 10: http://www.andrew.cmu.edu/user/avigad/meetings/fomm2020/. Monday to Wednesday will feature invited speakers on a range of topics (with a break on Wednesday afternoon), and Thursday and Friday will be a Lean workshop.

Rob and I are starting to think about how to block out the time for Thursday and Friday. Here are some things we want to fit in:
- A presentation on Lean 4 from Sebastian Ullrich and a subsequent discussion.
- A discussion of plans for mathlib, as well as infrastructure and tools for maintaining it.
- A discussion of the Formal Abstracts project.
- Short, informal presentations of recent work and work in progress.
If any of you have other suggestions for things we should budget time for, please let us know.

Chris B (Oct 20 2019 at 16:24):

Is there any possibility of a recording/stream?

Rob Lewis (Oct 20 2019 at 16:43):

Yes, we should have both live streaming and recording, assuming the technology works.

Rob Lewis (Jan 06 2020 at 14:20):

FoMM / Lean Together 2020 is starting soon! We have a Zulip stream specifically for the workshop, but I wanted to post a public reminder.

Rob Lewis (Jan 06 2020 at 14:20):

Talks will stream via Zoom, with links here: http://www.andrew.cmu.edu/user/avigad/meetings/fomm2020/schedule.html

Rob Lewis (Jan 06 2020 at 14:21):

And we'll record them and put them on YouTube afterward.

Andrew Ashworth (Jan 06 2020 at 14:51):

Is it just me, or are the slides being washed out by the lighting?

Rob Lewis (Jan 06 2020 at 14:52):

See the chat in the FoMM/Lean Together stream. We're having A/V issues but they should be fixed later this morning.

Rob Lewis (Jan 06 2020 at 14:52):

We can't move or zoom the camera at all.

Rob Lewis (Jan 16 2020 at 15:47):

Recordings of the talks from FoMM/LT2020 are now on YouTube: https://www.youtube.com/playlist?list=PLlF-CfQhukNkWwZt45vkNfWfuO-tBBqPN

Rob Lewis (Jan 16 2020 at 15:48):

Please let us know if there are any issues with the videos. The screens aren't really visible, unfortunately, but each video has a link to the presenter's slides.

Kevin Buzzard (Jan 16 2020 at 15:52):

Many thanks Rob!

Kevin Buzzard (Jan 16 2020 at 15:53):

Is there a direct link to the videos?

Rob Lewis (Jan 16 2020 at 15:54):

Er, yes, I pasted the wrong link. Fixed.

Kevin Buzzard (Jan 16 2020 at 15:55):

Google actually found it for me and I just came back to post ;-)

Jeremy Avigad (Jan 16 2020 at 16:29):

We have also finalized the web pages:
http://www.andrew.cmu.edu/user/avigad/meetings/fomm2020
There are links to the talks, and also a couple of group photos at the bottom of the participants page.

Patrick Massot (Jan 16 2020 at 16:30):

I sent Rob the other files I used (graphs and Lean) but I can't find them on the web page.

Jeremy Avigad (Jan 16 2020 at 16:32):

Oops, that was my mistake. I'll add them now.

Jeremy Avigad (Jan 16 2020 at 16:41):

@Patrick Massot They are up now. Let me know if they look ok.

Patrick Massot (Jan 16 2020 at 16:44):

Yes, thanks!

Last updated: Dec 20 2023 at 11:08 UTC