September 8, 2014 - September 9, 2014

Luca Cardelli Fest

Location: Microsoft Research Cambridge

Day 1: Monday September 8

8:30 AM
Registration, Welcome Tea and Coffee

9:10 AM
Opening

9:30 AM – 10:15 AM
One Long Talk (Chair: Andy Gordon):
Multilinear programming with big data, Gordon Plotkin, University of Edinburgh

10:15 AM – 10:45 AM
Break along with group photograph

10:45 AM – 12:00 PM
5 Short Talks (Chair: Philippa Gardner):
Luca Cardelli and the Early Evolution of ML, Dave MacQueen, University of Chicago
How abstract should abstract types be?, Xavier Leroy, INRIA Paris-Rocquencourt
Around formal parametricity, Pierre-Louis Curien, CNRS
A simple Proof of a simple Program, Jean-Jacques Lévy, Microsoft Research-INRIA Joint Centre
On understanding types, data abstraction and effects, Nick Benton, Microsoft Research Cambridge

12:00 PM – 1:30 PM
Lunch

1:30 PM – 2:15 PM
One Long Talk (Chair: Martin Abadi):
A Brief History of Type (and some creepy crawlies), Benjamin Pierce, University of Pennsylvania

2:15 PM – 2:45 PM
Break

2:45 PM – 3:45 PM
4 Short Talks (Chair: Benjamin Pierce):
The Challenges of Attaining Grace (at least in a language definition) , Kim Bruce, Pomona College, Claremont
Full reduction in the face of absurdity, Didier Rémy, INRIA Paris-Rocquencourt
Tiny Bang: Type Inference and Pattern Matching on Steroids, Scott F. Smith, The Johns Hopkins University
What happened after LUCA?, Giuseppe Longo, CNRS

3:45 PM – 4:15 PM
Break

4:15 PM – 5:00 PM
3 Short Talks (Chair: Gordon Plotkin):
The Behavior of Probabilistic Systems: from Equivalences to Behavioral Distances, Kim Larsen, Aalborg University
Deadlock analysis of unbounded process networks, Cosimo Laneve, University of Bologna
Types and Graph Queries, Giorgio Ghelli, University of Pisa

5:00 PM – 6:45 PM
Break

6:45 PM
Reception Drinks followed by Dinner at 7.30pm, Downing College

Day 2: Tuesday September 9

8:45 AM
Registration, Welcome Tea and Coffee

9:30 AM – 10:15 AM
One Long Talk (Chair: Philippa Gardner):
Probabilistic programming in Tabular, Andy Gordon, Microsoft Research Cambridge

10:15 AM – 11:00 AM
Break

11:00 AM – 12:00 PM
4 Short Talks (Chair: Vincent Danos):
Dynamic Reactive Modules, Nir Piterman, University of Leicester
Types and Logic, Concurrency and Non-Determinism, Luis Caires, FCT/Universidade Nova de Lisboa
Programming languages and biology, Corrado Priami, CoSBi Trento
Cell cycle switching by an algorithm, Attila Csikász-Nagy, King’s College London

12:00 PM – 1:30 PM
Lunch

1:30 PM – 2:15 PM
One Long Talk (Chair: Radu Mardare):
Programming Languages for Life, Ehud Shapiro, Weizmann Institute of Science

2:15 PM – 2:45 PM
Break

2:45 PM – 3:45 PM
4 Short Talks (Chair: Ehud Shapiro):
Programming Biology, Andrew Phillips, Microsoft Research Cambridge
Computing Cancer, Jasmin Fisher, Microsoft Research Cambridge
Making the News Modelling Antigen Processing, Jorn M. Werner, University of Southampton
The gene gate model: some afterthoughts, Ralf Blossey, IRI CNRS

3:45 PM – 4:15 PM
Break

4:15 PM – 5:00 PM
3 Short Talks (Chair: Andrew Phillips):
An evolutionary view on information processing in cells, Orkun Soyer, University of Warwick
Challenges in automated verification and synthesis for molecular programming, Marta Kwiatowska, University of Oxford
Approximations for stochastic graph rewriting, Vincent Danos, University of Edinburgh