Workshops

The following workshops will be associated with ITP 2018.

  • Coq Workshop 2018
  • Isabelle Workshop 2018

See also the workshops associated with the other events of the FLoC conference.

Comments are closed