Abbrevation
GandALF
City
Napoli
Country
Italy
Deadline Paper
Start Date
End Date
Abstract

The aim of the symposium is to bring together researchers from academia<br>and industry which are actively working in the fields of Games, Automata,<br>Logics, and Formal Verification&#046; The idea is to cover an ample spectrum of<br>themes, ranging from theory to applications, and stimulate<br>cross&#8211;fertilization&#046; Papers focused on formal methods are especially<br>welcome&#046; Authors are invited to submit original research or tool papers on<br>all relevant topics in these areas&#046;<br>Papers discussing new ideas that are at an early stage of development are<br>also welcome&#046;<br>LIST OF TOPICS<br>The topics covered by the conference include, but are not limited to, the<br>following:<br>Automata Theory<br>Automated Deduction<br>Computational aspects of Game Theory<br>Concurrency and Distributed computation<br>Decision Procedures<br>Deductive, Compositional, and Abstraction Techniques for Verification<br>Finite Model Theory<br>First&#8211;order and Higher&#8211;order Logics<br>Formal Languages<br>Formal Methods for Complex Systems (e&#046;g&#046;, Interactive Systems, Systems<br>Biology)<br>Games and Automata for Verification<br>Game Semantics<br>Hybrid, Embedded, and Mobile Systems Verification<br>Logical aspects of Computational Complexity<br>Logics of Programs<br>Modal and Temporal Logics<br>Model Checking<br>Models of Reactive and Real&#8211;Time Systems<br>Program Analysis and Software Verification<br>Run&#8211;time Verification and Testing<br>Specification and Verification of Finite and Infinite&#8211;state Systems<br>Synthesis<br>