Some people have asked if the class is in the same room: yes, same room! See you in a few minutes. --Manuel H
On Tuesday, April 27, 2021 at 22:29:23 (+0200), Manuel Hermenegildo wrote:
Dear all,
this is a gentle reminder that with tomorrow's class we start the second part of the Correctness by Construction course.
In this part the main tool we will be using is Ciao.
I have left relevant information about Ciao on the course web site, including installation instructions and pointers to documentation.
I you can have Ciao installed in your computer for this first class, you can try examples already during the class, but it is not strictly necessary. It will be necessary however to do the exercises and to be able to follow the second and third classes.
Look forward to seeing you tomorrow.
Cheers,
Manuel
--
Manuel Hermenegildo manuel.hermenegildo@imdea.org