On Thursday the 16th of May Jort Bergfeld (ILLC) will defend his PhD thesis
Quantum logics for expressing and proving the correctness of quantum programs
The ceremony will take place at the Agnietenkapel (Oudezijds Voorburgwal 229 – 231) at 10:00. For more information, please contact Jort Bergfeld at jort.bergfeld@gmail.com.