Kolkata / July Bremen / Saint-Malo / Bern / Austin / Almaty / Bras´ılia / Bremem / Kenting / Kyoto / Rennes / Vietri / Indianapolis / Toronto / St. Petersburg / Vienna / Brno / Hamburg / Coimbra / Marseille / Rio de Janeiro / Seattle / Alghero / Southampton / Brisbane / Montevideo / Boston / Palo Alto / Sydney / Ioannina / Berlin / Rome / Las Cruces / Aachen / Los Angeles / Copenhagen / Yogyakarta / Namur / Glasgow / Academia Sinica / Genoa / Lisbon / Doha / Merida / Les Diablerets / Dagstuhl / Oiso / York / Madrid / Tainan / Saratoga / Minas Gerais / Washington DC / Uppsala / Budapest / Acireale / Montreal / Leipzig / Paris / Tokyo / Manchester / Milano / Marktoberdorf / Philadelphia / Munich / Pittsburgh / Vancouver / Kaiserslautern / Bonn / Trieste / Lyon / Rhodes / Rocquencourt / Barcelona / Tallinn / Aussois / Eugene / Valencia / Madison / Leuven / Eilat / Phnom Penh / New Orleans / Firenze / Reykjavik / Paoli / Prague / Luminy / Nancy / Melbourne / Nice / Bertinoro / London / Applications / San Diego / /
Company
Hewlett-Packard / Secure/Survivable Systems / Cambridge University Press / Unisys / Digital Equipment Corporation / Mechanized Mathematics Systems / Oxford University Press / Programming Research Group / AT&T Bell Labs / Compulog-Network Subgroup / Electrotechnical Laboratory / ACM Special Interest Group / All about / Theorem Proving Systems / NATO Press / Fifth Generation Computer Systems / Computer Laboratory / Analytic Proof Systems / Computing Laboratory / ESPRIT / Siemans AG / Computer Science Laboratory / IBM Japan / SRI International / Proof Theory / /
Country
Venezuela / Estonia / Brazil / United Kingdom / China / Israel / Scotland / Denmark / Italy / Kazakhstan / Qatar / Spain / Switzerland / Hungary / Uruguay / Bulgaria / Cambodia / France / Japan / Iceland / Canada / Australia / Portugal / India / Taiwan / Germany / Sweden / New Zealand / Poland / Indonesia / Belgium / Austria / United States / Greece / Czech Republic / /
Currency
SOS / / /
Facility
University of Rome / University of Sienna / University of Paris Diderot / Kyoto University / Syracuse University / Lebanon Valley College / Stanford University / University Aix-Marseille / University of Glasgow / Swedish Institute of Computer Science / University of Genoa / Shanghai Jiao Tong University / Pennsylvania State University / Indian Institute of Technology / University of East Anglia / Glasgow University / Chalmers University of Technology / Technical University of Vienna / The Pennsylvania State University / University of Siena / University of Auckland / University of Milano / University of Cambridge / University of Oxford / State University of New York / University of St. Andrews / College of Engineering / Swarthmore College / Chinese University of Hong Kong / University of Torino / University of Padua / Oregon Graduate Institute / Hong Kong University / Portland State University / University of Pisa / Imperial College / Tokyo Institute of Technology / Columbia University / Edinburgh University / University of Edinburgh / Duke University / St. Andrews University / Rutgers University / Simon Fraser University / Waseda University / Ohio State University / Dresden University of Technology / Turing Institute / Penn State University / University of Bath / Royal Melbourne Institute of Technology / Carnegie Mellon University / University of Padova / University of Chicago / Cornell University / Cambridge University / University of Uppsala / Bristol University / Australian National University / University of Technology / Wesleyan University / University of Minnesota / University of Pennsylvania / McGill University / University of Paris / /
IndustryTerm
satellite workshop / proof search / /
NaturalFeature
Dale Miller Curriculum Vitae INRIA Saclay / /
OperatingSystem
Aix / /
Organization
Ex officio / EATCS Award Committee / Advanced Study Institute / Edinburgh University / Association of Symbolic Logic / Turing Institute / Chinese University of Hong Kong / LICS Advisory Board / Cognitive Science Department / Fourth International School for Computer Science Researchers / CPP Steering Committee / Program Committee / AI Lab / McGill University / International Summer School on the Logic of Computation / University of Paris Diderot / University of Technology / Sydney / Department of Computer Science and Engineering / Computer Science Department / University of Oxford / Cornell University / School of Computer Science / Royal Melbourne Institute of Technology / Melbourne / International Congress / Executive Committee of the ACM Special Interest Group / University of T¨ / University of Chicago / CUSO Winter School / German AI / University of Sienna / Shanghai Jiao Tong University / Ohio State University / Programming Artificial Intelligence / Lebanon Valley College / St. Andrews University / Australian National University / Institut Galilee / Army Research Office / Institut d’Informatique / IJCAR / NATO Science Committee / University of Bath / National Science Foundation / European Summer School / University of Pennsylvania / Pennsylvania State University / Department of Mathematics / PUC-Rio / SUNY / Advanced School on Foundations / Tokyo Institute of Technology / Tokyo / Campus de l’Ecole Polytechnique Palaiseau / FICS Workshop Steering Committee / Glasgow University / Swedish Institute of Computer Science / The Pennsylvania State University / Oregon Graduate Institute / Summer School / United Nations / Department of Computer Science / University of Pisa / Ohio State Univ / Association for Automated Reasoning / University of Siena / UK Chapter / University of Auckland / Simon Fraser University / Swarthmore College / Panel / Cambridge University / University of Rome / Columbia University / University of Milano / Rutgers University / Waseda University / Tokyo / Wesleyan University / University of East Anglia / Norwich / Association for Symbolic Logic / North Atlantic Treaty Organization / Duke University / Association for Logic / Language and Information / Hong Kong University / Indian Institute of Technology / Kanpur / State University of New York at Buffalo / University of Edinburgh / Univ of Paris / Ecole polytechnique / Bristol University / University of Torino / Kyoto University / Herbrand Award Committee / Carnegie Mellon University / Oxford University / Dresden University of Technology / Portland State University / Ecole Normale Superieure / Paris / University of Genoa / International Centre for Theoretical Physics / University of Padua / University of Glasgow / Imperial College / Artificial Intelligence Department / Second International School of Philosophy of Science / College of Engineering & Computer Science / Penn State University / University of Padova / Chalmers University of Technology / Congress / University of Paris / Editorial Board / University of St. Andrews / International School on Computational Logic / Universidad de Malaga / University of Cambridge / National Bureau of Standards / Stanford University / University of Vienna / European Association for Computer Science Logic / University of Uppsala / Syracuse University / Universidad Complutense Madrid / Department of Computing Science / Steering Committee / University of Minnesota / /
Person
Murray Hill / Ecole Polytechnique Palaiseau / Sophia Antipolis / Hudson / Peter Andrews / Amy Felty / AI / Austin Texas / Frank Pfenning / Elsa Gunter / Alan Turing / / /
Position
Mathematician / Professor / Major Research Interests / Editor-in-Chief / Editorial Advisor / Assistant Professor / Associate editor / area editor / Visiting Research Scientist / LFCS / Invited Speaker / Assistant / Associate Professor / Professor and Head / co-Chair / Chair / /
Dale Miller Curriculum Vitae INRIA Saclay - ˆIle-de-France & Laboratoire d’Informatique, LIX 1 rue Honor´e d’Estienne d’Orves LIX, Bˆatiment Alan Turing ´