Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.

Search Beta

Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.

22 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. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. Proceedings of the Third Workshop on Structural Operational Semantics, SOS 2006, Bonn, Germany, August 26, 2006
    2006 · Bonn, Germany
    Computer and information sciences
    e11vkkc
  21. 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
  22. 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?kind=event&field=1.2&series=s10dg4c