[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
https://easychair.org/conferences/?conf=isabelle2018


	Makarius




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