Proceedings First Symposium on Games, Automata, Logic, and Formal Verification

Computer Science – Computer Science and Game Theory

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

Scientific paper

10.4204/EPTCS.25

This volume contains the Proceedings of the first Symposium on "Games, Automata, Logic, and Formal Verification (GandALF)", held in Minori (Amalfi coast), Italy, 17-18 June 2010. The symposium has been promoted by a number of Italian computer scientists interested in game theory, mathematical logic, automata theory, and their applications to the specification, design, and verification of complex systems. It covers a large spectrum of research topics, ranging from theoretical aspects to concrete applications. Its aim is to provide a forum where people from different areas, and possibly with a different background, can successfully interact. The high-level international profile of the event is witnessed by the composition of the program committee and by the final program.

No associations

LandOfFree

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

Proceedings First Symposium on Games, Automata, Logic, 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 First Symposium on Games, Automata, Logic, and Formal Verification, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Proceedings First Symposium on Games, Automata, Logic, and Formal Verification will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-39325

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.