general 10View allNext Meeting: 24 March 2022 Next Meeting: 29 September 2021 Online Discussion Proceedings for the contributions available Online Event ETAPS & COVID-19 MCRL2 PGP model Event-B Formalisation Scala and Java Implementations Challenge startcasino 5View allFinalisation of the Casino Example Casino-Example #4 Casino Example #3 Casino Example #2 Casino Example #1corona 4View allNext Meeting: 24 March 2022 Next Meeting: 29 September 2021 Online Event ETAPS & COVID-19hagrid 4View allSpecification Language #2 Specification Languages Hagrid Results #2 Hagrid Results #1speclang 2View allSpecification Language #2 Specification Languagesformal-model 1View allMCRL2 PGP modeljava 1View allScala and Java Implementationsmcrl2 1View allMCRL2 PGP modelmemcached 1View allMemcached Online Discussionscala 1View allScala and Java Implementations