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
Latest News
- June 13th, 2011
- added, in section "Venue", insruction about how to reach the conference venue (Minori Town Hall) from the hotels
- June 8th, 2011
- added section "Enjoying Amalfi coast"
- May 30th, 2011
- the program is on-line
- May 10th, 2011
- registration is open
- May 10th, 2011
- added a list of accommodation proposals
- May 8th, 2011
- added "how to reach" section
- March 10th, 2011
- extended deadlines
- February 10th, 2011
- submission server is now open click here