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 […]
Our group is organizing a new cycle of seminars for the year 2020. The calendar is below. All the meetings will take place in Aula Enzo Paci from 17,00 to 19,00.