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

09/12/2019
by   Jerome Leroux, et al.
0

This volume contains the proceedings of the Tenth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2019). The symposium took place in Bordeaux, France, from the 2nd to the 3rd of September 2010. The GandALF symposium was established by a group of Italian computer scientists interested in mathematical logic, automata theory, game theory, and their applications to the specification, design, and verification of complex systems. Its aim is to provide a forum where people from different areas, and possibly with different backgrounds, can fruitfully interact. GandALF has a truly international spirit, as witnessed by the composition of the program and steering committee and by the country distribution of the submitted papers.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

09/07/2018

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

This volume contains the proceedings of the Ninth International Symposiu...
09/06/2017

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

This volume contains the proceedings of the Eighth International Symposi...
09/20/2020

Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification

This volume contains the proceedings of the 11th International Symposium...
09/16/2021

Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification

This volume contains the proceedings of the 12th International Symposium...
08/24/2017

Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)

This volume constitutes the pre-proceedings of the 27th International Sy...
03/27/2018

An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata

An experiment is described that confirms the security of a well-studied ...
01/19/2021

Proceedings of the 3rd Annual International Applied Category Theory Conference 2020

The third annual International Applied Category Theory Conference (ACT20...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.