23 results · clear filters Sort: newest oldest name

1. Proceedings of the Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics, EXPRESS/SOS 2025, and 22nd Workshop on Structural Operational SemanticsAarhus, Denmark, 25th August 2025.
   2025 · Denmark
   Computer and information sciences
   e1211v2
2. Workshop on Structural Operational Semantics (SOS) (SOS)
   series, 22 events, 2004 to 2025
   Computer and information sciences
   s10dg4c
3. Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics, EXPRESS/SOS 2024, and 21st Workshop on Structural Operational SemanticsCalgary, Canada, 9th September 2024.
   2024 · Canada
   Computer and information sciences
   e12116d
4. Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, EXPRESS/SOS 2023, and 20th Workshop on Structural Operational SemanticsAntwerp, Belgium, 18th September 2023.
   2023 · Belgium
   Computer and information sciences
   e1210d0
5. Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, EXPRESS/SOS 2022, Warsaw, Poland, 12th September 2022.
   2022 · Warsaw, Poland
   Computer and information sciences
   e120zv6
6. Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics, EXPRESS/SOS 2021, and 18th Workshop on Structural Operational SemanticsParis, France (online event), 23rd August 2021.
   2021 · France
   Computer and information sciences
   e120yzz
7. Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, EXPRESS/SOS 2020, and 17th Workshop on Structural Operational SemanticsOnline, 31 August 2020.
   2020
   Computer and information sciences
   e120yf0
8. 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
9. 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
10. 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
11. 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
12. 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
13. 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
14. 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
15. 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
16. 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
17. 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
18. Proceedings Sixth Workshop on Structural Operational Semantics, SOS 2009, Bologna, Italy, August 31, 2009. (SOS)
    2009-08-31 · Bologna, Italy
    Computer and information sciences
    e120trh
19. Proceedings of the Fifth Workshop on Structural Operational Semantics, SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008
    2008 · Reykjavík, Iceland
    Computer and information sciences
    e11vkn8
20. Proceedings of the Fourth Workshop on Structural Operational Semantics, SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007
    2007 · Wrocław, Poland
    Computer and information sciences
    e11vkma
21. Proceedings of the Third Workshop on Structural Operational Semantics, SOS 2006, Bonn, Germany, August 26, 2006
    2006 · Bonn, Germany
    Computer and information sciences
    e11vkkc
22. Proceedings of the Second Workshop on Structural Operational Semantics, SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005
    2005 · Lisbon, Portugal
    Computer and information sciences
    e120hck
23. Proceedings of the Workshop on Structural Operational Semantics, SOS 2004, London, UK, August 30, 2004
    2004 · London, United Kingdom
    Computer and information sciences
    e11vkje

As JSON: https://labs.confref.org/api/search?series=s10dg4c