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

The exam

Exam description

The exam will be split in two parts:

Exam 1. A written exam covering the programme of Part 1.
Exam 2. Student's project delivered as a series of seminars and other activities as assigned by the professor in charge of Part 2.

Exam 1 can be taken at the end of the lectures of Part 1 (around early April) and in any of the dates below.

Exam 2 can be completed both during the second half of the course period (within May, recommended option) or later.

The exam needs to be completed within a year. Thus, any partial exam completed more than a year in the past is cancelled.

How to book your exam

Exam 1. To take your exam on Part 1 after the course period, please make a reservation on your Infostud. You will find the following exam dates ('appelli') for this course (they will all appear associated to prof. Toni Mancini).
Exam 2. No booking required. The professor in charge of Part 2 will tell you when your activities regarding Exam 2 are completed.

Exam dates

Exam 1 (on Part 1) on Friday 9 June 2023 [expand]

Booking on Infostud

Deadline: Monday 29 May 2023 at 23:59

Date: Friday 9 June 2023 dalle 13:30 at 18:30
Mode: Live
Venue: Rooms located in via Gianturco 2.

Schedule of activities

Thursday 1 June 2023 at 23:59: Students who correctly booked the exam on their Infostud receive via email final info about room and start time of their exam.

Wednesday 7 June 2023 at 23:59: Students have accomplished their tasks to enter the building and to reserve a seat (if any, as dictated by the Sapienza anti-COVID regulation).

Friday 9 June 2023 at 13:20: All students have arrived in the room and have been identified.

Friday 9 June 2023 at 13:30: Beginning of the exam.

Exam 1 (on Part 1) on Tuesday 27 June 2023 [expand]

Booking on Infostud

Deadline: Tuesday 20 June 2023 at 23:59

Date: Tuesday 27 June 2023 dalle 13:30 at 18:30
Mode: Live
Venue: Rooms located in via Gianturco 2.

Schedule of activities

Thursday 22 June 2023 at 23:59: Students who correctly booked the exam on their Infostud receive via email final info about room and start time of their exam.

Sunday 25 June 2023 at 23:59: Students have accomplished their tasks to enter the building and to reserve a seat (if any, as dictated by the Sapienza anti-COVID regulation).

Tuesday 27 June 2023 at 13:20: All students have arrived in the room and have been identified.

Tuesday 27 June 2023 at 13:30: Beginning of the exam.

Exam 1 (on Part 1) on Monday 11 September 2023 [expand]

Booking on Infostud

Deadline: Monday 28 August 2023 at 23:59

Date: Monday 11 September 2023 dalle 13:30 at 18:30
Mode: Live
Venue: Rooms located in via Gianturco 2.

Schedule of activities

Wednesday 30 August 2023 at 23:59: Students who correctly booked the exam on their Infostud receive via email final info about room and start time of their exam.

Saturday 9 September 2023 at 23:59: Students have accomplished their tasks to enter the building and to reserve a seat (if any, as dictated by the Sapienza anti-COVID regulation).

Monday 11 September 2023 at 13:20: All students have arrived in the room and have been identified.

Monday 11 September 2023 at 13:30: Beginning of the exam.

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