This folder contains the registrations of the classes of the course
"Formal Methods, 2020" I've been forced to take remotely due to the
COVID-19 emergency. A few remarks are in order.

* The recorded classes start from Class #5 which I should have tought
  on 2020.03.20, on CTL. All previous classes were taken regularly and
  as such are not recorded.

* Each file name follows the following naming convention, so that they
  appear in chronological order:
  <CLASS DATE>-<CLASS NUMBER>-<SLIDE CHAPTER>-<INDEX>-<TOPIC>.mp4
  where;
  <CLASS DATE>: YYYY.MM.DD date where the class should have been taken
  <CLASS NUMBER>: index of the class
  <SLIDE CHAPTER>: chapter of slides used in this class
  <INDEX>: progressive index of the recording within the same class
  <TOPIC>: the topic of the recording

* When placing the recording onto a date I've priviledged the idea of
  grouping related topics together than matching the actual duration
  of a class, so that there can be virtual classes which are
  definitely shorter and others definitely longer that the espected
  time slot. (E.g., 2020.03.24 is definitely longer than 2
  hours, whereas 2020.03.26 one is definitely shorther than 3 hours:
  just preted I have switched the time slots).

  In general, however, I use last years' class register as a reference
  so that to guarantee that overall we are keeping the same weekly
  pace as last year.

* For all comments, feedback, questions and clarification requests
  please refer to the forum of the course:

https://didatticaonline.unitn.it/dol/mod/forum/view.php?id=405360