Search a Conference through our dedicated search page

EXPRESS/SOS 2019 — Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics

25th August 2019   -   25th August 2019
Amsterdam, Netherlands
https://express-sos2019.cs.ru.nl
Save

Abstract

The EXPRESS/SOS workshop series aims at bringing together researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness of computational models. Invited speakers: Yuxin Deng (East China Normal University, China) - Tom Hirschowitz (CNRS / Savoie Mont Blanc University, France) - Kirstin Peters (TU Berlin, Germany). We invite two types of submissions: * Full papers (up to 15 pages, excluding references) and Short papers (up to 5 pages, excluding references, not included in the workshop proceedings).  We especially welcome contributions bridging the gap between the above topics and neighbouring areas, such as, for instance: - computer security - multi-agent systems - programming languages and formal verification - reversible computation - knowledge representation.