• Upcoming Events
  • Past Seminars
  • Meetings hosted by Heriot-Watt
  • Meetings elsewhere organized by ULTRA members
  • None

  • Dr. Christian Haack, Radboud Universiteit Nijmegen:
  • Types for Cryptographic Protocols
    2006-07-28 (Friday)
    14:00:00, Room 1.01
  • Prof. Andrew Pitts, University of Cambridge:
  • Generative Unbinding of Names
    2006-06-14 (Wednesday)
    14:15:00, Room 1.83
  • Prof. Henk Barendregt, Nijmegen University:
  • Type reducibility and applications
    2006-05-02 (Tuesday)
    15:15:00, Room 1.27
  • Dr. Murdoch J. Gabbay, Heriot-Watt University:
  • Evolved logic
    2006-03-06 (Monday)
    14:15:00, Room G.44
  • Dr. Murdoch J. Gabbay, Heriot-Watt University:
  • The Fraenkel-Mostowski (FM) model of abstraction applied to name-generation
    2006-01-09 (Monday)
    14:15:00, Room 3.07
  • Dr. Manuel Maarek, Heriot-Watt University:
  • Toward an Object-Oriented Structure for Mathematical Text
    2005-07-12 (Tuesday)
    14:00:00, Room 1.70
  • Dr. Karim Nour, Université de Savoie:
  • Classical Combinatory Logic
    2005-07-01 (Friday)
    14:15:00, Room 1.58
  • Miss Dana N. Xu, University of Cambridge:
  • Modular Inference for Array Checks Optimization
    2005-01-11 (Tuesday)
    16:15:00, Room 1.70
  • Dr. Krzysztof Retel, Heriot-Watt University:
  • Mizar as a Tool for Teaching Mathematics
    2004-11-24 (Wednesday)
    15:30:00, Room 1.70
  • Miss Sandra Alves, University of Porto:
  • Weak Linearization of the Lambda Calculus
    2004-09-23 (Thursday)
    15:30:00, Room 1.70
  • Mr. Stéphane Gimenez, ENS Lyon:
  • Unification Modulo Observational Equivalence
    2004-08-18 (Wednesday)
    15:30:00, Room 1.70
  • Mr. Joseph J. Hallett, Boston University:
  • A Formal Semantics For Weak References
    2004-07-07 (Wednesday)
    14:00:00, Room 1.70
  • Dr. Alberto Momigliano, University of Leicester:
  • Induction and Co-induction in Sequent Calculus
    2003-05-23 (Friday)
    15:30:00, Room 1. 58
  • Dr. Jeff Polakow, Heriot-Watt University:
  • Introduction to Ordered Linear Logic
    2003-03-18 (Tuesday)
    15:30:00, Room 1. 11
  • Dr. Christian Haack, Heriot-Watt University:
  • Type Error Slicing in Implicitly Typed, Higher-Order Languages
    2003-02-20 (Thursday)
    15:30:00, Room 1. 11
  • Mr. Tom Hirschowitz, INRIA Rocquencourt:
  • A Calculus of Call-By-Value Mixin Modules
    2002-11-19 (Tuesday)
    11:30:00, Room 1.11
  • Dr. Joe Wells, Heriot-Watt University:
  • Branching Types
    2002-08-26 (Monday)
    14:15:00, Room 2.33
  • Prof. Anindya Banerjee, Kansas State University:
  • Secure Information Flow and Pointer Confinement in a Java-like Language
    2002-08-12 (Monday)
    14:15:00, Room 1.27
  • Dr. Perdita Stevens, University of Edinburgh:
  • Playing Games with Software Design
    2002-07-29 (Monday)
    14:15:00, Room 2.33
  • Prof. Torben Amtoft, Heriot-Watt University:
  • A Causal Type System for Ambient Movements
    2002-07-18 (Thursday)
    14:00:00, Room 2.33
  • Prof. Martin Bunder, University of Wollongong:
  • Combinatory Logic, Predicate Logic, Type Theory and The Foundation of Mathematics
    2002-07-17 (Wednesday)
    14:15:00, Room 2.33
  • Prof. Alley Stoughton, Kansas State University:
  • An Operational Semantics Framework Supporting the Incremental Construction of Derivation Trees
    2002-05-27 (Monday)
    14:15:00, Room 2.33
  • Dr. Peter Hancoc, University of Edinburgh:
  • Refinement calculus & Martin-Lof type theory
    2002-05-13 (Monday)
    14:15:00, Room 2.33
  • Dr. Roy Dyckhoff, University of St Andrews:
  • Strong Normalisation of Herbelin's Explicit Substitution Calculus
    2002-03-11 (Monday)
    11:15:00, Room 2.33
  • Dr. Bruce McAdam, University of Edinburgh:
  • Repairing Type Errors in Functional Programs
    2002-03-07 (Thursday)
    16:15:00, Room 2.33
  • Prof. Fairouz Kamareddine, Heriot-Watt University:
  • Higher Order Unification via Explicit Substitutions
    2001-12-05 (Wednesday)
    01:30:00, Room 2.33
  • Dr. Joe Wells, Heriot-Watt University:
  • Cycle Therapy
    2001-11-22 (Thursday)
    01:30:00, Room 2.33
  • Dr. Christian Haack, Heriot-Watt University:
  • A Tool for the Automatic Adaptation of Software Components Based on Semantic Specifications
    2001-11-08 (Thursday)
    01:30:00, Room 2.33
  • Dr. Michael Hicks, Cornell University:
  • Dynamic Software Updating
    2001-10-22 (Monday)
    09:45:00, Room 2.33
  • Dr. Andrew Gordon, Microsoft Research:
  • Authenticity by Typing for Security Protocols
    2001-10-22 (Monday)
    11:00:00, Room 2.33
  • Dr. Joe Wells, Heriot-Watt University:
  • Principal Typings Demystified: what they are, why you want them, and why your type system doesn't have them
    2001-10-11 (Thursday)
    01:30:00, Room 2.33

  • European Summer School in Logic Language and Information 2005 (ESSLLI'05).
    2005-08-08/2005-08-19.
    Organising chair: Fairouz Kamareddine
  • Mathematical Knowledge Management Symposium 2003.
    2003-11-25/2003-11-30.
    Program chair: Fairouz Kamareddine
  • Workshop: Thirty-Five Years of Automath.
    2002-04-10/2002-04-13.
  • Workshop on History of Logics, Types and Rewriting 2000.
    2000-12-05.
  • Festival Workshop on Foundations and Computing 2000.
    2000-07-16/2000-07-18.
  • EEF Foundations School in Deduction and Theorem Proving 2000.
    2000-04-06/2000-04-16.
  • Winter Workshop in Logics, Types and Rewriting 2000.
    2000-02-01/2000-02-03.
  • EEF School on Logic an Computation 1999.
    1999-04-10/1999-04-13.
  • Joint on Computational Models of Brain, Language and Reasoning 1998.
    1998-08-26.
  • Mathematics, Logic and Computation Workshop 2003.
    2003-06-30/2003-07-04, Eindhoven, the Netherlands.
    Affiliated with ICALP 2003
  • Intersection Types and Related Systems 2002 (ITRS'02).
    2002-07-26/2002-07-26, Copenhagen, Denmark.
    Affiliated with LICS 2002
  • International Workshop on Explicit Substitution: Theory and Applications to Programs and Proofs(WESTAPP'98).
    1998-03-29, Tsukuba, Japan.
  • International School on Type Theory and Term Rewriting 1996.
    1996-09-12/1996-09-15, Glasgow University.