News and Events: MoL and PhD defenses

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.