[ecoop-info] GandALF 2015: Call for Participation

Giorgio Delzanno giorgio.delzanno at unige.it
Sat Aug 29 07:23:23 CEST 2015


(Apologies for multiple copies of this message)
************************************************************
*****************************

CALL FOR PARTICIPATION

The Sixth International Symposium on Games, Automata, Logics and Formal
Verification

Genoa, Italy, September 21,22.
Web page: http://gandalf2015.dibris.unige.it

The Early Registration deadline is extended to  September  4, 2015.

Registration is available at:
http://gandalf2015.dibris.unige.it/index.php/registration

Topics of Interest

The aim of the symposium is to bring together researchers from academia and
industry which are actively working in the fields of Games, Automata,
Logics, and Formal Verification. The topics covered by the conference
include, but are not limited to, the following:

Automata Theory
Automated Deduction
Computational aspects of Game Theory
Concurrency and Distributed computation
Decision Procedures
Deductive, Compositional, and Abstraction Techniques for Verification
Finite Model Theory
First-order and Higher-order Logics
Formal Languages
Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems
Games and Automata for Verification
Game Semantics
Logical aspects of Computational Complexity
Logics of Programs
Modal and Temporal Logics
Model Checking
Models of Reactive and Real-Time Systems
Program Analysis and Software Verification
Run-time Verification and Testing
Specification and Verification of Finite and Infinite-state Systems
Synthesis

Proceedings

The proceedings will be published by Electronic Proceedings in Theoretical
Computer Science. Authors of the best papers will be invited to submit a
revised version of their work to an special issue of Acta Informatica.
Selected papers from previous editions appeared in special issues of the
International Journal of Foundation of Computer Science (GandALF 2010),
Theoretical Computer Science (GandALF 2011 and 2012), and Information and
Computation (GandALF 2013 and 2014).

Invited Speakers

Viktor Vafeiadis - MPI-SWS
Sven Schewe - University of Liverpool
Nathalie Bertrand - Inria Rennes

Program Committee

Parosh Aziz Abdulla, Univ. of Uppsala Sweden
Ahmed Bouajjani, LIAFA France
Thomas Brihaye, Mons University, Belgium
Pavol Cerny, University of Colorado Boulder USA
Krishnendu Chatterjee, Inst. of Science and Tech Austria
Giorgio Delzanno, University of Genoa Italy
Laurent Doyen, LSV France
Javier Esparza TU, Munich, Germany (co-chair)
Bernd Finkbeiner, Saarbrücken Germany
Pierre Ganty, IMDEA, Spain
Antonin Kucera, Masaryk University (Brno), Czech Republic
K. Narayan Kumar, Chennai Mathematical Institute India
Orna Kupferman, Hebrew Unversity Israel
Christof Löding, Aachen Germany
Richard Mayr, University of Edinburgh, UK
Igor Melatti, Sapienza University of Rome Italy
Henryk Michalewski, Warsaw, Poland
Luke Ong, University of Oxford, UK
Mimmo Parente, University of Salerno Italy
Gennaro Parlato, University of Southampton, UK
Doron Peled, Bar Ilan Univ Israel
Ruzica Piskac, Yale University USA
Enrico Tronci, Univ. La Sapenza, Rome, Italy (co-chair)
Hiroshi Umeo. University of Osaka Electro-Communication
Helmut Veith, Technische Universität Wien Austria
Marc Zeitoun, LaBRI France


Steering Committee

Mikolaj Bojanczyk, Univ. of Warsaw, Poland
Javier Esparza, Univ. of Munich, Germany
Andrea Maggiolo-Schettini, Univ. of Pisa, Italy
Angelo Montanari, Univ. of Udine, Italy
Margherita Napoli, Univ. of Salerno, Italy
Mimmo Parente, Univ. of Salerno, Italy
Wolfgang Thomas, Aachen Univ., Germany
Wieslaw Zielonka, Univ. of Paris 7, France


Local Organizers

Giorgio Delzanno
Elena Zucca
Alessandro Solimando
Daniela Briola
Andrea Corradi
Federico Frassetto

DIBRIS, University of Genova


More information about the ecoop-info mailing list