People Visiting the ULTRA group

• Prof. Mauricio Ayala Rincon (Universidade de Brasilia), 2007-06-17/2007-06-25.
• Prof. Thérèse Hardin (LIP6, Université Pierre et Marie Curie Paris VI), 2007-06-01.
• Dr. Christian Haack (Radboud Universiteit Nijmegen), 2006-07-25/2006-07-28.
• Dr. Serge Autexier (Universität des Saarlandes), 2006-07-17.
• Mr. Marc Wagner (Universität des Saarlandes), 2006-07-11/2006-07-19.
• Dr. Serge Autexier (Universität des Saarlandes), 2006-07-11.
• Dr. Henning Makholm (Technical University of Denmark), 2006-07-03/2006-07-28.
• Prof. Andrew Pitts (University of Cambridge), 2006-06-14.
• Dr. Serge Autexier (Universität des Saarlandes), 2006-05-11.
• Prof. Henk Barendregt (Nijmegen University), 2006-05-01/2006-05-02.
• Mr. Paul van Tilburg (Eindhoven University of Technology), 2005-12-01/2006-02-23.
• Prof. Jörg H. Siekmann (DFKI - Universität des Saarlandes), 2005-07-29.
• Mr. Benoit Delahaye (ENS Cachan), 2005-06-06/2005-08-19.
• Dr. Karim Nour (Université de Savoie), 2005-06-02/2005-07-28.
• Miss Sandra Alves (University of Porto), 2005-05-09/2005-05-13.
• Prof. Mariangiola Dezani (University of Torino), 2005-04-11/2005-04-15.
• Miss Sandra Alves (University of Porto), 2005-04-11/2005-04-12.
• Dr. Serge Autexier (Universität des Saarlandes), 2005-04-08.
• Prof. Christoph Benzmüller (Universität des Saarlandes), 2005-04-08.
• Prof. Mauricio Ayala Rincon (Universidade de Brasilia), 2005-01-25/2005-02-05.
• Miss Dana N. Xu (University of Cambridge), 2005-01-10/2005-01-16.
• Dr. Serge Autexier (Universität des Saarlandes), 2004-12-15/2004-12-17.
• Prof. Christoph Benzmüller (Universität des Saarlandes), 2004-09-23/2004-10-01.
• Dr. Mário Florido (University of Porto), 2004-09-22/2004-09-24.
• Miss Sandra Alves (University of Porto), 2004-09-22/2004-09-15.
• Prof. Mauricio Ayala Rincon (Universidade de Brasilia), 2004-08-22/2004-08-28.
• Mr. Joseph J. Hallett (Boston University), 2004-07-06/2004-07-28.
• Mr. Alan Sexton (University of Birmingham), 2004-07-06.
• Prof. Jonathan P. Seldin (University of Lethbridge), 2004-07-01/2004-07-08.
• Mr. Stéphane Gimenez (ENS Lyon), 2004-05-29/2004-08-22.
• Participants of Mathematical Knowledge Management Symposium, 2003-11-25/2003-11-29.
  
• Prof. Harry Mairson (Boston University), 2003-07-08/2003-07-11.
• Dr. Ferrucio Damiani (University of Torino), 2003-07-06/2003-07-11.
• Mr. Joseph J. Hallett (Boston University), 2003-07-04/2003-07-14.
• Prof. Assaf Kfoury (Boston University), 2003-07-04/2003-07-14.
• Mr. Peter Møller Neergaard (Boston University), 2003-07-04/2003-07-11.
• Mr. Boris Yakobowski (INRIA), 2003-06-23/2003-08-22.
• Dr. Alberto Momigliano (Edinburgh University), 2003-05-23/2003-05-24.
• Prof. Mauricio Ayala Rincon (Universidade de Brasilia), 2003-03-02/2003-03-22.
• Mr. Tom Hirschowitz (INRIA Rocquencourt), 2002-11-18/2002-11-22.
• Dr. Aleksy Schubert (Warsaw University), 2002-08-28/2002-09-04.
• Prof. Anindya Banerjee (Kansas State University), 2002-08-12.
• Mr. Geoff Washburn (Boston University), 2002-07-30/2002-08-07.
• Mr. Sebastien Carlier (EPITA, Paris), 2002-07-27/2002-08-12.
• Prof. Martin Bunder (University of Wollongong), 2002-07-08/2002-07-19.
• Prof. Jonathan P. Seldin (University of Lethbridge), 2002-06-29/2002-07-19.
• Mr. Sebastien Carlier (EPITA, Paris), 2002-05-29/2002-06-09.
• Prof. Allen Stoughton (Kansas State University), 2002-05-27/2002-05-28.
• Participants of Workshop on Thirty-Five Years of Automath, 2002-04-10/2002-04-13.
  
• Prof. Jonathan P. Seldin (University of Lethbridge), 2002-04-07/2002-04-17.
• Dr. Aleksy Schubert (Warsaw University), 2002-03-06/2002-03-12.
• Mr. Sebastien Carlier (EPITA, Paris), 2002-03-05/2002-03-09.
• Mr. Geoff Washburn (Boston University), 2002-03-03/2002-03-16.
• Prof. Assaf Kfoury (Boston University), 2002-03-03/2002-03-09.
• Mr. Tom Hirschowitz (INRIA Rocquencourt), 2001-10-22/2001-10-30.
• Dr. Michael Hicks (Cornell University), 2001-10-22.
• Dr. Andrew Gordon (Microsoft Research), 2001-10-22.
• Prof. Assaf Kfoury (Boston University), 2001-06-27/2001-07-07.
• Prof. Roger Hindley (University of Swansea), 2001-05-26/2001-06-03.
• Prof. Jonathan P. Seldin (University of Lethbridge), 2001-05-15/2001-06-15.
• Dr. Ferrucio Damiani (University of Torino), 2001-01.
• Prof. Mariangiola Dezani (University of Torino), 2001-01.
• Participants of Workshop on History of Logics, Types and Rewriting, 2000-12-05.
  
• Prof. Assaf Kfoury (Boston University), 2000-07-16/2000-07-31.
• Participants of Festival Workshop in Foundations and Computation, 2000-07-16/2000-07-18.
  
• Prof. Bernhard Gramlich (University of Vienna), 2000-07-07.
• Mr. Jeff Considine (Boston University), 2000-04-27/2000-05-10.
• Participants of Joint Symposium on Computational Models of Brain, Language and Reasoning, 2000-02-01/2000-02-03.
  
• Participants of School in Logic and Computation, 2000-02-01/2000-02-03.
  
• Participants of Winter Workshop on Logics, Types and Rewriting, 2000-02-01/2000-02-03.
  
• Participants of EEF Foundation School in Deduction and Theorem Proving, 2000-02-01/2000-02-03.
  
• Prof. Gopalan Nadathur (University of Minnesota), 1999-08-17.
• Prof. John Woods (University of Lethbridge), 1999-08-09.
• Prof. Dov Gabbay (King's College London), 1999-08-06/1999-08-11.
• Prof. Assaf Kfoury (Boston University), 1999-07-21/1999-07-07.
• Dr. Johan Agat (Chalmers University), 1999-06-02/1999-06-06.
• Dr. Morag Campbell (SHEFC), 1999-02-24.
• Prof. John Reynolds (Carnegie Mellon University), 1998-12-10.
• Prof. N. G. de Bruijn (Eindhoven University of Technology), 1998-11-23/1998-11-29.
• Prof. Bob Muller (Boston College), 1998-11.