• 29th Expressiveness in Concurrency / 19th Structural Operational Semantics: Express / SOS 2022
  • 11th IFIP WG 1.8 Workshop on Trends in Concurrency Theory TRENDS 2022
  • 8th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT SNR 2022
  • 10th Young Researchers Workshop on Concurrency Theory YR CONCUR 2022