Italy - 17-18 June 2010
First International Symposium on
Games, Automata, Logics and Formal Verification
Registration will open on May 1st, 2010.
Fill in the registration form, sign and send it by fax: (OpenOffice, Word)
GANDALF 2010 has two registration periods (early and normal) and two registration categories (student and full).
Early registration applies up to May 15th, 2010.
People registering as students will be asked
to prove their status upon arrival.
On site registration fee can be paid only in cash. Notice that for each accepted paper, at least one author must register. Since Minori is a popular vacation resort, we suggest to book your hotel as soon as possible.
- lunches (June 17th and 18th)
- conference partecipation
- electronic copy of conference proceedings
- one copy of printed pre-proceedings
- coffee breaks
- excursion: visit to Ravello (on thursday late afternoon)
- conference banquet, full registration only (on friday evening)
Extra banquet tickets will be available on site at €50 each.