Logic of Non Monotonic Interactive Proofs

Speaker: 
Subject: 
Lecture Series / Conference / Course : 
Youtube-url: 
https://youtu.be/QUxshXaBU2g
Date: 
Friday, January 11, 2013