The Research Institute partially funded and organised informal concurrency verification workshop at POPL (Principles of Programming Languages) 2014.
![Loading Events](http://verificationinstitute.org/wp-content/plugins/the-events-calendar/src/resources/images/tribe-loading.gif)
- This event has passed.
The Research Institute partially funded and organised informal concurrency verification workshop at POPL (Principles of Programming Languages) 2014.