[ecoop-info] Teaching tutorial this Friday Dec 10, at 9 am CET: Software Verification with Whiley, David Pearce

Luigia Petre Luigia.Petre at abo.fi
Wed Dec 8 09:39:35 CET 2021

Dear all,

In the FME Teaching Committee series of tutorials, we continue on Friday,
December 3rd, with Assoc. Prof. David Pearce, who will present his experiences
of teaching software verification with Whiley. Please note the special time
(9am CET) - David lives in New Zealand and is 12h ahead of CET, so for him the
talk is at 9 pm.

Here is the info in our webpages:

And here is the zoom link: https://aboakademi.zoom.us/j/64254430116

Everyone welcome!

Kind regards,
Luigia Petre (on behalf of the FME Teaching Committee)

More information about the ecoop-info mailing list