Call for Participation - GandALF 2018 - International Symposium on Games, Automata, Logics, and Formal Verification - Saarbrücken - 26-28 September 2018

[AndreA Orlandini]

Apologies for multiple copies

*****************************************************************************
CALL FOR PARTICIPATION - GandALF 2018
*****************************************************************************

The Ninth International Symposium on Games, Automata, Logics, and
Formal Verification
will be held in Saarbrücken (Germany) on 26-27-28 September 2018.

**** https://www.react.uni-saarland.de/gandalf2018/index.html
*****************************************

The aim of GandALF 2018 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 idea is to cover an ample 
spectrum of
themes, ranging from theory to applications, and stimulate 
cross-fertilization.

  INVITED SPEAKERS
******************
- Saddek Bensalem (Université Grenoble Alpes): Rigorous System design : 
The BIP Framework
- Véronique Bruyère (University of Mons): On the synthesis of equilibria 
in graph games
- Kim G. Larsen (Aalborg University): Energy Timed Automata and Games

  LIST OF ACCEPTED PAPERS
******************
The list of accepted papers can be found here:
https://www.react.uni-saarland.de/gandalf2018/accepted.html


  REGISTRATION
******************
Registration is now open:
https://www.react.uni-saarland.de/gandalf2018/registration.html


  PROGRAM CHAIRS
******************
Martin Zimmermann, Saarland University, Germany
AndreA Orlandini, ISTC-CNR, Italy


  PROGRAM COMMITTEE
******************
Mohamed Faouzi Atig (Uppsala University, Sweden)
Christel Baier (TU Dresden, Germany)
Patricia Bouyer (LSV, CNRS & ENS Cachan, Université Paris Saclay, France)
Laura Bozzelli (Università degli Studi di Napoli Federico II, Italy)
Thomas Colcombet (CNRS, France)
Dario Della Monica (Universidad Complutense de Madrid, Spain)
Jie-Hong Roland Jiang (National Taiwan University, Taiwan)
Ranko Lazic (The University of Warwick, United Kingdom)
Jérôme Leroux (CNRS, France)
Radu Mardare (Aalborg University, Denmark)
Angelo Montanari (University of Udine, Italy)
Andrea Orlandini (co-chair, National Research Council of Italy 
(ISTC-CNR), Italy)
Gennaro Parlato (University of Southampton, United Kingdom)
Doron Peled (Bar Ilan University, Israel)
Mickael Randour (UMONS - Université de Mons, Belgium)
Mark Reynolds (The University of Western Australia, Australia)
Pietro Sala (University of Verona, Italy)
Pierluigi San Pietro (Politecnico di Milano, Italy)
B Srivathsan (Chennai Mathematical Institute, India)
Martin Zimmermann (co-chair, Saarland University, Germany)


  STEERING COMMITTEE
******************
Luca Aceto (Reykjavik University, Iceland)
Javier Esparza (University of Munich, Germany)
Salvatore La Torre (University of Salerno, Italy)
Angelo Montanari (University of Udine, Italy)
Mimmo Parente (University of Salerno, Italy)
Wolfgang Thomas (Aachen University, Germany)

-- 
---------------------------------------------------------------------
AndreA Orlandini PhD

  National Research Council of Italy
  Institute for Cognitive Science and Technology
  Phone:  +39-06-44595-223      E-mail: andrea.orlandini at istc.cnr.it
  Fax:    +39-06-44595-243      Url: http://www.istc.cnr.it/group/pst
---------------------------------------------------------------------

Me, the one and only person that never leaves me alone!