- From: AndreA Orlandini <andrea.orlandini@istc.cnr.it>
- Date: Sun, 19 Aug 2018 16:52:14 +0200
- To: destinatari nascosti: ;
***************************************************************************** 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@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!
Received on Sunday, 19 August 2018 14:53:05 UTC