Preliminary list of participants
The following people have already confirmed their participation. More are expected to join.Mohammed Faouzi Atig, Uppsala University, Sweden Pablo Barcelo, University of Chile, Chile Murphy Berzish, University of Waterloo, Canada Nikolaj Bjorner, Microsoft Research, USA Yu-Fang Chen, Academia Sinica, Taiwan Dmitry Chistikov, University of Warwick, UK Arlen Cox, IDA/CCS, USA Joel Day, Loughborough University, UK Vrunda Dave, IIT Bombay, India Volker Diekert, Universität Stuttgart, Germany Bui Phi Diep, Uppsala University, Sweden Diego Figueira, LaBRI, France Liana Hadarean, Amazon, USA Matthew Hague, Royal Holloway, UK Lukas Holik, Brno University of Technology, Czechia Chih-Duo Hong, Oxford University, UK Joxan Jaffar, National University of Singapore, Singapore Petr Janku, Brno University of Technology, Czechia Artur Jez, University of Wroclaw, Poland Roland Jiang, National Taiwan University, Taiwan Johannes Kinder, Bundeswehr University Munich, Germany Mitja Kulczynski, Kiel University, Germany Quang Loc Le, Teeside University, UK Ondrej Lengal, Brno University of Technology, Czechia Anthony W. Lin, Oxford University, UK Rupak Majumdar, MPI-SWS, Germany Richard Mayr, Edinburgh University, UK Duncan Mitchell, Royal Holloway, UK Muhammad Najib, Oxford University, UK Reino Niskanen, Oxford University, UK Dirk Nowotka, Kiel University, Germany Corina Pasareanu, NASA, USA Justin Pearson, Uppsala University, Sweden Ruzica Piskac, Yale University, USA Andrew Reynolds, University of Iowa, USA Philipp Rümmer, Uppsala University, Sweden Krishna S., IIT Bombay, India Cesare Tinelli, University of Iowa, USA Nestan Tsiskaridze, University of California Santa Barbara, USA Margus Veanes, Microsoft Research, USA Tomas Vojnar, Brno University of Technology, Czechia Zhilin Wu, Chinese Academy of Science, China Fang Yu, National Chengchi University, Taiwan