CoCon is a conference management system with confidentiality verified in the Isabelle theorem prover. It is being developed as a joint project between the Technical University of Munich and Middlesex. CoCon has just been successfully used for managing the paper submission and reviewing process at the TABLEAUX 2015 conference.

This entry was posted in Uncategorized. Bookmark the permalink.

Leave a Reply

Your email address will not be published. Required fields are marked *

Note: If you are replying to another commenter, click the "Reply to {NAME} ↵" button under their comment!