Luca Cardelli Fest

We are holding an event in honour of Luca Cardelli on Monday-Tuesday September 8-9, 2014, at Microsoft Research Cambridge.

We welcome additional participants at the lectures – please contact Lyndsay Upex a-lyupex@microsoft.com to register for the event. Registration is required but free, and includes lunches and breaks.

We may also be able to accommodate a small number of additional participants at the dinner at Downing College (with a separate fee). Please enquire if you are interested by 22nd August.

Please note that places are limited so do register early!  If you can’t attend in person, note that most of the speakers have agreed for videos of their talks to be posted on this website.

A collection of essays in honour of Luca is available as Microsoft Research Technical Report MSR-TR-2004-104 at this link http://research.microsoft.com/apps/pubs/?id=226237

Agenda

Day 1: Monday September 8

Time  Event 
8:30  Registration, Welcome Tea and Coffee
9:10

Opening

9:30 - 10:15  

One Long Talk (Chair: Andy Gordon)

Multilinear programming with big data

Gordon Plotkin, University of Edinburgh

10:15 - 10:45  

Break along with group photograph

10:45 - Noon  

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

Noon - 1:30   Lunch 
1:30 - 2:15  

One Long Talk (Chair: Martin Abadi)

A Brief History of Type (and some creepy crawlies)

Benjamin Pierce, University of Pennsylvania

2:15 - 2:45   Break 
2:45 - 3:45  

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 - 4:15   Break 
4:15 - 5:00

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 - 6:45 Break 
6:45

Reception Drinks followed by Dinner at 7.30pm, Downing College

Dress Code: Informal

 

Day 2: Tuesday September 9

Time  Event 
8:45  Registration, Welcome Tea and Coffee 
9:30 - 10:15

One Long Talk (Chair: Philippa Gardner)

Probabilistic programming in Tabular

Andy Gordon, Microsoft Research Cambridge

10:15 - 11:00   Break 
11:00 - Noon  

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

Noon - 1:30   Lunch 
1:30 - 2:15  

One Long Talk (Chair: Radu Mardare)

Programming Languages for Life

Ehud Shapiro, Weizmann Institute of Science  

2:15 - 2:45   Break 
2:45 - 3:45  

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 - 4:15   Break 
4:15 - 5:00 

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

Luca Cardelli

Accommodation

For accommodation in Cambridge please view this page.

The hotels and B&B’s nearest our lab are:

Organising Committee
  • Martin Abadi
  • Philippa Gardner
  • Andrew D. Gordon
  • Radu Mardare