Title | |
07/06/21 | Thomas Neele wins IPA Dissertation Award |
12/06/20 | EATCS best paper award @ ETAPS |
30/12/19 | Three papers at ETAPS |
05/04/19 | Paper at FORTE |
26/01/19 | New mCRL2 Overview Paper Accepted at TACAS |
12/10/18 | Best Paper at FACS! |
04/09/18 | ERTMS-HL3 study receives Best Paper award |
01/09/18 | VOICE-B |
17/08/18 | Yay: Excellent Course Evaluation! |
Copyright © 2018 Tim A.C. Willemse | based on a design by alec gorge