13th International Conference on Quantitative Evaluation of SysTems (QEST 2016)

    14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2016)


    EXPRESS/SOS 2016

    Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics

    Date: 22nd August

    Organizers: Daniel Gebler (VU University Amsterdam), Kirstin Peters (TU Berlin)


    Description: The EXPRESS workshop brings together researchers interested in the expressiveness of formal systems and semantic notions. The SOS workshop is the primary forum for researchers and practitioners working on structural operational semantics of programming languages. The combined EXPRESS/SOS workshop focuses on the formal semantics and expressiveness of concurrent systems, programming concepts and models of computation.


    TRENDS 2016

    The 5th IFIP WG 1.8 Workshop on Trends in Concurrency Theory

    Date: 27th August

    Organizers: Ilaria Castellani (INRIA Sophia Antipolis, France) Mohammad Mousavi (Halmstad University, Sweden)


    Description: TRENDS 2016 is an event organised by IFIP WG 1.8 on Concurrency Theory. It aims at bringing together researchers interested in Concurrency Theory and its applications to exchange ideas and discuss recent trends and open problems.