This image was acquired from
flickr. It was marked as Public Domain or CC0 and is free to use. To verify, go to the source and check the information there.
Keywords from Image Description:
people portrait indoor Talk title ampquotInferring Nondeterministic Sequential Specifications for Parallelism Correctnessampquot. CC waiver To the extent possible under law waive all copyright and related or neighboring rights to this work. Talk title quotInferring Nondeterministic Sequential Specifications for Parallelism Correctnessquot.