16. – 21. Oktober 2016, Dagstuhl Seminar 16421
Letzte Aktualisierung: 02. März 2017

Universality of Proofs

Participants

  • Andreas Martin Abel (Chalmers UT – Göteborg, SE) [dblp]
  • Jesús María Aransay Azofra (University of La Rioja – Logroño, ES) [dblp]
  • Christoph Benzmüller (FU Berlin, DE) [dblp]
  • Jasmin Christian Blanchette (MPI für Informatik – Saarbrücken, DE) [dblp]
  • Frédéric Blanqui (ENS – Cachan, FR) [dblp]
  • Peter Brottveit Bock (IT University of Copenhagen, DK) [dblp]
  • Venanzio Capretta (University of Nottingham, GB) [dblp]
  • Benjamin Delaware (Purdue University – West Lafayette, US) [dblp]
  • Gilles Dowek (INRIA & ENS Cachan, FR) [dblp]
  • Catherine Dubois (ENSIIE – Evry, FR) [dblp]
  • William M. Farmer (McMaster University – Hamilton, CA) [dblp]
  • Amy Felty (University of Ottawa, CA) [dblp]
  • Thibault Gauthier (Universität Innsbruck, AT) [dblp]
  • Frédéric Gilbert (ENS – Cachan, FR) [dblp]
  • Georges Gonthier (INRIA Saclay – Île-de-France, FR) [dblp]
  • Stéphane Graham-Lengrand (Ecole Polytechnique – Palaiseau, FR) [dblp]
  • Hugo Herbelin (University Paris-Diderot, FR) [dblp]
  • Olivier Hermant (Ecole des Mines de Paris, FR) [dblp]
  • Guy Katz (Stanford University, US) [dblp]
  • Chantal Keller (University of Paris Sud – Orsay, FR) [dblp]
  • Michael Kohlhase (Universität Erlangen-Nürnberg, DE) [dblp]
  • Ramana Kumar (Data61 / NICTA – Sydney, AU) [dblp]
  • Dale Miller (INRIA Saclay – Île-de-France, FR) [dblp]
  • Alberto Momigliano (University of Milan, IT) [dblp]
  • César A. Muñoz (NASA Langley – Hampton, US) [dblp]
  • Adam Naumowicz (University of Bialystok, PL) [dblp]
  • Brigitte Pientka (McGill University – Montreal, CA) [dblp]
  • Elaine Pimentel (Federal University of Rio Grande do Norte, BR) [dblp]
  • Florian Rabe (Jacobs University Bremen, DE) [dblp]
  • Claudio Sacerdoti Coen (University of Bologna, IT) [dblp]
  • Ivan Scagnetto (University of Udine, IT) [dblp]
  • Gert Smolka (Universität des Saarlandes, DE) [dblp]
  • René Thiemann (Universität Innsbruck, AT) [dblp]
  • Josef Urban (Czech Technical University – Prague, CZ) [dblp]
  • Laurent Voisin (SYSTEREL Aix-en-Provence, FR) [dblp]
  • Freek Wiedijk (Radboud University Nijmegen, NL) [dblp]
  • Bruno Woltzenlogel Paleo (Australian National University – Canberra, AU) [dblp]


Im Falle von Fehlern oder Fragen bezüglich den Links zu dblp, kontaktieren Sie bitte Michael Wagner