Participants

The following people officially registered as participants in the Colloquium and the affiliated PSATTT workshop.

  1. Matthias BAAZ, Vienna University of Technology
  2. Bruno BARRAS, Inria Saclay
  3. James BROTHERSTON, University College London
  4. Chad BROWN, Independent Researcher
  5. Guillaume BUREL, ENSIIE/Cédric
  6. Kaustuv CHAUDHURI, Inria
  7. Zakaria CHIHANI, Lix
  8. Agata CIABATTONI, TU Vienna
  9. Matteo CIMINI, Inria
  10. Anupam DAS, LIX, École Polytechnique & University of Bath
  11. David DELAHAYE, Cnam/Inria
  12. Damien DOLIGEZ, Inria
  13. Claire DROSS, LRI
  14. Etienne DUCHESNE, University of Bath
  15. Roy DYCKHOFF, University of St Andrews
  16. Sebastian EBERHARD, TU Wien
  17. Mahfuza FAROOQUE, Ecole Polytechnique-CNRS France
  18. Amy FELTY, University of Ottawa/Inria
  19. Didier GALMICHE, LORIA - Université de Lorraine
  20. Herman GEUVERS, Radboud University Nijmegen, NL
  21. Stéphane GRAHAM-LENGRAND, CNRS - Ecole Polytechnique
  22. Nicolas GUENOT, IT University of Copenhagen
  23. Alessio GUGLIELMI, University of Bath
  24. Tom GUNDERSEN, PPS
  25. Pierre HALMAGRAND, INRIA
  26. Willem HEIJLTJES, University of Bath
  27. Olivier HERMANT, MINES ParisTech
  28. Robin HOUSTON
  29. Dominic HUGHES, Stanford
  30. Danko ILIK
  31. Cezary KALISZYK, University of Innsbruck
  32. Jael KRIENER, University of Kent
  33. Roman KUZNETS, University of Bern
  34. Francois LAMARCHE, INRIA
  35. Dominique LARCHEY-WENDLING, Inria Lorraine - Loria
  36. Tomer LIBAL, Inria saclay
  37. Roberto MAIELI, Dipartimento di Matematica e Fisica - Università Roma TRE
  38. Assia MAHBOUBI, Inria
  39. Ralph MATTHES, IRIT (CNRS et Univ. de Toulouse)
  40. Richard MCKINLEY, Universität Bern
  41. Stefan MEHNER, Universität Bonn
  42. George METCALFE, University of Bern
  43. Dale MILLER, LIX and INRIA-Saclay
  44. Alberto MOMIGLIANO, DI, Università di Milano, Italy
  45. Richard MOOT, CNRS (LaBRI)
  46. Agata MURAWSKA, IT University of Copenhagen
  47. Alberto NAIBO, Université Paris 1 Panthéon-Sorbonne
  48. Sara NEGRI, University of Helsinki
  49. Novak NOVAKOVIC, INRIA
  50. Michel PARIGOT, CNRS - Université Paris 7
  51. Mattia PETROLO, Université Paris Diderot - Paris 7
  52. Damien POUS, CNRS
  53. Fabien RENAUD, Inria
  54. Damien ROUHLING, ENS Lyon
  55. Mikheil RUKHAIA, Inria/LIX
  56. Jorge Luis SACCHINI, Carnegie Mellon University
  57. Claudio SACERDOTI COEN, University of Bologna
  58. Alex SIMPSON, University of Edinburgh
  59. Arnaud SPIWACK, Inria
  60. Lutz STRASSBURGER, INRIA
  61. Sorin STRATULAT, Université de lorraine
  62. Thomas STUDER, University of Bern
  63. Enrico TASSI, Inria
  64. Daniel WELLER, Vienna University of Technology
  65. Noam ZEILBERGER, MSR-INRIA

Organizers