Zulip Chat Archive

Stream: general

Topic: IJCAR

Jeremy Avigad (Jul 01 2020 at 14:11):

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

Johan Commelin (Jul 01 2020 at 14:12):

Isthere a recording?

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.)

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."

Sebastian Ullrich (Jul 01 2020 at 14:35):

And again :grinning_face_with_smiling_eyes:

Sebastian Ullrich (Jul 01 2020 at 14:38):

One hell of a shout out

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.

Rob Lewis (Jul 02 2020 at 15:37):

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

Reid Barton (Jul 02 2020 at 15:38):

Thanks.

Rob Lewis (Jul 02 2020 at 15:38):

Is that link private? Should I delete it soon?

Reid Barton (Jul 02 2020 at 15:38):

It's unlisted

Rob Lewis (Jul 02 2020 at 15:39):

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

Rob Lewis (Jul 02 2020 at 15:39):

So I'll leave it here for convenience.

Reid Barton (Jul 02 2020 at 15:39):

oh ok then

Reid Barton (Jul 02 2020 at 15:39):

Great.

Last updated: Dec 20 2023 at 11:08 UTC