Structural Operational Semantics

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

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

22. EXPRESS / 12. SOS 2015: Madrid, Spain

21. EXPRESS / 11. SOS 2014: Rome, Italy

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

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

8. SOS 2011: Aachen, Germany

7. SOS 2010: Paris, France

6. SOS 2009: Bologna, Italy

maintained by Schloss Dagstuhl LZI at University of Trier