Radio and PodcastRadio and PodcastLive Radio & Podcasts
#14: Proof Systems artwork
Technology

#14: Proof Systems

My FLoC Experience by Chris Patuzzo

Jul 12, 201800:04:55Technology

Proof systems aren't as complicated as they sound.

About This Episode

#14: Proof Systems is an episode from My FLoC Experience by Chris Patuzzo. Proof systems aren't as complicated as they sound. The episode was published on Jul 12, 2018 and runs for 00:04:55. Use the player to listen online, then save the ep...

Podcast

This episode belongs to My FLoC Experience.

Listen Online

Use the player on this page to stream the episode online.

Episode Details

Published Jul 12, 2018, 00:04:55 long, audio available.

Related Episodes

Continue listening to more episodes from My FLoC Experience.

#18: Reflections

Jul 15, 2018 - 00:06:51

My last day at FLoC, with an awards ceremony and some final thoughts.

#17: Group Photo

Jul 14, 2018 - 00:06:45

More flavours of SAT, a group photo and a business meeting.

#16: Coffee

Jul 14, 2018 - 00:04:15

This episode is dedicated to my coffee enthusiast friend, Leo Cassarani.

#12: SAT Conference

Jul 12, 2018 - 00:06:21

The first day of the the international SAT conference.

#11: Checkmate in Nine

Jul 9, 2018 - 00:07:12

A last minute change of mind to learn about quantifiable boolean formulae.

#10: The Inside Scoop

Jul 8, 2018 - 00:09:20

A workshop on the pragmatics of SAT and some insider information.