A call for papers, with abstract submission deadline of 21 March 2010 and paper submission deadline of 28 March 2010, has been issued for GandALF 2010: The First International Symposium on Games, Automata, Logics, and Formal Verification, to be held 17-18 June 2010 in Minori, Italy.
Papers are invited on the following topics:
Logical aspects of Computational Complexity
Concurrency and Distributed computation
Deductive, Compositional, and… [read post