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
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