[isabelle] Reminder: Isabelle Workshop at FLoC 2018

Dear Isabelle users,

on 13-Jul-2018 at FLoC 2018 in Oxford (UK) we will have our Isabelle
workshop. See also https://sketis.net/isabelle/isabelle-workshop-2018

The deadline for papers is 15-Apr-2018.

Please submit via via Easychair


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