GandALF 2010
Minori, (Amalfi coast),
Italy - 17-18 June 2010
First International Symposium on
Games, Automata, Logics and Formal Verification
Latest News
14 june 2010
You can check weather forecasts here.
10 june 2010
The proceedings have been published on the arXiv web site.
10 june 2010
Selected contributions will be invited for a special issue of the
International Journal of Foundations of Computer Science (IJFCS)
(see
http://www.cs.ucsb.edu/~ijfcs/
or
http://www.worldscinet.com/ijfcs/)
9 june 2010
The proceedings have been published on the eptcs web site
Published: 9th June 2010
DOI: 10.4204/EPTCS.25
ISSN: 2075-2180
8 june 2010
Today, or at the latest tomorrow, the EPTCS proceedings will be published
on the arXiv web site.
6 june 2010
When you arrive in Minori, go to the Hotel villa Romana, they will tell
you where to go for your staying (some of you stay at hotel Villa Romana,
others in another hotel and others in a B&B): all places are at a walking distance.
5 june 2010
on Wednsday afternoon June 16 there will be a registration desk at hotel Villa Romana.
If you arrive directly for the conference on Thursday morning June 17, there will
be a registration desk at the conference venue from 8:30 in the morning.