GandALF 2010 Home Page

GandALF 2010

Minori, (Amalfi coast),
Italy - 17-18 June 2010

First International Symposium on
Games, Automata, Logics and Formal Verification

Important Dates: deadline extension

~~Abstract Submission~~	~~March 21, 2010~~
~~Paper Submission~~	~~March 28, 2010~~
~~Paper Submission: extended~~	~~March 31, 2010~~
~~Acceptance Notification~~	~~May 1, 2010~~
~~Final Version~~	~~May 20, 2010~~
~~Conference~~	~~June 17-18, 2010~~