Toggle navigation
CONCUR
Conference Description
Committees
Contact
Previous Editions
Call For Papers
Accepted Papers
Proceedings
Workshops
EXPRESS/SOS
MeMo (canceled)
RADICAL
TRENDS
YR-CONCUR
Program
Overview
Detailed
Slides
Registration and Venue
Venue
Registration
Social Event
Accomodation
Travel Information
Contact
Probabilistic Programming
Hongseok Yang
Graphical Linear Algebra: a specification language for linear algebra
Pawel Sobocinski
Forward Progress on GPU Concurrency
Alastair Donaldson
Randomized Algorithms for Concurrency Testing
Madan Musuvathi
An introduction to weak memory consistency and the out-of-thin-air problem
Viktor Vafeiadis
Admissibility in Games with Imperfect Information
Jean-François Raskin