Fagin`s theorem, Turing Machines and Quantum computing Speaker: Yiannis Kiouvrekis (University of Thessaly) Wednesday, March 20, 2024, 18:30 Online via Webex
An introduction to Zero Knowledge Proofs Speaker: Mihai Prunescu (University of Bucharest / IMAR) Wednesday, February 14, 2024, 18:30 Online via Webex
An introduction to argumentation-based proof-event calculus (APEC) Speaker: Sofia Almpani (National Technical University of Athens) Monday, January 22, 2024, 18:30 Online via Webex