October 16 – 21 , 2016, Dagstuhl Seminar 16421
Last update: March 2 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]
In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner