Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

16 May 2019, PhD Defense, J. Bergfeld

Candidate: J. Bergfeld
Title: Quantum logics for expressing and proving the correctness of quantum programs
Date: Thursday 16 May 2019
Time: 10:00
Location: Agnietenkapel, Oudezijds Voorburgwal 229 - 231 - 1012 EZ Amsterdam.
Promotor: S.J.L. Smets
Copromotor: J. Sack
For more information, contact Jort Bergfeld at .

Please note that this newsitem has been archived, and may contain outdated information or links.