Blog
About

4
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Article: found
      Is Open Access

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

      Preprint

      ,

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          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.

          Related collections

          Author and article information

          Journal
          12 September 2019
          Article
          10.4204/EPTCS.305
          1909.05979

          http://arxiv.org/licenses/nonexclusive-distrib/1.0/

          Custom metadata
          EPTCS 305, 2019
          cs.GT cs.FL cs.LO
          EPTCS

          Theoretical computer science

          Comments

          Comment on this article