>   Computer Science Department   >   Toni Mancini
[login|signup]      [Italiano|English]
Master Programme in Computer Science

Formal Methods in AI-Based Systems Engineering, part 2

 2022/2023 edition

Sapienza course ID: 10607006
Number of credits: 6 (part 2 will roughly account for 3 credits)

Tutor: Dr. Marco Esposito

Schedule and log of classes and other activities

This page describes the exact schedule of each activity during Part 2 and the programme of each of them.

For details about lectures on Part 1 (taught by Prof. Ivano Salvo), please consult Prof. Salvo's web pages.

Friday June 9, 2023 (17:30 - 19:30)

Notice: The students' seminars will be held in "Seminars room", via Salaria 113, 3rd floor.
Agenda:
  • Students' seminar: nuXMV/Spin - Seminar 6
  • Students' seminar: PRISM - Seminar 6

Monday May 29, 2023 (18:00 - 19:30)

Notice: The lecture is postponed with respect to the usual timetable.
Agenda:
  • Students' seminar: nuXMV/Spin - Seminar 5
  • Students' seminar: PRISM - Seminar 5

Monday May 22, 2023 (18:00 - 19:30)

Notice: The lecture is postponed with respect to the usual timetable.
Agenda:
  • Students' seminar: nuSMV/nuXMV - Seminar 4
  • Students' seminar: PRISM - Seminar 4

Monday May 15, 2023 (18:00 - 19:30)

Notice: The lecture is postponed with respect to the usual timetable.
Agenda:
  • Students' seminar: nuSMV - Seminar 3
  • Students' seminar: PRISM - Seminar 3

Monday May 8, 2023 (17:00 - 19:00)

Agenda:
  • Students' seminar: nuSMV - Seminar 2
  • Students' seminar: PRISM - Seminar 2

Friday April 28, 2023 (11:30 - 13:00)

Agenda:
  • Students' seminar: nuSMV - Seminar 1
  • Students' seminar: PRISM - Seminar 1

Monday April 17, 2023 (17:00 - 19:00)

Agenda:
  • Introduction to Part 2
  • Students' projects: assignment

[This web site could never be realised without the sophisticated features of a pure text editor and the extreme power of 220V]