Email Gateway (Aug 22 2022 at 17:37): Email Gateway (Aug 22 2022 at 17:37):From: Lawrence Paulson <lp15@cam.ac.uk>
A quick reminder: the Isabelle workshop will be in Oxford this year with an impressive programme:
https://easychair.org/smart-program/FLoC2018/Isabelle-program.html
The last date for early registration is this Wednesday, 6 June. Accommodation is already disappearing rapidly. So sign up quickly!
Larry Paulson
Last updated: Apr 16 2024 at 16:19 UTC