[Hol-info] FM Teaching Tutorial on March 31, 3 pm CEST --> Prof Emil Sekerinski (McMaster University, Canada): Teaching Concurrent Programming

Dear all, The Formal Methods Teaching tutorials series resumes in 2023 with a lecture on Friday, March 31! Prof. Emil Sekerinski (McMaster University, Canada) will lecture on Teaching Concurrent Programming on Friday, March 31, 2023 at 3 pm CEST. An abstract for his talk comes below: The educ

[Hol-info] CFP: 14th International Workshop on the Implementation of Logics

14th International Workshop on the Implementation of Logics https://eprover.org/EVENTS/IWIL-2023.html CALL FOR PAPERS: deadline April 10th, 2023. https://easychair.org/cfp/IWIL2023 The 14th International Workshop on the Implementation of Logics will be held on June 4th, 2023, in conjunction with