GandALF 2020 : 11th International Symposium on Games, Automata, Logics, and Formal Verification Brussels, Belgium
|
|||||||||
| Event Date: | September 21, 2020 - September 23, 2020 |
|---|---|
| Abstract Submission Deadline: | June 13, 2020 |
| Submission Deadline: | June 15, 2020 |
| Notification of Acceptance: | July 20, 2020 |
| Camera Ready Version Due: | August 25, 2020 |
About |
|
The Eleventh International Symposium on Games, Automata, Logics, and Formal Verification will be held in Brussels (Belgium) on September 21-23, 2020. This year, GANDALF will be organised together with a workshop on Stochastic Games organised by the GAMENET network (https://gametheorynetwork.com) which will held on September 23-24, 2020. The GAMENET meeting will focus on stochastic games with applications in computer science, economy and mathematics. It will be organised around 6 invited talks of 1 hour by senior researchers of the community and 6 invited talks of 30 minutes by junior researchers of the community. Both events will be hosted by the Université libre de Bruxelles, and the two events will share some invited speakers. We encourage the participation to the two events. |
Call for Papers |
|
The aim of GandALF 2020 is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilisation. |
Summary |
|
GandALF 2020 : 11th International Symposium on Games, Automata, Logics, and Formal Verification will take place in Brussels, Belgium. It’s a 3 days event starting on Sep 21, 2020 (Monday) and will be winded up on Sep 23, 2020 (Wednesday). GandALF 2020 falls under the following areas: COMPUTER SCIENCE, FORMAL METHODS, GAMES, THEORETICAL COMPUTER SCIENCE, etc. Submissions for this Symposium can be made by Jun 15, 2020. Authors can expect the result of submission by Jul 20, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before Aug 25, 2020 to the official website of the Symposium. Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines. Other Details of the GandALF 2020
|
Credits and Sources |
| [1] GandALF 2020 : 11th International Symposium on Games, Automata, Logics, and Formal Verification |
