PhD Defense: Sylvan: Multi-core Decision Diagrams

When: July 13, 2016, 16:30-18:00

Where: Waaier 4

Who: Tom van Dijk

To be announced.