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.

Questions About This Episode

What is #14: Proof Systems about?

Proof systems aren't as complicated as they sound.

Where can I listen to #14: Proof Systems?

You can listen to #14: Proof Systems online on Radio and Podcast. Open the player on this page to stream the available audio.

Which podcast is #14: Proof Systems from?

#14: Proof Systems is an episode from My FLoC Experience by Chris Patuzzo.

How long is this episode?

This episode is 00:04:55 long.

When was this episode published?

This episode was published on Jul 12, 2018.

Can I save #14: Proof Systems for later?

Yes. Use the heart button on the episode page to add it to your favorite episodes list.

Are there related episodes from My FLoC Experience?

Yes. This page shows related episodes from My FLoC Experience when more episodes are available from the podcast feed.

Quick Answers About This Episode

Where can I listen to #14: Proof Systems?

You can listen to #14: Proof Systems on this page when the episode audio is available from the podcast feed.

Which podcast is this episode from?

#14: Proof Systems is from My FLoC Experience by Chris Patuzzo.

What are the episode details?

Published Jul 12, 2018 and 00:04:55 long