Posted: 5th September 2014

On September 8th – 9th, Microsoft is holding an event, called “Luca Cardelli Fest” in honour of the Oxford Computer Scientist in Cambridge. Talks include ‘Luca Cardelli and the Early Evolution of ML’ by Dave Macqueen, of Chicago University, and ‘Challenges in automated verification and synthesis for molecular programming’ by Marta Kwiatowska from the University of Oxford.

Dr Luca Cardelli, a top computer scientist at Microsoft Research, was awarded a Royal Society Research Professorship in the Department of Computer Science at the University of Oxford last year.

Luca is best known for his research in type theory and operational semantics.

Registration is required to attend the event, which is free, and includes lunches and breaks.

Booking and further information can be found here: http://research.microsoft.com/en-us/events/lucacardellifest/