Universality of Proofs

• 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