Meetings/Workshops on Operational research in the Netherlands
Select a location
EXPRESS/SOS 2019 — Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics
26 Aug 2019 - 25 Aug 2019 • Amsterdam, Netherlands
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.
Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events.
Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!
Last updated: 04 February 2019