On April 27, 2023 at 14:00 EEST, Andrei Sipoș (University of Bucharest & IMAR & ILDS) will give a talk in the Logic Seminar.
Category: Logic Seminar
Logic Seminar talk: VLSM II
On April 6, 2023 at 14:00 EEST, Denisa Diaconescu (University of Bucharest & Runtime Verification) will give a talk in the Logic Seminar.
Logic Seminar talk: VLSM
On March 30, 2023 at 14:00 EEST, Denisa Diaconescu (University of Bucharest & Runtime Verification) will give a talk in the Logic Seminar.
Logic Seminar talk: Zero-knowledge proofs
On March 16, 2023 at 14:00 EET, Mihai Prunescu (University of Bucharest & IMAR) will give a talk in the Logic Seminar.
Logic Seminar talk: Implementing Program Verification in the 𝕂 Framework
On March 9, 2023 at 14:00 EET, Traian Șerbănuță (University of Bucharest & Runtime Verification) will give a talk in the Logic Seminar.