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]) |
