Didattica: Esami orali e seminari di approfondimento

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

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

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

• 15:30 – 16:30: Students’ seminars in partial fulfilment of the “Formal Methods in AI-based Systems Engineering” exam (Master programme in Computer Science) – Aula Seminari
  • Robert Li. Verification of CSMA/CA with RTS/CTS.
• 17:00 – 20:00: Basi di Dati II – Prove orali – Sessione 2 – Aula Seminari – Via Salaria 113, 00198 Roma, 3rd floor / 3° piano

Monday, July 27th, 2026 – Aula Seminari – 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

Tuesday, July 28th, 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

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

• 15:00 – 16:00: Students’ seminars in partial fulfilment of the “Formal Methods in AI-based Systems Engineering” exam (Master programme in Computer Science) – Aula Seminari
  • William Tossici. Formal Verification of the Raft Consensus Algorithm.
  • Abdelkareem Jebreel. Formal Verification of Railway Interlocking Control System using Uppaal
• 16:00 – 16:30: Students’ seminars in partial fulfilment of the “Artificial Intelligence” exam (Bachelor programme in Computer Science) – Aula Seminari
  • Ashraf Bawer. Approcci correnti alla pianificazione automatica.