Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification

TL;DR

This collection of conference proceedings from GandALF 2015 presents recent research on algorithms, automata, logic, and formal verification, showcasing advances in theoretical and applied aspects of these fields.

Contribution

It compiles 13 peer-reviewed papers and invited talks, highlighting recent developments and research directions in games, automata, logics, and formal verification.

Findings

Advances in algorithmic game theory

New automata models and their applications

Innovations in formal verification techniques

Abstract

This volume contains the proceedings of the Sixth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2015). The symposium took place in Genoa, Italy, on the 21st and 22nd of September 2015. The proceedings of the symposium contain the abstracts of three invited talks and 13 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, formal verification, and modal and temporal logics.