Past Seminars

Thursday 21 May 2009, University of Cambridge, Computer Laboratory, WGB, Seminar room 1 (FW11)

• 10:00-10:30 Coffee (cafe, ground floor of William Gates Building)
• 10:30-11:15 Rasmus Moegelberg (ITU Copenhagen), "A Nominal relational model for local variables"
• 11:15-12.00 Maribel Fernandez (KCL), "Dependent type systems with nominal syntax"
• 12:00-13:00 Lunch
• 13:00-13:45 Dominic Mulligan (Heriot-Watt), "Permissive Nominal Terms and their Unification"
• 13:45-14:30 Nicola Pouillard / Francois Pottier (INRIA), "Towards a not-so-fresh ML"
• 14:30-15:15 Matt Lakin (Cambridge), "Solving constraints over non-permutative nominal terms"
• 15:15-16:00 Andy Pitts (Cambridge), "Name-restriction in nominal sets"
• 16:00 tea and finish

TAASN Meeting - 22nd March 2009, York.

Meeting (Nominal Unification): 18th April 2008 (Cambridge).

Monday 10th March 2008, Room K0.31, King's Building, Strand

• 10:00-10:30 Coffee (cafeteria, King's Building)
• 10:30-11:30 Andrew Pitts, "Alpha-Equivalence revisited"
• 11:30-12:00 Christian Urban, "How to prove false using the Variable Convention"
• 12:00-13:30 Lunch [13:00-13.30 TAASN organisation meeting]
• 13:30-14:30 Matt Lakin, "Translating nominal inductive definitions into MLSOS"
• 14:30-15:00 Maribel Fernandez, "Intersection types for nominal terms"
• 15:00-16:00 project meeting

Meeting (Nominal Unification): 6th December 2007(King's).

Thursday 25th October 2007, Room FW11, Cambridge University Computer Laboratory, William Gates Building

• 10:15-10:45: Coffee (cafe, ground floor of William Gates Building)
• 10:45-11:45 Ian Mackie, "Linearity and Optimality"
• 11:45-12:45 Chung Kil Hur (Cambridge), "Applications of (In)equational Systems: Nominal Equational Logic and Nominal Rewriting"
• 12:45-14:00 Lunch
• 14:00-16:00 Progress reports from PhD students: Christophe Calves (KCL), Ranald Clouston (Cambridge), Matt Lakin (Cambridge), Dave Turner (Cambridge)
• 16:00 Tea

Meetings (NRS-NEL): 27th July 2007 (Cambridge), 18th September 2007 (King's).

ICMS meeting: 26-28 May 2007

Monday 19th March 2007, room 21B, King's College London, Strand, London, WC2R 2LS, UK

• 10:00-10:30 Coffee (in the cafeteria)
• 10:30-11:00 Matt Lakin - A metalanguage for structural operational semantics
• 11.00-11.30 Maribel Fernandez - Curry-style types for nominal terms
• 11:30-11:45 Break
• 11:45-12:15 Andrew Pitts - Generative Unbinding of Names
• 12:15-12:45 Christophe Calves - A Linear algorithm for nominal matching
• 12:45-14:00 Lunch
• 14:00-15:30 Project meeting
• 15:30-16:00 Tea/Discussion

Thursday 26th October 2006, Room FW11, Cambridge University Computer Laboratory, William Gates Building

• 10:00-10:30: Coffee (cafe, ground floor of William Gates Building)
• 10:30-11:30 Ben Kavanagh (Edinburgh), "HsRedex: A language prototyping tool using nominal rewriting and logic"
• 11:30-12:15 Discussion on issues to do with name generation (led by Maribel Fenandez/Christophe Calves)
• 12:15-13:45 Lunch
• 13:45-14:45 Dave Turner (Cambridge), "Nominal Domain Theory for Concurrency"
• 14:45-15:45 Christian Urban (Munich), "Strong rule inductions"
• 15:45-16:15 Matt Lakin (Cambridge), "Nominal constraint problems"
• 16:15 Tea

Thursday 22nd June 2006, Room 2B25, King's College London, Strand

• 10:00-10:30 Coffee (in the new cafeteria)
• 10:30-11:30 Ranald Clouston and Andrew Pitts, Nominal equational logic
• 11:30-12:00 Break/Discussion
• 12:00-13:00 Christophe Calves, Nominal Unification and Locality Constraints
• 13:00-14:00 Lunch
• 14:00-15:00 Aad Mathijssen, One-and-a-halfth-order logic
• 15:00-16:00 Murdoch J. Gabbay, Concrete models of nominal algebra substitution

Tuesday 25th April 2006, Cambridge University Computer Laboratory

Morning Session, Room GS15

• 10:30-12:30 Types for Nominal Terms - Discussion
• 12:30-14:00 Lunch

Afternoon Session, Room FW11

• 14:00-16:30 Nominal Equational Logic - Discussion

Tuesday 6th December 2005, King's College London

Morning Session, Room 1B23

• 10:30-11:00 Introductions and coffee
• 11:00-11:45 Christophe Calves, Implementing Nominal Unification in Maude
• 11:45-12:00 Discussion
• 12:00-12:45 Christian Urban, Nominal datatypes in Isabelle/HOL
• 12:45-13:00 Discussion
• 13:00-14:00 Lunch

Afternoon Session, Room 25D

• 14:00-14:45 Murdoch J. Gabbay, Axiomatisation of first order logic
• 14:45-15:00 Discussion
• TBOD

Monday 24th October 2005, Cambridge University Computer Laboratory

• 10:30-10:35 introductions[Room FW26]
• 10:35-11:00 coffee [WGB cafe]
• 11:00-12:00 Andrew Pitts, Towards a programming language for SOS
• 12:00-12:30 discussion
• 12:30-14:15 lunch [Semantics Lunch talk by Cedric Fournet (MSR)in FW26]
• 14:15-15:15 Maribel Fernandez, Nominal rewriting[Room FW26]
• 15:15-16:15 Tea [WGB cafe], followed by disscusion and demos[Room FW26]