Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification

Details Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification

2011-06-04

arxiv.org/abs/1106.0814v1

EPTCS 54, 2011

Computer Science

Logic in Computer Science

Scientific paper

10.4204/EPTCS.54

This volume contains the Proceedings of the Second International Symposium on Games, Automata, Languages, and Formal Verification (GandALF 2011). The conference was held in Minori (Amalfi Coast, Italy), from the 15th to the 17th of June 2011. The aim of the GandALF Symposium is to provide a forum for researchers from different areas and with different background, that share a common interest in game theory, mathematical logic, automata theory, and their applications to the specification, design, and verification of complex systems. This proceedings contain the abstracts of three invited talks and nineteen regular papers that have been selected through a rigorous reviewing process according to originality, quality, and relevance to the topics of the symposium.

Affiliated with

Also associated with

No associations

Rating

Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-7207