Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Notable workshops at FLoC 2018

Email Gateway (Aug 22 2022 at 16:48):

From: Makarius <makarius@sketis.net>
Dear Isabelle users,

here are some notable workshops at FLoC 2018:

* Isabelle workshop
http://sketis.net/isabelle/isabelle-workshop-2018

* Workshop on User Interfaces for Theorem Provers (UITP)
http://www.informatik.uni-bremen.de/uitp/uitp2018

* Workshop on Formal Integrated Development Environment (F-IDE)
https://sites.google.com/view/fideworkshop2018

The full list is on http://www.floc2018.org/workshops

Makarius

Last updated: Nov 21 2024 at 12:39 UTC