After a successful first talk given by Fabrizio Riguzzi, our Logic Lunch Seminar Series continues! The second talk will be delivered by Roman Kuznets (TU Wien) next Thursday (March 11th) starting at 12:30. Save the date and join us on Zoom at this link! Title: Intuiting Duals of Proofs Abstract: Justification Logic was introduced by Sergei … Continue reading Seminar Announcement (R. Kuznets)