GandALF 2014

Fifth International Symposium on Games, Automata, Logics and Formal Verification - Verona, Italy

Instructions for Speakers

A PC with data projection facilities and internet access is available at the speakers’ podium.

We are assuming that all presenters will want to display slides:

  • in Microsoft Powerpoint, OpenOffice/LibreOffice Impress or PDF format;
  • loaded from a memory stick or CD.

Presenters should let Gabriele Pozzani (gabriele.pozzani at univr.it) know if this is not the case.

It will also be possible for presenters to project from their own laptops. (But, please, have some “Plan B” available just in case!)

Access to Internet via Wireless LAN (including Remote Desktop and SSH) will be available.

GandALF 2014 © 2014 Frontier Theme