Teaching: Oral exams and in-depth seminars – July 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
Thursday, July 24th, 2025 – Aula Seminari – Via Salaria 113, 00198 Roma, 3rd floor / 3° piano
- 9:00 – 13:00: Basi di Dati II – Prove orali – Sessione 1 – Aula Seminari – Via Salaria 113, 00198 Roma, 3rd floor / 3° piano (Orari di convocazione individuali)
- 13:00 – 14:00: Lunch break
- 14:00 – 15:30: Students’ seminars in partial fulfilment of the “Formal Methods for AI-based Systems Engineering” exam (Master programme in Computer Science) – Aula Seminari
- Lopata Victor, Hu Siwei. Probabilistic Contract Signing Protocol in PRISM.
- 14:00 – 18:00: Basi di Dati II – Prove orali – Sessione 2 – Aula Riunioni (Orari di convocazione individuali)
- 18:00 – 19:30: Design di applicazioni stand-alone in Python da schema concettuale (RAISE in-depth seminar). Marco Esposito, Toni Mancini
Friday, July 25th, 2025 – Aula Seminari – Via Salaria 113, 00198 Roma, 3rd floor / 3° piano
- 9:00 – 13:00: Basi di Dati II – Prove orali – Sessione 3 (Orari di convocazione individuali)
- 13:00 – 14:00: Lunch break
- 14:00 – 14:30: Students’ seminars in partial fulfilment of the “Intelligenza Artificiale“ exam (Bachelor programme in Computer Science)
- Luca Sforza. IA per la simulazione del ripiegamento proteico mediato da chaperoni nel cancro.
- 14:30 – 18:30: Basi di Dati II – Prove orali – Sessione 4 (Orari di convocazione individuali)
RAISE