Some of the People Interested in QED

• Peter Andrews
• Myla Archer, archer@itd.nrl.navy.mil
• Juergen Avenhaus, avenhaus@informatik.uni-kl.de
• David Barker-Plummer
• Michael Beeson
• Maria Paola Bonacina
• Robert S. Boyer
• Alan Bundy
• Ingo Dahn, dahn@mathematik.hu-berlin.de
• Peter Doyle
• Bill Farmer, wmfarmer@mcmaster.ca
• Solomon Feferman, sf@csli.stanford.edu
• Amy Felty
• Richard L. Ford
• Fausto Giunchiglia
• Bob Givan
• Mike Gordon
• Rajeev Goré
• Joshua D. Guttman
• Masami Hagiya
• John Harrison
• Randall Holmes
• Karsten Homann
• Xiaorong Huang
• Gérard Huet
• Eric Inman, inman002@gold.tc.umn.edu
• Paul Jackson
• Deepak Kapur, kapur@cs.albany.edu
• Matt Kaufmann, matt_kaufmann@email.mot.com
• Manfred Kerber
• Claude Kirchner
• Kenneth Kunen
• Pat Lincoln
• Zhaohui Luo
• Rusty Lusk
• Roman Matuszewski
• David McAllester
• John McCarthy
• William McCune
• Paliath Narendran
• Edward Nelson
• Tobias Nipkow
• Bengt Nordström
• Christine Paulin-Mohring
• Lawrence C Paulson
• Randy Pollack
• Piotr Rudnicki
• Rich Schroeppel, rcs@cs.arizona.edu
• Benjamin Shults
• John Staples
• Geoff Sutcliffe
• Christian Suttner
• F. Javier Thayer
• Richard Waldinger, waldinger@ai.sri.com
• Rainer Wasserfuhr
• Claus-Peter Wirth
• Carl Witty
• Larry Wos
• Hantao Zhang