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.