Search a Conference through our dedicated search page
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.