This report documents the program and the outcomes of Dagstuhl Seminar 15191 "Compositional Verification Methods for Next-Generation Concurrency". The seminar was successful and facilitated a stimulating interchange between the theory and practice of concurrent programming, and thereby laid the ground for the development of compositional verification methods that can scale to handle the realities of next-generation concurrency.
@Article{birkedal_et_al:DagRep.5.5.1, author = {Birkedal, Lars and Dreyer, Derek and Gardner, Philippa and Shao, Zhong}, title = {{Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191)}}, pages = {1--23}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2015}, volume = {5}, number = {5}, editor = {Birkedal, Lars and Dreyer, Derek and Gardner, Philippa and Shao, Zhong}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.5.1}, URN = {urn:nbn:de:0030-drops-53565}, doi = {10.4230/DagRep.5.5.1}, annote = {Keywords: Verification of Concurrent Programs (Models, Logics, Automated Analysis), Concurrent Programming} }
Feedback for Dagstuhl Publishing