Zulip Chat Archive

Stream: general

Topic: IJCAR


view this post on Zulip Jeremy Avigad (Jul 01 2020 at 14:11):

Mario just got a nice shout out in John Harrison's invited IJCAR talk.

view this post on Zulip Johan Commelin (Jul 01 2020 at 14:12):

Isthere a recording?

view this post on Zulip Jeremy Avigad (Jul 01 2020 at 14:14):

Also: "Programmability of a proof assistant is a tremendous boon since these verification challenges often require specialized inference rules not matching off-the-shelf solvers." (The talk was about verifying arithmetic for cryptographic protocols, down to the level of machine code.)

view this post on Zulip Jeremy Avigad (Jul 01 2020 at 14:26):

It's here: https://www.youtube.com/watch?v=lwDMi0SfVzg&list=PLl1dj5prwUJzc1P5_k4GvlUrmwo3OWrUU&index=3&t=0s.

Mario is mentioned towards the end of the talk. The slide says "continuous integration."

view this post on Zulip Sebastian Ullrich (Jul 01 2020 at 14:35):

And again :grinning_face_with_smiling_eyes:

view this post on Zulip Sebastian Ullrich (Jul 01 2020 at 14:38):

One hell of a shout out

view this post on Zulip Reid Barton (Jul 02 2020 at 15:34):

Does someone have the Day 2 youtube playlist link? I just realized I only registered for the workshops.

view this post on Zulip Rob Lewis (Jul 02 2020 at 15:37):

https://www.youtube.com/playlist?list=PLl1dj5prwUJxb7273pa1PlaG6Y9-ek2w7

view this post on Zulip Reid Barton (Jul 02 2020 at 15:38):

Thanks.

view this post on Zulip Rob Lewis (Jul 02 2020 at 15:38):

Is that link private? Should I delete it soon?

view this post on Zulip Reid Barton (Jul 02 2020 at 15:38):

It's unlisted

view this post on Zulip Rob Lewis (Jul 02 2020 at 15:39):

I found the link without logging into anything so I guess it's publicly available!

view this post on Zulip Rob Lewis (Jul 02 2020 at 15:39):

So I'll leave it here for convenience.

view this post on Zulip Reid Barton (Jul 02 2020 at 15:39):

oh ok then

view this post on Zulip Reid Barton (Jul 02 2020 at 15:39):

Great.


Last updated: May 13 2021 at 06:15 UTC