RAISE Teaching: Oral exams and in-depth seminars
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
Tuesday, July 1st, 2025 – Aula Seminari – Via Salaria 113, 00198 Roma, 3rd floor / 3° piano
- 10:00 – 13:00: Basi di Dati II – Prove orali – Sessione 1 (convocazioni individuali)
- 13:00 – 14:30: Lunch break
- 14:30 – 15:30: Students’ seminars in partial fulfilment of the “Formal Methods for AI-based Systems Engineering” exam (Master programme in Computer Science)
- Bastiani Riccardo, Gravilli Niccolò, Stanic Anja. Symbolic Model Checking with NuSMV & nuXmv: SMT-based verification
- 15:30 – 17:00: Basi di Dati II – Prove orali – Sessione 2 (convocazioni individuali)
- 17:00 – 19:30: Design di applicazioni stand-alone in Python da schema concettuale (RAISE in-depth seminar). Marco Esposito, Toni Mancini
Thursday, July 3rd, 2025 – Aula Alfa – Via Salaria 113, 00198 Roma, congress centre area, ground floor / area centro congressi, piano terra
- 9:30 – 11:30: Basi di Dati II – Prove orali – Sessione 3 (convocazioni individuali)
- 11:30 – 13:00: Design di applicazioni stand-alone in Python da schema concettuale (RAISE in-depth seminar). Marco Esposito, Toni Mancini
- 13:00 – 14:30: Lunch break
- 14:30 – 15:30: Students’ seminars in partial fulfilment of the “Formal Methods for AI-based Systems Engineering“ exam (Master programme in Computer Science)
- Capobianco Riccardo, Cordeiro Antonio, Jebreel Adebalkareem Abdallah Adebalkareem, Ronchetti Roberta, Ugolini Lorenzo. Safe and Optimal Adaptive Cruise Control.
- Bastiani Riccardo, Gravilli Niccolò, Stanic Anja. Finite-State Analysis of Space Shuttle Contingency Guidance Requirements.
- 15:30 – 17:30: Design di applicazioni stand-alone in Python da schema concettuale (RAISE in-depth seminar). Marco Esposito, Toni Mancini
- 17:30 – 19:30: Basi di Dati II – Prove orali – Sessione 4 (convocazioni individuali)