Brussel, Belgium
Events (Conferences or Workshops)
|

No. Title Abbr. Title Location Date Submission Due Date
1 GandALF 2020 11th International Symposium on Games, Automata, Logics, and Formal Verification
(GandALF 2020)
 ()
Brussels, Belgium 2020-09-21
~
2020-09-23
2020-06-15
[Passed]
(Abstract Submission Due Date:
2020-06-13
[Passed])