[fg-arc] FME Teaching Tutorial on November 28, 2025 @ 10 am CET: Prof Graeme Smith, University of Queensland, Australia, on "Autograding weakest precondition proofs and Dafny specifications"

[Luigia Petre]

Dear all,

We continue our Formal Methods Teaching tutorials series with a lecture on Friday, November 28, at 10 am CET!

Please note the special time - Graeme lives in Australia!

Prof Graeme Smith has worked in Formal Methods for more than 3 decades, with over 130 publications in the area. His book titled “The Object-Z Specification Language”, published in 2000 is extremely well known, cited and applied in telecommunications and the railways sector. His work in real-time embedded systems has found application and significant funding in the defence sector.

Graeme’s main research theme is the application of formal techniques to evaluate the functional correctness and the security of concurrent systems. He has worked as a scientist at several institutions in Germany and France as well as in his native Australia. Currently, Graeme is an Associate Professor of Computer Science at the University of Queensland and Principal Scientist of the Defence Science and Technology Group (Australia).

Graeme is very engaged in teaching Formal Methods as well: he is one of the Formal Methods Teaching committee of FME and one of the authors of a recent paper advocating a desirable form and format for teaching Formal Methods (https://dl.acm.org/doi/full/10.1145/3670419).

In his tutorial, Graeme will explain some advanced evaluation techniques employed in his course “Reasoning about Programs”. This course uses Dafny.

The event will last about an hour.

Warmly welcome!!

Best wishes,
Luigia

PS: for more info, here is the tutorial series webpage: https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/.



__
Luigia Petre, Docent, PhD
Faculty of Science and Engineering
Åbo Akademi University, Finland
www.users.abo.fi/lpetre
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20251121/4a1f5e77/attachment.html>