Course start by Paolo Baldan - Thursday, 14 March 2024, 10:56 PM Number of replies: 0 Dear students,this is a reminder that the course "Advanced Topics in Computer Science: Probabilistic and Statistical Verification" held by prof. Abate from Oxford University, will start on Monday, March 18, at 8:30 a.m. in room 1BC/50.Best regards Permalink