Conferences
13th International Conference on Quantitative Evaluation of SysTems (QEST 2016)
14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2016)
Workshops
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)
URL: http://express-sos2016.cs.vu.nl/
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)
URL: https://concurrency-theory.org/events/workshops/trends
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.