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