List of registered participants

  • Matteo Acclavio, Freelance researcher
  • Bahareh Afshari, University of Gothenburg
  • Benedikt Ahrens, Inria Rennes
  • Yohji Akama, Tohoku University
  • Ken Akiba, Virginia Commonwealth University
  • Aurore Alcolei, ENS LYON
  • Clément Alleaume, Université Paris Diderot
  • Thorsten Altenkirch, University of Nottingham
  • Sandra Alves, University of Porto
  • Danil Annenkov, University of Copenhagen
  • Takahito Aoto, Niigata University
  • Dimitri Ara, Institut de Mathématiques de Marseille
  • Michael Ariotti, University of Wisconsin - Milwaukee
  • David Baelde, LSV- ENS Paris-Saclay
  • Patrick Bahr, IT University of Copenhagen
  • Miëtek Bak, Least Fixed Ltd
  • Pablo Barenbaum, Universidad de Buenos Aires / Université Paris Diderot
  • Thibaut Benjamin, Ecole Polytechnique
  • Stefano Berardi, torino university
  • Malgorzata Biernacka, University of Wroclaw
  • Bruno Blanchet, Inria
  • Filippo Bonchi, University of Pisa
  • Auke Booij, University of Birmingham
  • Simon Boulier, INRIA Nantes
  • John Boyland, Univ. Wisconsin-Milwaukee
  • Joachim Breitner, University of Pennsylvania
  • Alessandro Bruni, IT University of Copenhagen
  • Ulrik Buchholtz, TU Darmstadt
  • Paolo Capriotti, University of Nottingham
  • Washington Carvalho-Segundo, Universidade de Brasília
  • Simon Castellan, ENS Lyon
  • Liang-Ting Chen, Swansea University
  • Steven Cheung, University of Birmingham
  • Jules Chouquet, Paris-Diderot
  • Horatiu Cirstea, LORIA & Université de Lorraine
  • Pierre Clairambault, CNRS & ENS Lyon
  • Jesper Cockx, KU Leuven
  • Bob Coecke, University of Oxford
  • Gianluca Curzi, University of Turin
  • Chenavier Cyrille, Université Paris Diderot
  • Lukasz Czajka, University of Copenhagen
  • Miller Dale, Inria
  • Nils Dallmeyer, Goethe-University-Frankfurt
  • David Dalrymple, MIT (alum)
  • Anupam Das, ENS Lyon / University of Copenhagen
  • Jesus Dominguez, King's College London
  • Christoph Dorn, Oxford University
  • Andrej Dudenhefner, TU Dortmund
  • Benjamin Dupont, University Claude Bernard of Lyon
  • Roy Dyckhoff, University of St Andrews
  • Harley Eades, Augusta University
  • Lorenzo Tortora De Falco, Università Roma Tre
  • Bertram Felgenhauer, University of Innsbruck
  • Giovanni De Felice, Oxford University
  • Maribel Fernandez, King's College London
  • Marcelo Fiore, University of Cambridge
  • Mathias Fleury, MPI-INF
  • Enno Folkerts, SAP SE
  • Simon Forest, Polytechnique
  • Carsten Fuhs, Birkbeck- University of London
  • Kenetsu Fujita, Gunma University
  • Cesare Gallozzi, University of Leeds
  • Adria Gascon, Alan Turing Institute / Warwick University
  • Dan Ghica, University of Birmingham
  • Jean-Yves Girard, CNRS - I2M Marseille
  • Rosario Giustolisi, IT University of Copenhagen
  • Stefano Gogioso, University of Oxford
  • Robert Graham, McGill University
  • Giulio Guerrieri, University of Oxford
  • Stefano Guerrini, LIPN- Université Paris 13
  • Yves Guiraud, INRIA- Université Paris 7
  • Joshua Guttman, Worcester Polytechnic Institute
  • Amar Hadzihasanovic, University of Oxford
  • Makoto Hamana, Gunma University
  • Willem Heijltjes, University of Bath
  • Daniel Hillerström, The University of Edinburgh
  • Roger Hindley, Swansea University
  • Nao Hirokawa, JAIST
  • Simon Huber, University of Gothenburg
  • Stefan Kahrs, University of Kent
  • Jonas Kaiser, Saarland University
  • Marie Kerjean, IRIF- Université Paris 7
  • Delia Kesner, IRIF- Univ. Paris-Diderot
  • Kentaro Kikuchi, Tohoku University
  • Aleks Kissinger, Radboud University Nijmegen
  • Cory Knapp, University of Birmingham
  • Naoki Kobayashi, University of Tokyo
  • Cynthia Kop, University of Copenhagen
  • Yunus David Kerem Kutz, Johann Wolfgang Goethe-Universität
  • Stepan Kuznetsov, NRU HSE and Steklov Institute
  • Ugo Dal Lago, Università di Bologna & INRIA
  • Graham Leigh, University of Gothenburg
  • Js Lemay, University of Oxford
  • Liyi Li, University of Illinois at Urbana-Champaign
  • Daniel Licata, Wesleyan University
  • Benjamin Lichtman, Carnegie Mellon University
  • Vilem-Benjamin Liepelt, University of Kent
  • Tadeusz Litak, FAU Erlangen-Nuremberg
  • Jonathan Lorand, University of Zurich
  • Eliana Lorch, Thiel Fellowship
  • Salvador Lucas, Universitat Politècnica de València
  • Christopher Lynch, Clarkson University
  • Roberto Maieli, DM&F - Roma TRE University
  • Giulio Manzonetto, University Paris-Nord
  • Pavlos Marantidis, TU Dresden
  • Sonia Marin, INRIA- Ecole Polytechnique
  • Damiano Mazza, CNRS- LIPN- Université Paris 13
  • James Mckinna, LFCS- University of Edinburgh
  • Catherine Meadows, US Naval Research Laboratory
  • Marino Miculan, University of Udine
  • Aart Middeldorp, University of Innsbruck
  • Hector Miller-Bakewell, University of Oxford
  • Samuel Mimram, École Polytechnique
  • Shinnosuke Mizutani, Nagoya University
  • Alberto Momigliano, Università degli Studi di Milano
  • Nicholas Moore, University of Oxford
  • Anders Mörtberg, Inria
  • Guillaume Munch-Maccagnoni, Inria Rennes
  • Yuito Murase, The University of Tokyo
  • Koko Muroya, University of Birmingham
  • Yutaro Nagae, Nagoya University
  • Julian Nagele, University of Innsbruck
  • Koji Nakazawa, Nagoya University
  • Cláudia Nalon, University of Brasília
  • Le Thanh Dung Nguyen, École normale supérieure de Paris
  • Naoki Nishida, Nagoya University
  • Andreas Nuyts, KU LEUVEN
  • Federico Olimpieri, Aix-Marseille
  • Vincent Van Oostrom, University of Innsbruck
  • Ian Orton, University of Cambridge
  • Jennifer Paykin, University of Pennsylvania
  • Luc Pellissier, Université Paris 13
  • Brigitte Pientka, McGill University
  • Paolo Pistone, Università Roma Tre
  • Andrew Pitts, University of Cambridge
  • Jeff Polakow, Awake Security
  • Florian Rabe, Jacobs University Bremen
  • Benjamin Ralph, University of Bath
  • Jakob Rehof, Technical University Dortmund
  • Colin Riba, LIP - ENS de Lyon
  • Mitchell Riley, Wesleyan University
  • Francisco Rios, Dalhousie University
  • Eike Ritter, University of Birmingham
  • Luca Roversi, Università di Torino
  • David Sabel, Goethe-University Frankfurt
  • Masahiko Sakai, Nagoya Univ.
  • Alessio Santamaria, University of Bath
  • Tomohiro Sasano, Nagoya University
  • Genki Sato, the University of Tokyo
  • Philip Saville, University of Cambridge
  • Manfred Schmidt-Schauss, Uni Frankfurt- Inst Informatik
  • Carsten Schürmann, IT University of Copenhagen
  • Filippo Sestini, University of Padova
  • David Sherratt, University of Bath
  • Gert Smolka, Saarland University
  • Pawel Sobocinski, University of Southampton
  • Marco Solieri, University of Bath
  • Sam Speight, Oxford
  • Bas Spitters, Aarhus University
  • Ian Stark, University of Edinburgh
  • Kathrin Stark, Saarland University
  • Florian Steinberg, Technische Universität Darmstadt
  • Thomas Sternagel, University of Innsbruck
  • Lutz Strassburger, Inria
  • Andrew Swan, ILLC- Universiteit van Amsterdam
  • Christine Tasson, IRIF - Université Paris 7
  • Ashish Tiwari, SRI International
  • Yoshihito Toyama, Tohoku University
  • Sean Tull, University of Oxford
  • Tarmo Uustalu, Tallinn University of Technology
  • Dmitry Vagner, Duke University
  • Aigars Valainis, University of Latvia
  • Niccolò Veltri, IT University of Copenhagen
  • Dominic Verdon, University of Oxford
  • Andrea Vezzosi, Chalmers University
  • Pierre Y Vial, Paris 7
  • Luca Vigano, Department of Informatics- King's College London
  • Matthew Weaver, Princeton University
  • Felix Wellen, Karlsruhe Institute of Technology
  • Gijs Wijnholds, Queen Mary University of London
  • Sarah Winkler, University of Innsbruck
  • Vladimir Zamdzhiev, Tulane University
  • Fabio Zanasi, University College London
  • Noam Zeilberger, University of Birmingham

  • (List as of 8 August, omitting those who have opted out.)