Events part of the ULTRA group

Seminars
Meetings hosted by Heriot-Watt
Meetings elsewhere organized by ULTRA members

These listings are not complete, covering only more recent events.
Click here for a listing of earlier events.

Seminars

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. Allen 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 Hancock, 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

Meetings hosted by Heriot-Watt

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.

Meetings elsewhere organized by ULTRA members

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.

This page is maintained by Robert Lamar

Last Updated: 2010-09-27 17:22:33 (BST) (Monday)