Doctor Daco Harkes
Date: Wed, March 27, 2019
Time: 12:00
Room: TBA
Previous:
Daco Harkes | Declarative Specification of Information System Data Models and Business Logic
Next:
Sung-Shik Jongmans | Distributed programming using role-parametric session types in Go