• 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 Reachability Analysis SNR 2022
  • 10th Young Researchers Workshop on Concurrency Theory YR CONCUR 2022