[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
****************************************************************************
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)
