11 results · clear filters Sort: newest oldest name

1. Workshop on Structural Operational Semantics (SOS) (SOS)
   series, 22 events, 2004 to 2025
   Computer and information sciences
   s10dg4c
2. Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, EXPRESS/SOS 2019, Amsterdam, The Netherlands, 26th August 2019. (EXPRESS, SOS)
   2019-01-01 · Kingdom of the Netherlands
   Computer and information sciences
   e120xta
3. Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018. (EXPRESS, SOS)
   2018-09-03 · Beijing, People's Republic of China
   Computer and information sciences
   e120x2v
4. Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017, Berlin, Germany, 4th September 2017. (EXPRESS, SOS)
   2017-01-01 · Berlin, Germany
   Computer and information sciences
   e120wks
5. Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, EXPRESS/SOS 2016, Québec City, Canada, 22nd August 2016. (EXPRESS, SOS)
   2016-01-01 · Quebec City, Canada
   Computer and information sciences
   e120vse
6. Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, EXPRESS/SOS 2015, Madrid, Spain, 31st August 2015. (EXPRESS, SOS)
   2015-01-01 · Madrid, Spain
   Computer and information sciences
   e120v1z
7. Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, EXPRESS 2014, and 11th Workshop on Structural Operational Semantics, SOS 2014, Rome, Italy, 1st September 2014. (EXPRESS, SOS)
   2014-01-01 · Rome, Italy
   Computer and information sciences
   e120t8j
8. Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, EXPRESS/SOS 2013, Buenos Aires, Argentina, 26th August, 2013. (EXPRESS, SOS)
   2013-01-01 · Buenos Aires, Argentina
   Computer and information sciences
   e120scb
9. Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, EXPRESS/SOS 2012, Newcastle upon Tyne, UK, September 3, 2012. (EXPRESS, SOS)
   2012-09-03 · Newcastle upon Tyne, United Kingdom
   Computer and information sciences
   e1212zs
10. Proceedings Eight Workshop on Structural Operational Semantics 2011, SOS 2011, Aachen, Germany, 5th September 2011. (SOS)
    2011-01-01 · Aachen, Germany
    Computer and information sciences
    e1212gq
11. Proceedings Seventh Workshop on Structural Operational Semantics, SOS 2010, Paris, France, 30 August 2010. (SOS)
    2010-08-30 · Paris, France
    Computer and information sciences
    e120yc6

As JSON: https://labs.confref.org/api/search?series=s10dg4c&from=2010&to=2019