Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Reminder: Isabelle Workshop at FLoC 2018

Email Gateway (Aug 22 2022 at 17:02):

From: Makarius <makarius@sketis.net>
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

Last updated: Apr 25 2024 at 08:20 UTC