  This volume contains the proceedings of the Seventh International Symposium
on Games, Automata, Logic and Formal Verification (GandALF 2016). The symposium
took place in Catania, Italy, from the 14th to the 16th of September 2016. The
proceedings of the symposium contain abstracts of the 3 invited talks and 21
full papers that were accepted after a careful evaluation for presentation at
the conference. The topics of the accepted papers cover algorithmic game
theory, automata theory, synthesis, formal verification, and dynamic, modal and
temporal logics.
