Teaching: Oral exams and in-depth seminars – June 2026

Didattica: Esami orali di "Basi di Dati modulo II", seminari di "Formal Methods for AI-based Systems Engineering" e seminari di approfondimento.

Didattica: Esami orali e seminari di approfondimento

Friday, June 26th, 2026 – Aula Seminari – Via Salaria 113, 00198 Roma, 3rd floor / 3° piano

17:00 – 18:00: Students’ seminars in partial fulfilment of the “Formal Methods in AI-based Systems Engineering” exam (Master programme in Computer Science) – Aula Seminari
- Hu Siwei. Formal Verification of EV Charging Stations.
18:00 – 19:00: Basi di Dati II – Prove orali – Sessione 1 – Aula Seminari – Via Salaria 113, 00198 Roma, 3rd floor / 3° piano
19:00 – 20:00: Students’ seminars in partial fulfilment of the “Formal Methods in AI-based Systems Engineering” exam (Master programme in Computer Science) – Aula Seminari – Via Salaria 113, 00198 Roma, 3rd floor / 3° piano
- Victor Lopata. Data Center TCP – Modeling in PRISM

Wednesday, July 1st, 2026 – Aula Seminari – Via Salaria 113, 00198 Roma, 3rd floor / 3° piano

17:00 – 20:00: Basi di Dati II – Prove orali – Sessione 2 – Aula Seminari – Via Salaria 113, 00198 Roma, 3rd floor / 3° piano

Thursday, July 2nd, 2026 – Aula Seminari & Aula Riunioni – Via Salaria 113, 00198 Roma, 3rd floor / 3° piano

17:00 – 20:00: Basi di Dati II – Prove orali – Sessione 3 – Aula Riunioni – Via Salaria 113, 00198 Roma, 3rd floor / 3° piano
16:30 – 18:00: Students’ seminars in partial fulfilment of the “Formal Methods in AI-based Systems Engineering” exam (Master programme in Computer Science) – Aula Seminari – Via Salaria 113, 00198 Roma, 3rd floor / 3° piano
- William Tossici, Robert Li. Veriﬁcation and Optimization of a PLC Control Schedule.
- Enrico Giordani. Modeling and Verification of Chess Game Using NuSMV

Wednesday, July 3rd, 2026 – Aula Seminari – Via Salaria 113, 00198 Roma, 3rd floor / 3° piano

17:00 – 20:00: Basi di Dati II – Prove orali – Sessione 4 – Aula Seminari – Via Salaria 113, 00198 Roma, 3rd floor / 3° piano