REGISTRATION FOR THE CONFERENCE IS CLOSED!
Thank you to all those who have registered and attended the SAT 2020 conference.
Adi Prabawa, National University of Singapore
Aina Niemetz, Stanford University
Akhil Dixit, University of California Santa Cruz
Akshay S, IIT Bombay
Albert Oliveras, Technical University of Catalonia
Albert Atserias, Universitat Politecnica de Catalunya
Alex Ozdemir, Stanford
Alexander Ek, Monash University & CSIRO Data61
Alexander Nadel, Intel
Alexander Feldman, PARC Inc.
Alexander Ivrii, IBM
Alexandre Perez, Palo Alto Research Center
Alexandru Dinu, POLITEHNICA University of Bucharest
Alexey Ignatiev, Monash University
Aman Goel, University of Michigan
Amit Bhatia, Raytheon Technologies Corporation
Ana Mastrangelo, Radix Engineering and Software
Andre Schidler, TU Wien
Andreas Niskanen, University of Helsinki
Andres Noetzli, Stanford University
Andrew Johnson
Andrew Vaughan Jones
Andy King, University of Kent
Anil Shukla, Indian Institute of Technology Ropar
Ankit shukla
Anna Thomas
Anna Louise Latour, LIACS, Leiden University & ICTEAM, UCLouvain
Antonina Kolokolova, Memorial University of Newfoundland
António Morgado, Inesc-ID Lisboa
Arijit Shaw, National University of Singapore
Armin Biere, Johannes Kepler University Linz
Athraa Al-Krizi, Al-Mustansiriya University
Audemard Gilles, CRIL, Artois University
Ayumi Shinohara, Tohoku University
Baris Sertkaya, Frankfurt University of Applied Sciences
Bart Bogaerts, Vrije Universiteit Brussel
Benjamin Kiesl, CISPA Helmholtz Center for Information Security
Benjamin Böhm, Friedrich Schiller Universität Jena
Bernd Becker
Bishwamittra Ghosh Bishwa, National University of Singapore
Bruno Dutertre, SRI International
Carlos Ansotegui, University of Lleida
Carlos Mencía, University of Oviedo
Carsten Sinz
Charles Jordan, Hokkaido University
Chris Patuzzo, None
Christian FRANCK, University of Luxembourg
Christian Binder
Christoph M. Wintersteiger, Microsoft Research
Chunxiao Li, University of Waterloo
Cláudia Nalon, University of Brasília
Cunjing Ge
Curtis Bright, University of Windsor
Dan Getz
Daniel Le Berre, CRIL CNRS Université d’Artois
Daniel Waszkiewicz, Warsaw University of Technology
Daniela Kaufmann, Johannes Kepler University Linz
David Narváez, Rochester Institute of Technology
Dejan Jovanovic, SRI International
Dieter von Holten
Diptarama Hendrian
Domenico Cantone, University of Catania
Dominik Schreiber, Karlsruhe Institute of Technology
Dror Fried, The Open University of Israel
Eisa Alharbi, KOC
Elizaveta Shikhova, ITMO University
Emilio Gamba, Vrije Universiteit Brussel
Emir Demirović, TU Delft
Emre Yolcu, Carnegie Mellon University
Etay Segal
Eugenia Ternovska, Simon Fraser University
Fabian Neuhaus, Otto von Guericke Universität Magdeburg
Fahie Bacchus, University of Toronto
Felip Manyà, IIIA-CSIC
Ferhat Erata, Yale University
Florian Wörz, Universität Ulm
Florian Lonsing, Stanford University
Florim Hamiti
Friedrich Slivovsky, TU Wien
Gaurav Sood, The Institute of Mathematical Sciences, Chennai
Georg Weissenbacher, TU WIen
Guido Fiorino, Università degli Studi di Milano-Bicocca
Haniel Barbosa, Universidade Federal de Minas Gerais
Hao XU
Haokun Li, Peking University
Haoze Wu, Stanford University
Hedinn Steingrimsson, Rice University
Hendrik Bierlee, Uppsala University
Henrik Stromberg, Institute of Mechanical Engineering – TU Clausthal
Hidetomo NABESHIMA, University of Yamanashi
Hubie Chen
Hugues Wattez, CRIL, Univ Artois & CNRS
Ilario Bonacina, UPC Barcelona Tech
Ilyas Toumlilt, Sorbonne Université, LIP6
Ismail Ilkan Ceylan, University of Oxford
Ivor Spence, Queen’s University Belfast
Jackie Oh, University of Illinois at Urbana Champaign
Jaco van de Pol, Aarhus University
Jakob Nordstrom, University of Copenhagen and Lund University
Jan Johannsen, Institut für Informatik, Ludwig-Maximilians-Universität München
Jan Strejček, Masaryk University
Jan-Hendrik Lorenz, Ulm University
Janne Kokkala, Lund University; University of Copenhagen
Jarkko Savela, University of Helsinki
Javier Larrosa, Universitat Politecnica de Catalunya
Jean Jung
Jeffrey Dudek, Rice University
Jeremias Berg, University of Helsinki
Jeroen Rook, LIACS, Leiden University
Jiong Yang
Jiri Matyas, Faculty of Information Technology, Brno University of Technology
Jo Devriendt, Lund University
Joao Marques-Silva, ANITI, Univ. Toulouse
Joao Cortes, IST-UL
Johannes Fichte, TU Dresden
John Galea, University of Oxford
John Franco, University of Cincinnati
Jordi Levy, IIIA-CSIC
Joseph Scott, University of Waterloo
Judith Clymo, University of Leeds
Julian Reisch, Synoptics
Julio César López Hernández, University of Manchester
Karishma Daga, Microsoft
Katalin Fazekas
Katsumi Inoue, NII
Kian Ming Adam Chai
Konstantin Korovin, The University of Manchester
Kuldeep Meel, National University of Singapore
Laurent SIMON, LaBRI
Lee Barnett, Johannes Kepler University Linz
Leon Geis
Leroy Chew, Carnegie Mellon University
Lilia Georgieva
Lucas Martinelli Tabajara, Rice University
Lucelia Vieira Mota, Marilucia Leonel Vieia
Lucian Goncales, Universidade do Vale do Rio dos Sinos
Luis Moraes
Luis Bustamante
M. Fareed Arif, The University of Iowa
Madalina Erascu, West University of Timisoara
Marc Vinyals, Technion
Marek Piotrów, University of Wrocław, Institute of Computer Science
Maria Oikonomidi
Maria Luisa Bonet, Universidad Politecnica de Cataluña
Marijn Heule, Carnegie Mellon University
Marko Kleine Büning, Karlsruhe Institute of Technology
Markus Hecher, TU Wien
Markus Iser, KIT
Martin Blicha, Università della Svizzera italiana
Martin Röbke, Student
Martin Jonáš, Fondazione Bruno Kessler
Martin Suda, CIIRC, CTU, Prague
Martín Barrère, Imperial College London
Masahiro Sakai
Massimo Lauria, Sapienza – Università di Roma
Mate Soos, National University of Singapore
Mathias Fleury, Johannes Kepler Universität
Mathias Preiner, Stanford University
Mathieu Acher, University of Rennes 1 / IRISA
Matthew Anderson, Union College
Matthias Schlaipfer
Matthias Doepmann
Matti Järvisalo, University of Helsinki
Md. Solimul Chowdhury, University of Alberta
Meena Mahajan, IMSc, HBNI
Michał Karpiński
Michał Sochański, Adam Mickiewicz University in Poznań
Michel Veiga de Leite Ribeiro Melo, Undergraduate student of University of Brasília
Mikolas Janota, INESC-ID/IST, Universidade de Lisboa
Miroslav Velev, Aries Design Automation
Miyuki Koshimura
Mohamed Taha
Mohamed Siala, INSA & LAAS-CNRS
Montserrat Hermo, University of the Basque Country
Moshe Vardi, Rice University
Muhammad Osama, PhD Candidate
Nathan Mull, University of Chicago
Neil Immerman, University of Massachusetts, Amherst
Nestan Tsiskaridze, Stanford University
Nick Feng
Nicola Gigante, University of Udine
Nicola Galesi
Nil Froleyks, Johannes Kepler Universität Linz, Prof. Biere
Norbert Manthey
Noushin Salek Faramarzi
Ofer Strichman, Technion
Olaf Beyersdorff, University of Jena
Oleg Zaikin, ISDCT SB RAS
Oliver Kullmann, Swansea University
Ondra Lengal, Brno University of Technology
Palash Sashittal, University of Illinois, Urbana-Champaign
Pascal Raiola, University of Freiburg
Pascal Fontaine, Université de Liège
Paul Fodor, Stony Brook University
Pavel Smirnov
Pedro Orvalho, INESC-ID, Lisbon
Peter Stuckey, Monash University
Peter Großmann, Synoptics GmbH
Phokion Kolaitis, University of California Santa Cruz
Pierre Talbot, University of Luxembourg
Pierre Yves Schobbens, Université de Namur
Priyanka Golia, Indian Institute of Technology, Kanpur, India
Qinghua Ding, The Chinese University of Hong Kong
Radoslav Dimitrov, University of Oxford
Rafael Penaloza, University of Milano-Bicocca
Raj Kumar Gajavelly
Rakesh Verma, University of Houston
Ralph Abboud, University of Oxford
Ramanujan Sridharan, University of Warwick
Randy Hickey, University of Toronto
Robert Beers, unaffiliated
Rodrigo Otoni, Università della Svizzera italiana
Roland Yap, National University of Singapore
Romain Wallon, CRIL, Univ Artois & CNRS
Roni Stern, Palo Alto Research Center, Ben Gurion University
Ruben Martins, Carnegie Mellon University
Rüdiger Reischuk, ITCS, Universität zu Lübeck
Ruediger Ehlers, Clausthal University of Technology
Saeed Nejati, University of Waterloo
Sam Bayless, Amazon Web Services
Samir Omanovic, University of Sarajevo
Santosh Nagarakatte, Rutgers University
Sathia Moorthy Subbarayan, Kedge Systems Private Limited
Saurabh Joshi, IIT Hyderabad
Sean McWillie, NIST
Sen Zheng, University of Manchester
Seonmo Kim, University of Minnesota
Sepideh Asadi, USI Lugano
Serdar Kadioglu, Brown University
Shachaf Ben-Kiki
Shubham Sharma
Sibylle Möhle, Johannes Kepler University Linz
Siegfried Nijssen, UCLouvain
Siham Essodaigui, Renault
Sima Jamali, Simon Fraser University
Sofia Gallo
Souheib Baarir, LIP6
Stefan Mengel, CNRS, CRIL, Lens
Stefan Ciobaca, Alexandru Ioan Cuza University
Stefan Woltran, TU Wien
Stefan Szeider, TU Wien
Stepan Kochemazov, ISDCT SB RAS
Stephan Gocht, Lund University
Stephen McCamant, University of Minnesota
Subhajit Roy, IIT Kanpur
Supratik Chakraborty, IIT Bombay
Thiago Rocha, Federal Institute of Education, Science and Technology
Thomas Seed, University of Kent
Thomas F Kochmann, Creative-Agents.net e.K.
Tiemo Benedikt Schröder, Friedrich-Schiller-Universität Jena
Tobias Paxian, University of Freiburg
Tomáš Peitl, Friedrich-Schiller-Universität Jena
Tracy Han , JLU
Ullrich Hustadt, University of Liverpool
Vaidas Giedrimas, Siauliai University
Vaidyanathan P. R., TU Wien
Valentin Mayer-Eichberger, Technische Universität Berlin
Valia Mitsou, Université de Paris, IRIF laboratory
Vasco Manquinho, INESC-ID, IST – Universidade de Lisboa
Vedad Hadzic, TU Graz
Venkatesh Raman, IMSc Chennai
Verhaeghe Hélène, UCLouvain
Vijay Ganesh, University of Waterloo
Vishal Chakraborty, University of California, Santa Cruz
Vladimir Podolskii, Steklov Mathematical Institute & HSE University, Moscow
Volodymyr Skladanivskyy
Vu Phan, Rice University
Wenxi Wang, The University of Texas at Austin
Wimmer Ralf, Concept Engineering GmbH & University of Freiburg
Xinyu Wu, Carnegie Mellon University
Yash Pote, National University of Singapore
Ying Sheng, Stanford University
Yves Bossu, Renault
Zhiwei Zhang, Rice University
Zongliang Ji, Union College