Workshops
The conference is co-located with the following events, all taking place on Monday: One tutorial is also part of the conference, scheduled for the whole day on Monday:- Contract Specification and Checking: Application to .NET and C by Shuvendru Lahiri und Francesco Logozzo (Microsoft Research)