[isabelle] Isabelle Workshop at FLoC!

A quick reminder: the Isabelle workshop will be in Oxford this year with an impressive programme:


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.