Structural Operational Semantics

25th EXPRESS / 15th SOS 2018: Beijing, China

24th EXPRESS / 14th SOS 2017: Berlin, Germany

23rd EXPRESS / 13th SOS 2016: Québec, Canada

22nd EXPRESS / 12th SOS 2015: Madrid, Spain

21st EXPRESS / 11th SOS 2014: Rome, Italy

20th EXPRESS / 10th SOS 2013: Buenos Aires, Argentina

19th EXPRESS / 9th SOS 2012: Newcastle upon Tyne, UK

8th SOS 2011: Aachen, Germany

7th SOS 2010: Paris, France

6th SOS 2009: Bologna, Italy

maintained by Schloss Dagstuhl LZI at University of Trier