Call

Rector's Decree n. 1711/2022 of 16.11.2022

Project

Formal Verification of Declarative Distributed Systems

Deadline for sending applications and publications

16.02.2023 at 12:00 PM (noon)

Selection Board: decree of appointment

Rector's Decree n. 361/2023 of 21.02.2023

Approval of documents

Rector's Decree n. 727/2023 of 27.04.2023

The first of the ranking list

Francesco Di Cosmo

Number applications