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, 2025Aula Seminari – Via Salaria 113, 00198 Roma, 3rd floor / 3° piano

  • 9:00 – 13:00: Basi di Dati II – Prove orali – Sessione 1Aula 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 2Aula 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, 2025Aula 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 theIntelligenza 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)