21-22 Sep 2020
**************************************************************************** CALL FOR PARTICIPATION - GandALF 2020 https://di.ulb.ac.be/verif/gandalf2020/ ***************************************************************************** The Eleventh International Symposium on Games, Automata, Logics, and Formal Verification will take place on September 21 and 22, 2020. The aim of GandALF 2020 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. Due to the outbreak of COVID-19 and the current difficulties for traveling, it has been decided to organize the symposium online. The organization will be as follows: -the authors of accepted papers have recorded a 25 minutes presentation of their paper ? An award will be attributed to the best video by the PC members of Gandalf -these presentations will be made available to the registered participants to the conference a few days before the conference ? To favor interactions, registered participants will be encouraged to post questions to the authors on a dedicated slack channel -four invited talks will be given **live** during the online conference that will take place on Zoom: -Monday September 21, 2:00pm-3:00pm : Prof. Guillermo Perez (U Antwerpen, BE) Regret Minimization in Discounted-Sum Games -Monday September 21, 4:30pm-5:30pm : Prof. Adnan Darwiche (UCLA, USA) Three Modern Roles for Logic in AI -Tuesday September 22, 2:00pm-3:00pm : Prof. Erika Abraham (RWTH, DE) Probabilistic Hyperproperties -Tuesday September 22, 4:30pm-5:30pm : Prof. Jan K?etínský (TUM, DE) Approximating Values of Generalized-Reachability Stochastic Games -each invited talk will be followed by a Q/A session on papers grouped by topics. Each such session will open with 5 minutes short presentations of each of the papers of the session by one of their author and replies to questions sent by registered participants. Further interactions will follow the answers by the authors to those questions. All the talks and the Q/A sessions will be posted on Youtube: https://www.youtube.com/channel/UCI_M8J35gzkXIy7l4jnodWQ/ Here is the list of accepted papers: GandALF 2020 Accepted Papers -Can Baskent. A Game Theoretical Semantics for Logics of Nonsense -Lucas Martinelli Tabajara and Moshe Vardi. LTLf Synthesis under Partial Observability: From Theory to Practice -Lauri Hella, Antti Kuusisto and Raine Rönnholm. Bounded game-theoretic semantics for modal mu-calculus -Florian Bruse, Jörg Kreiker, Martin Lange and Marco Sälzer. Local Higher-Order Fixpoint Iteration -Oebele Lijzenga and Tom van Dijk. Symbolic parity game solvers that yield winning strategies -Yong Li, Moshe Vardi and Lijun Zhang. On the Power of Unambiguity in Büchi Complementation -Aniello Murano, Sasha Rubin and Martin Zimmermann. Optimal Strategies in Weighted Limit Games -Bader Abu Radi and Orna Kupferman. Canonicity in GFG and Transition-Based Automata -Jan Kretinsky, Emanuel Ramneantu, Alexander Slivinskiy and Maximilian Weininger. Comparison of Algorithms for -Simple Stochastic Games -Patricia Bouyer, Thomas Brihaye, Mickael Randour, Cédric Rivière and Pierre Vandenhove. Decisiveness of Stochastic -Systems and its Application to Hybrid Models -Mara Downing, Abtin Molavi and Lucas Bang. Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis -Béatrice Bérard, Benedikt Bollig, Patricia Bouyer, Matthias Függer and Nathalie Sznajder. Synthesis in Presence of Dynamic Links -Andrew Wells, Morteza Lahijanian, Lydia Kavraki and Moshe Vardi. LTLf Synthesis on Probabilistic Systems -Íñigo Íncer Romeo, Leonardo Mangeruca, Tiziano Villa and Alberto Sangiovanni-Vincentelli. The Quotient in Preorder Theories Those papers will appear in a volume of Electronic Proceedings in Theoretical Computer Science. *** To maximize the online attendance to the conference, the registration is free of charge but mandatory. *** Registration can be done on the website of the conference: https://di.ulb.ac.be/verif/gandalf2020/ PROGRAM COMMITTEE ****************** Alessandro Abate, University of Oxford (UK) Galit Ashkenazi-Golan, Tel-Aviv university (Israel) Benedikt Bollig, ENS Cachan, CNRS (France) Pedro Cabalar, University of Corunna (Spain) Franck Cassez, Macquarie University (Australia) Silvia Crafa, Universita' di Padova (Italy) Rüdiger Ehlers, Clausthal University of Technology (Germany) Mohamed Faouzi Atig, Uppsala University (Sweden) János Flesch , Maastricht University (The Netherlands) Jan Kretinsky, Technical University of Munich (Germany) Orna Kupferman, Hebrew University (Israel) S?awomir Lasota, Warsaw University (Poland) Ranko Lazic, University of Warwick (UK) Jérôme Leroux, University of Bordeaux (France) Radu Mardare, University of Strathclyde (UK) Angelo Montanari, University of Udine (Italy) Emilio Muñoz-Velasco, University of Malaga (Spain) Gennaro Parlato, University of Molise (Italy) Mickael Randour, Université de Mons (Belgium) Sriram Sankaranarayanan, University of Colorado (USA) B Srivathsan, Chennai Mathematical Institute (India) Martin Zimmermann, University of Liverpool (UK) 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) -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam