Zulip Chat Archive

Stream: general

Topic: Compilers meet Theorem Provers @ ETH Zurich

Tobias Grosser (Sep 05 2018 at 07:48):

Dear Lean Community, we will be having a "Compiler meets Theorem Proving" social @ ETH Zurich next week Thursday.

Tobias Grosser (Sep 05 2018 at 07:49):

lean.pdf.png

Tobias Grosser (Sep 05 2018 at 07:49):

https://www.meetup.com/llvm-compiler-and-code-generation-socials-zurich/events/cbffknyxmbrb/

Tobias Grosser (Sep 05 2018 at 07:50):

With presentations from Johannes Hoelzl, Andreas Lochbihler, and Dmitriy Traytel. Feel very much invited to join in.

Wojciech Nawrocki (Sep 05 2018 at 15:06):

Do you plan to stream or record the presentations? Would be :fire:

Tobias Grosser (Sep 10 2018 at 10:29):

We plan to record the presentations and put them on youtube.

Tobias Grosser (Sep 10 2018 at 10:29):

Btw, we already have 36 registrations. Seems Lean, Johannes, and the other speakers indeed spiked quite some interest.

Tobias Grosser (Sep 17 2018 at 16:50):

The videos are online: https://www.youtube.com/channel/UC64g7nvgO22-2Vg2iI-WDoA

Last updated: Dec 20 2023 at 11:08 UTC