9.20 Opening
Session 1 - Chair: Andrew Pitts
9.30-10.30 Robert Harper - INVITED TALK - A pronominal account of binding and computation
10.30-11.00 Coffee Break
Session 2 - Chair: Maribel Fernández
11.00-11.45 James Cheney, Rene Vestergaard and Michael Norrish. Formalizing adequacy
11.45-12.30 Randy Pollack and Masahiko Sato. A Syntax for the Lambda-calculus
12.30-14.00 Lunch
Session 3 - Chair: Christian Urban
14.00-14.45 Matthew R. Lakin. Representing names with variables in nominal abstract syntax
14.45-15.30 Murdoch Gabbay and Dominic Mulligan. Semantic nominal terms
15.30-16.00 Coffee Break
Session 4 - Chair: Ian Mackie
16.00-16.45 Sam Staton. Substitution in Structural Operational Semantics and value-passing process calculi
16.45-17.30 Christophe Calvès. A Haskell Nominal Toolkit
17.30-18.00 Discussion/Closing.
19.30 Workshop Dinner