[isabelle] Isabelle Workshop at FLoC!



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







This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.