Florian Kamueller invited talk in Birmingham

On April 10th, Florian gave an invited talk at the “Workshop of Automated Reasoning — Bridging the Gap between Theory and Practice”. His talk was titled “Verifying Quantum Protocols using Interactive Theorem Proving”.

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!