List of registered participants

• Andreas Abel, Gothenburg University
• 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
• Michael Andersen, IT University of Copenhagen
• 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
• Gilles Barthe, IMDEA Software Institute
• 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
• Nuria Brede, University of Potsdam
• 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
• Apiwat Chantawibul, University of Southampton
• Liang-Ting Chen, Swansea University
• Steven Cheung, University of Birmingham
• Vincent Cheval, INRIA/LORIA
• Jules Chouquet, Paris-Diderot
• Horatiu Cirstea, LORIA & Université de Lorraine
• Pierre Clairambault, CNRS & ENS Lyon
• Jesper Cockx, KU Leuven
• Bob Coecke, University of Oxford
• Cas Cremers, 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
• Ross Duncan, University of Strathclyde
• Benjamin Dupont, University Claude Bernard of Lyon
• Roy Dyckhoff, University of St Andrews
• Harley Eades, Augusta University
• Serdar Erbatur, LMU Munich
• 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
• Nicola Gambino, 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
• Jules Hedges, University of Oxford
• Willem Heijltjes, University of Bath
• Tobias Heindel, University of Leipzig
• Lars Hellström, Mälardalen University
• Hugo Herbelin, Inria
• Olivier Hermant, MINES ParisTech
• Daniel Hillerström, The University of Edinburgh
• Roger Hindley, Swansea University
• Joshua Holland, University of Southampton
• Dominic Horsman, Durham University
• 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
• James Laird, Univ. Bath
• Marco Larrea, University of Leeds
• 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
• Tadeusz Litak, FAU Erlangen-Nuremberg
• Jonathan Lorand, University of Zurich
• Maxime Lucas, Univ. Paris 7
• Salvador Lucas, Universitat Politècnica de València
• Christopher Lynch, Clarkson University
• Philippe Malbos, University of Lyon
• Giulio Manzonetto, University Paris-Nord
• Pavlos Marantidis, TU Dresden
• Sonia Marin, INRIA- Ecole Polytechnique
• Dan Marsden, University of Oxford
• James Mckinna, LFCS- University of Edinburgh
• Catherine Meadows, US Naval Research Laboratory
• Paul-Andre Mellies, CNRS - University Paris Diderot
• Marino Miculan, University of Udine
• Aart Middeldorp, University of Innsbruck
• Hector Miller-Bakewell, University of Oxford
• Samuel Mimram, École Polytechnique
• Shinnosuke Mizutani, Nagoya University
• Sebastian Moedersheim, DTU
• 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
• Max New, Northeastern UniversityNortheastern University
• Le Thanh Dung Nguyen, École normale supérieure de Paris
• Naoki Nishida, Nagoya University
• Andreas Nuyts, KU LEUVEN
• Federico Olimpieri, Aix-Marseille
• Luke Ong, University of Oxford
• Dominic Orchard, University of Kent
• Ian Orton, University of Cambridge
• Stefan Patachi, IT University of Copenhagen
• Jennifer Paykin, University of Pennsylvania
• William Pearson, London
• Luc Pellissier, Université Paris 13
• Brigitte Pientka, McGill University
• Paolo Pistone, Università Roma Tre
• Andrew Pitts, University of Cambridge
• Jeff Polakow, Awake Security
• Randy Pollack, Cornell & Edinburgh
• Miriam Polzer, Friedrich-Alexander-University Erlangen-Nuremberg
• 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
• Christophe Ringeissen, Loria and Inria Nancy
• 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
• Chandramouli Soorian, IT University of Copenhagen
• Sam Speight, Oxford
• Bas Spitters, Aarhus University
• Ian Stark, University of Edinburgh
• Kathrin Stark, Saarland University
• Sam Staton, University of Oxford
• Florian Steinberg, Technische Universität Darmstadt
• Raffael Stenzel, University of Leeds
• Thomas Sternagel, University of Innsbruck
• Claude Stolze, INRIA Sophia-Antipolis
• 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
• Jonathan Weinberger, TU Darmstadt
• Felix Wellen, Karlsruhe Institute of Technology
• Gijs Wijnholds, Queen Mary University of London
• Sarah Winkler, University of Innsbruck
• Yoko Yamatogi, -
• Vladimir Zamdzhiev, Tulane University
• Fabio Zanasi, University College London
• Noam Zeilberger, University of Birmingham