Accepted Papers

    Here is a tentative program. CONCUR runs August 23-26.

    DAY1


    Shared Memory


    Verification


    Algorithms and Complexity

     

    Welcoming reception, to be determined.


    DAY 2


    Distributed systems

     

    Excursion and dinner at Hôtel Musée Premières Nations, Wendake.

     

    DAY3


    Distances for probabilistic systems


    Categories


    Timed and Parameterized Systems

     


    DAY 4


    Logic


    Probability