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