GandALF 2011
Second International Symposium on
Games, Automata, Logics and Formal Verification
Minori, (Amalfi coast),
Italy - 15-17 June 2011
Italy - 15-17 June 2011
Second International Symposium on
Games, Automata, Logics and Formal Verification
Registration is open. Click here to register |
Gandalf 2011 will be held in Minori, Amalfi Coast, (Italy), a beautiful town located on the "Costiera Amalfitana", about 11Km north of Salerno and 4Km south of Amalfi.
Previous edition: GandALF 2010
Next edition: GandALF 2012
Important Dates: deadline extension
Abstract Submission |
|
Paper Submission |
|
Acceptance Notification |
|
Final Version | May 15, 2011 |
Conference | June 15-17, 2011 |