Participants

• Eugène Asarin (Univ. Paris Cité, France)
• Khadija Bakkouch (ENSIAS, University Mohammed 5, Rabat, Morocco)
• Saddek Bensalem (Grenoble, France)
• Cezara Drăgoi (INRIA, France)
• Constantin Enea (Ecole Polytechnique, Palaiseau, France)
• Mohammed Erradi (ENSIAS, University Mohammed 5, Rabat, Morocco)
• Javier Esparza (TUM, Germany)
• Susanne Graf (VERIMAG, Grenoble, France)
• Lukas Holik (UITS, Brno, Czech Republic)
• Radu Iosif (Grenoble, France)
• Rupak Majumdar (MPI SWS, Kaiserslautern, Germany)
• Roland Meyer (Univ. Braunschweig, Germany)
• Madhavan Mukund (CMI, Chennai, India)
• Markus Müller-Olm (Munster, Germany)
• Kumar Narayan (CMI, Chennai, India)
• Andreas Podelski (Univ Freiburg, Germany)
• Shaz Qadeer (Meta, USA)
• Jean-François Raskin (ULB, Belgium)
• Ahmed Rezine (Linköping University, Sweden)
• Riadh Robbana (University of Carthage, Tunisia)
• Krishna S (IIT, Mumbai, India)
• Mihaela Sighireanu (ENS Paris-Saclay, France)
• Prakash Saivasan (IMS, Chennai, India)
• Tayssir Touili (Université Paris 13, France)
• Tomas Vojnar (UITS, Brno, Czech Republic)

From Uppsala University

• Elli Anastasiadi
• Faouzi Atig
• Paul Fiterau Brostean
• Eva Darulova
• Sarbojit Das
• Pontus Ekberg
• Lars-Henrik Eriksson
• Zafer Esen
• Pierre Flener
• Florian Furbach
• Sandip Ghosal
• Samuel Grahn
• Nikolaus Huber
• Bengt Jonsson
• Rémi Parrot
• Justin Pearson
• Kostis Sagonas
• Stephan Spengler
• Tjark Weber
• Wang Yi