Toggle navigation
VerifyThis
Next Event
Events
Discussion Event (Sept'21)
Discussion Event (June'21)
Discussion Event (Feb'21)
Discussion Event (Nov'20)
Online Event
Call for Presentation
Challenge
Registration
Contributions
Tag Index
MCRL2 (1)
corona (3)
formal model (1)
general (9)
java (1)
scala (1)
MCRL2 (1)
MCRL2 PGP model
September 23, 2019
corona (3)
Next Meeting: 29 September 2021
August 13, 2021
Online Event
April 07, 2020
ETAPS & COVID-19
March 17, 2020
formal model (1)
MCRL2 PGP model
September 23, 2019
general (9)
Next Meeting: 29 September 2021
August 13, 2021
Online Discussion
November 20, 2020
Proceedings for the contributions available
June 26, 2020
Online Event
April 07, 2020
ETAPS & COVID-19
March 17, 2020
MCRL2 PGP model
September 23, 2019
Scala and Java Implementations
September 10, 2019
Event-B Formalisation
September 10, 2019
Challenge start
August 12, 2019
java (1)
Scala and Java Implementations
September 10, 2019
scala (1)
Scala and Java Implementations
September 10, 2019