[Hol-info] FM Teaching Tutorial on April 28, 3 pm CEST: Assoc Prof Stefan Hallerstede (Aarhus University, Denmark): A guide to Not teaching Formal Methods

Dear all, The Formal Methods Teaching tutorials series continues with a lecture on Friday, April 28! Assoc Prof Stefan Hallerstede (Aarhus University, Denmark) will lecture on how NOT to teach Formal Methods on Friday, April 28, 2023 at 3 pm CEST. His talk is based on his experience in

[Hol-info] Call for Papers -- Formal Techniques for Java-Like Programs 2023

== CALL FOR PAPERS FTfJP 2023 25th Workshop on Formal Techniques for Java-like Programs July 18th, 2023, Seattle, WA, USA https://2023.ecoop.org/track/ftfjp-2023 === === Important