[Hol-info] FME Teaching Tutorial on January 26, 2024, 3pm CEST: Prof Alcino Cunha, University of Minho, Portugal: Teaching Alloy with Alloy4Fun

Dear all, The Formal Methods Teaching tutorials series starts in 2024 with a lecture on Friday, January 26! Prof Alcino Cunha, University of Minho, Portugal will lecture on his experiences in teaching Alloy with Alloy4Fun on Friday, January 26, 2024 at 3 pm CEST. Alcino uses Alloy4Fun in teach

[Hol-info] Call for Contributions: Workshop on Choreographic Programming @ PLDI 2024

Choreographic Programming: Call for Contributions = First International Workshop on Choreographic Programming co-located with PLDI 2024 One-day event, TBD within 24–28th of June 2024, Copenhagen, Denmark https://pldi24.sigplan.org/home/cp-2024 Im