The CoCon Experiment

Andrei Popescu

CoCon (http://www4.in.tum.de/~popescua/rs3/CoCon.html) is a recent conference management system with its document confidentiality verified in the proof assistant Isabelle/HOL. I will discuss our experience with designing, implementing and verifying CoCon, as well as actually deploying it for conferences.

This is joint work with Thomas Bauereiss, Sergey Grebenshchikov, Peter Lammich and Sudeep Kanav.