Pith. sign in

REVIEW

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

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1709.01761 v1 pith:NUR2BWYD submitted 2017-09-06 cs.GT cs.FLcs.LO

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

Patricia Bouyer (LSV , CNRS & ENS de Cachan) , Andrea Orlandini (ISTC-CNR , Italy) , Pierluigi San Pietro (DEIB , Politecnico di Milano) This is my paper
classification cs.GT cs.FLcs.LO
keywords symposiumautomatagandalfinternationalverificationdifferenteighthformal
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

This volume contains the proceedings of the Eighth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2017). The symposium took place in Roma, Italy, from the 20th to the 22nd of September 2017. 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.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.