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

09/20/2020
by   Jean-François Raskin, et al.
0

This volume contains the proceedings of the 11th International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2020). The symposium took place as a fully online event on September 21-22, 2020. 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

Authors

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/07/2018

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

This volume contains the proceedings of the Ninth International Symposiu...
09/12/2019

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

This volume contains the proceedings of the Tenth International Symposiu...
09/16/2021

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

This volume contains the proceedings of the 12th International Symposium...
01/19/2021

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

The third annual International Applied Category Theory Conference (ACT20...
09/09/2021

Proceedings 18th International Conference on Quantum Physics and Logic

This volume contains the proceedings of the 18th International Conferenc...
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 ...
This week in AI

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