[Hol-info] FME Tutorial series lecture this week, June 17, at 3 pm CET: Dr Tim Nelson (Brown University, US) on "Building Formal Methods Classes for Everybody"

Dear all, The FME Tutorial series continues! This week we have the pleasure of listening to Dr Tim Nelson's (Brown University, US) lecture on Friday June 17, 2022, at 3 pm CET. His talk is entitled "Building Formal Methods Classes for Everybody". The abstract of Dr Nelson's lecture is here:

[Hol-info] [Vardi-list] FW: FLOC 2022 -- Call For Participation

FLOC 2022: The Eighth Federated Logic Conference (FLoC 2022) July 31 - August 12, 2022, Haifa, Israel EARLY REGISTRATION CLOSED on 20th June 2022. REGULAR REGISTRATION CLOSES on 20th July 2022. ON-SITE REGISTRATION will be possible during the conference. The conference will take place IN