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

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 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

[TYPES/announce] IEEE CSF 2024: Call for Workshops

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === IEEE CSF 2024: Call for Workshops === The 37th IEEE Computer