RAISE Teaching: Oral exams and in-depth seminars – September 2025
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, September 19th, 2025 – Aula Seminari – Via Salaria 113, 00198 Roma, 3rd floor / 3° piano
- 9:00 – 13:00: Basi di Dati II – Prove orali – Sessione 1
- 13:00 – 14:00: Lunch break
- 14:30 – 18:30: Basi di Dati II – Prove orali – Sessione 2
Tuesday, September 23th, 2025 – Aula Seminari – Via Salaria 113, 00198 Roma, 3rd floor / 3° piano
- 10:00 – 13:00: Basi di Dati II – Prove orali – Sessione 3 – Aula Seminari – Via Salaria 113, 00198 Roma, 3rd floor / 3° piano
- 13:00 – 14:00: Lunch break
- 14:00 – 16:30: Basi di Dati II – Prove orali – Sessione 4a – Aula Seminari
- 16:30 – 18:00: Basi di Dati II – Prove orali – Sessione 4b – Aula Riunioni
- 16:30 – 18:30: Students’ seminars in partial fulfilment of the “Formal Methods in AI-based Systems Engineering” exam (Master programme in Computer Science) – Aula Seminari
- Dario Loi. Peterson’s Algorithm for Leader Election in an Asynchronous Unidirectional Ring.
- Riccardo Capobianco. AI agents for marketing.
- Arianna Paolini. Formal Verification of the Mars Pathfinder in SPIN.
Wednesday, July 24th, 2025 – Aula Seminari – 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
- Lorenzo Ugolini. Task Graph Scheduling.
- Sara Lazzaroni. Formal Verification of a PLC Control Scheduler.