2nd edition: VCLA Student Awards
The highly successful second edition of the VCLA International Student Awards was concluded on April 16, 2016. Click here for more information and photos.
Tom van Dijk
Workers in forests: developments in parallel decision diagrams
Joseph Sifakis
Rigorous System Design in BIP