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

Course timetable

The course on "Formal Methods for AI-Based Systems Engineering" is logically split in two parts:

Part 1, taught by Prof. Ivano Salvo, will be covered from February 20, 2023 to April 3, 2023
Part 2, taught by Prof. Toni Mancini, will be covered from April 14, 2023 to May 26, 2023.

Classes and other course activities will normally be held in the following time slots and rooms.

on Mondays, within 17.00 - 19.00 in room S1, building E, floor -1, viale Regina Elena 295 (unique Sapienza Room ID: RM113-E01PINL001)
on Fridays, within 10.00 - 13.00 in room G50, building G, floor 3, viale Regina Elena 295 (unique Sapienza Room ID: RM115-E01P03L001)

The time slots above are those for which the rooms have been booked for the classes, seminars, and other activities of this course. The overall amount of time for which rooms have been booked is higher than the overall duration of the activities envisioned for this course. This allows us flexibility in scheduling each activity.

Hence, although activities will be held within the time slots above, the start/end time of each of them may vary. Please refer to

Prof. Ivano Salvo's web pages for the exact schedule of the lectures of Part 1
The Schedule and log page on this website for the exact schedule of the activities of Part 2.

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