14-16 Sep 2016
Catania, Italy
CALL FOR PARTICIPATION
GANDALF 2016
The Seventh International Symposium on Games, Automata,
Logics and Formal Verification
Catania, Italy, September 14-16, 2016.
http://gandalf2016.dmi.unict.it <http://gandalf2016.dmi.unict.it/>
-------------------------------------------------------------------------------
Important dates:
================
Early registration deadline: August 21, 2016
Late registration deadline: September 4, 2016
Conference: September 14-16, 2016
-------------------------------------------------------------------------------
Registration is available at:
http://gandalf2016.dmi.unict.it/registration.php <http://gandalf2015.dibris.unige.it/index.php/registration>
GANDALF 2016, the Seventh International Symposium on Games, Automata, Logics
and Formal Verification, will take place in Catania, Italy, September 14-16,
2016, at the Department of Mathematics and Computer Science of the University
of Catania, Italy.
The aim of the symposium is to bring together researchers from academia and
industry which are actively working in the fields of Games, Automata,
Logics, and Formal Verification. The topics covered by the symposium
include, but are not limited to, the following:
Automata Theory
Automated Deduction
Computational aspects of Game Theory
Concurrency and Distributed computation
Decision Procedures
Deductive, Compositional, and Abstraction Techniques for Verification
Finite Model Theory
First-order and Higher-order Logics
Formal Languages
Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems
Games and Automata for Verification
Game Semantics
Logical aspects of Computational Complexity
Logics of Programs
Modal and Temporal Logics
Model Checking
Models of Reactive and Real-Time Systems
Program Analysis and Software Verification
Run-time Verification and Testing
Specification and Verification of Finite and Infinite-state Systems
Synthesis
The program will include invited talks given by:
- Luca Bortolussi (University of Trieste, Italy)
- Joanna Golinska-Pilarek (Institute of Philosophy, University of Warsaw, Poland)
- Arnaud Sangnier (Laboratoire IRIF, Université Paris Diderot, France)
More details on registration and venue are available at the conference site
http://gandalf2016.dmi.unict.it <http://gandalf2016.dmi.unict.it/> .
Looking forward to seeing you in Catania.
The GandALF 2016 Chairs
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam