{"id":278478,"date":"2016-08-17T16:05:59","date_gmt":"2016-08-17T23:05:59","guid":{"rendered":"https:\/\/new-cm-edgedigital.pages.dev\/en-us\/research\/?post_type=msr-event&p=278478"},"modified":"2025-08-06T11:59:45","modified_gmt":"2025-08-06T18:59:45","slug":"luca-cardelli-fest","status":"publish","type":"msr-event","link":"https:\/\/new-cm-edgedigital.pages.dev\/en-us\/research\/event\/luca-cardelli-fest\/","title":{"rendered":"Luca Cardelli Fest"},"content":{"rendered":"\n\n

We are holding an event in honour of Luca Cardelli at Microsoft Research Cambridge.Opens in a new tab<\/span><\/p>\n

We are holding an event in honour of Luca Cardelli<\/a> on Monday-Tuesday September 8-9, 2014, at Microsoft Research Cambridge.<\/p>\n

A collection of essays in honour of Luca is available here<\/a>.<\/p>\n

We welcome additional participants at the lectures. Registration is required but free, and includes lunches and breaks.<\/p>\n

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.<\/p>\n

Please note that places are limited so do register early! If you can\u2019t attend in person, note that most of the speakers have agreed for videos of their talks to be posted on this website.<\/p>\n

 Opens in a new tab<\/span><\/p>\n

Day 1: Monday September 8<\/strong><\/p>\n

8:30 AM
\nRegistration, Welcome Tea and Coffee<\/p>\n

9:10 AM
\nOpening<\/p>\n

9:30 AM – 10:15 AM
\nOne Long Talk (Chair: Andy Gordon):
\nMultilinear programming with big data, Gordon Plotkin, University of Edinburgh<\/p>\n

10:15 AM – 10:45 AM
\nBreak along with group photograph<\/p>\n

10:45 AM – 12:00 PM
\n5 Short Talks (Chair: Philippa Gardner):
\nLuca Cardelli and the Early Evolution of ML<\/a>, Dave MacQueen, University of Chicago
\nHow abstract should abstract types be?<\/a>, Xavier Leroy, INRIA Paris-Rocquencourt
\nAround formal parametricity, Pierre-Louis Curien, CNRS
\nA simple Proof of a simple Program, Jean-Jacques L\u00e9vy, Microsoft Research-INRIA Joint Centre
\nOn understanding types, data abstraction and effects<\/a>, Nick Benton, Microsoft Research Cambridge<\/p>\n

12:00 PM – 1:30 PM
\nLunch<\/p>\n

1:30 PM – 2:15 PM
\nOne Long Talk (Chair: Martin Abadi):
\nA Brief History of Type (and some creepy crawlies)<\/a>, Benjamin Pierce, University of Pennsylvania<\/p>\n

2:15 PM – 2:45 PM
\nBreak<\/p>\n

2:45 PM – 3:45 PM
\n4 Short Talks (Chair: Benjamin Pierce):
\nThe Challenges of Attaining Grace (at least in a language definition) , Kim Bruce, Pomona College, Claremont
\nFull reduction in the face of absurdity<\/a>, Didier R\u00e9my, INRIA Paris-Rocquencourt
\nTiny Bang: Type Inference and Pattern Matching on Steroids, Scott F. Smith, The Johns Hopkins University
\nWhat happened after LUCA?<\/a>, Giuseppe Longo, CNRS<\/p>\n

3:45 PM – 4:15 PM
\nBreak<\/p>\n

4:15 PM – 5:00 PM
\n3 Short Talks (Chair: Gordon Plotkin):
\nThe Behavior of Probabilistic Systems: from Equivalences to Behavioral Distances, Kim Larsen, Aalborg University
\nDeadlock analysis of unbounded process networks<\/a>, Cosimo Laneve, University of Bologna
\nTypes and Graph Queries, Giorgio Ghelli, University of Pisa<\/p>\n

5:00 PM – 6:45 PM
\nBreak<\/p>\n

6:45 PM
\nReception Drinks followed by Dinner at 7.30pm, Downing College<\/p>\n

Day 2: Tuesday September 9<\/strong><\/p>\n

8:45 AM
\nRegistration, Welcome Tea and Coffee<\/p>\n

9:30 AM – 10:15 AM
\nOne Long Talk (Chair: Philippa Gardner):
\nProbabilistic programming in Tabular<\/a>, Andy Gordon, Microsoft Research Cambridge<\/p>\n

10:15 AM – 11:00 AM
\nBreak<\/p>\n

11:00 AM – 12:00 PM
\n4 Short Talks (Chair: Vincent Danos):
\nDynamic Reactive Modules, Nir Piterman, University of Leicester
\nTypes and Logic, Concurrency and Non-Determinism<\/a>, Luis Caires, FCT\/Universidade Nova de Lisboa
\nProgramming languages and biology<\/a>, Corrado Priami, CoSBi Trento
\nCell cycle switching by an algorithm<\/a>, Attila Csik\u00e1sz-Nagy, King’s College London<\/p>\n

12:00 PM – 1:30 PM
\nLunch<\/p>\n

1:30 PM – 2:15 PM
\nOne Long Talk (Chair: Radu Mardare):
\nProgramming Languages for Life<\/a>, Ehud Shapiro, Weizmann Institute of Science<\/p>\n

2:15 PM – 2:45 PM
\nBreak<\/p>\n

2:45 PM – 3:45 PM
\n4 Short Talks (Chair: Ehud Shapiro):
\nProgramming Biology, Andrew Phillips, Microsoft Research Cambridge
\nComputing Cancer, Jasmin Fisher, Microsoft Research Cambridge
\nMaking the News Modelling Antigen Processing, Jorn M. Werner, University of Southampton
\nThe gene gate model: some afterthoughts<\/a>, Ralf Blossey, IRI CNRS<\/p>\n

3:45 PM – 4:15 PM
\nBreak<\/p>\n

4:15 PM – 5:00 PM
\n3 Short Talks (Chair: Andrew Phillips):
\nAn evolutionary view on information processing in cells<\/a>, Orkun Soyer, University of Warwick
\nChallenges in automated verification and synthesis for molecular programming<\/a>, Marta Kwiatowska, University of Oxford
\nApproximations for stochastic graph rewriting<\/a>, Vincent Danos, University of EdinburghOpens in a new tab<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"

We are holding an event in honour of Luca Cardelli on Monday-Tuesday September 8-9, 2014, at Microsoft Research Cambridge. <\/p>\n","protected":false},"featured_media":0,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","msr_startdate":"2014-09-08","msr_enddate":"2014-09-09","msr_location":"Microsoft Research Cambridge","msr_expirationdate":"","msr_event_recording_link":"","msr_event_link":"","msr_event_link_redirect":false,"msr_event_time":"","msr_hide_region":false,"msr_private_event":true,"msr_hide_image_in_river":0,"footnotes":""},"research-area":[],"msr-region":[239178],"msr-event-type":[197944],"msr-video-type":[],"msr-locale":[268875],"msr-program-audience":[],"msr-post-option":[],"msr-impact-theme":[],"class_list":["post-278478","msr-event","type-msr-event","status-publish","hentry","msr-region-europe","msr-event-type-hosted-by-microsoft","msr-locale-en_us"],"msr_about":"\n\n

We are holding an event in honour of Luca Cardelli at Microsoft Research Cambridge.Opens in a new tab<\/span><\/p>\n

We are holding an event in honour of Luca Cardelli<\/a> on Monday-Tuesday September 8-9, 2014, at Microsoft Research Cambridge.<\/p>\n

A collection of essays in honour of Luca is available here<\/a>.<\/p>\n

We welcome additional participants at the lectures. Registration is required but free, and includes lunches and breaks.<\/p>\n

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.<\/p>\n

Please note that places are limited so do register early! If you can\u2019t attend in person, note that most of the speakers have agreed for videos of their talks to be posted on this website.<\/p>\n

 Opens in a new tab<\/span><\/p>\n

Day 1: Monday September 8<\/strong><\/p>\n

8:30 AM
\nRegistration, Welcome Tea and Coffee<\/p>\n

9:10 AM
\nOpening<\/p>\n

9:30 AM – 10:15 AM
\nOne Long Talk (Chair: Andy Gordon):
\nMultilinear programming with big data, Gordon Plotkin, University of Edinburgh<\/p>\n

10:15 AM – 10:45 AM
\nBreak along with group photograph<\/p>\n

10:45 AM – 12:00 PM
\n5 Short Talks (Chair: Philippa Gardner):
\nLuca Cardelli and the Early Evolution of ML<\/a>, Dave MacQueen, University of Chicago
\nHow abstract should abstract types be?<\/a>, Xavier Leroy, INRIA Paris-Rocquencourt
\nAround formal parametricity, Pierre-Louis Curien, CNRS
\nA simple Proof of a simple Program, Jean-Jacques L\u00e9vy, Microsoft Research-INRIA Joint Centre
\nOn understanding types, data abstraction and effects<\/a>, Nick Benton, Microsoft Research Cambridge<\/p>\n

12:00 PM – 1:30 PM
\nLunch<\/p>\n

1:30 PM – 2:15 PM
\nOne Long Talk (Chair: Martin Abadi):
\nA Brief History of Type (and some creepy crawlies)<\/a>, Benjamin Pierce, University of Pennsylvania<\/p>\n

2:15 PM – 2:45 PM
\nBreak<\/p>\n

2:45 PM – 3:45 PM
\n4 Short Talks (Chair: Benjamin Pierce):
\nThe Challenges of Attaining Grace (at least in a language definition) , Kim Bruce, Pomona College, Claremont
\nFull reduction in the face of absurdity<\/a>, Didier R\u00e9my, INRIA Paris-Rocquencourt
\nTiny Bang: Type Inference and Pattern Matching on Steroids, Scott F. Smith, The Johns Hopkins University
\nWhat happened after LUCA?<\/a>, Giuseppe Longo, CNRS<\/p>\n

3:45 PM – 4:15 PM
\nBreak<\/p>\n

4:15 PM – 5:00 PM
\n3 Short Talks (Chair: Gordon Plotkin):
\nThe Behavior of Probabilistic Systems: from Equivalences to Behavioral Distances, Kim Larsen, Aalborg University
\nDeadlock analysis of unbounded process networks<\/a>, Cosimo Laneve, University of Bologna
\nTypes and Graph Queries, Giorgio Ghelli, University of Pisa<\/p>\n

5:00 PM – 6:45 PM
\nBreak<\/p>\n

6:45 PM
\nReception Drinks followed by Dinner at 7.30pm, Downing College<\/p>\n

Day 2: Tuesday September 9<\/strong><\/p>\n

8:45 AM
\nRegistration, Welcome Tea and Coffee<\/p>\n

9:30 AM – 10:15 AM
\nOne Long Talk (Chair: Philippa Gardner):
\nProbabilistic programming in Tabular<\/a>, Andy Gordon, Microsoft Research Cambridge<\/p>\n

10:15 AM – 11:00 AM
\nBreak<\/p>\n

11:00 AM – 12:00 PM
\n4 Short Talks (Chair: Vincent Danos):
\nDynamic Reactive Modules, Nir Piterman, University of Leicester
\nTypes and Logic, Concurrency and Non-Determinism<\/a>, Luis Caires, FCT\/Universidade Nova de Lisboa
\nProgramming languages and biology<\/a>, Corrado Priami, CoSBi Trento
\nCell cycle switching by an algorithm<\/a>, Attila Csik\u00e1sz-Nagy, King’s College London<\/p>\n

12:00 PM – 1:30 PM
\nLunch<\/p>\n

1:30 PM – 2:15 PM
\nOne Long Talk (Chair: Radu Mardare):
\nProgramming Languages for Life<\/a>, Ehud Shapiro, Weizmann Institute of Science<\/p>\n

2:15 PM – 2:45 PM
\nBreak<\/p>\n

2:45 PM – 3:45 PM
\n4 Short Talks (Chair: Ehud Shapiro):
\nProgramming Biology, Andrew Phillips, Microsoft Research Cambridge
\nComputing Cancer, Jasmin Fisher, Microsoft Research Cambridge
\nMaking the News Modelling Antigen Processing, Jorn M. Werner, University of Southampton
\nThe gene gate model: some afterthoughts<\/a>, Ralf Blossey, IRI CNRS<\/p>\n

3:45 PM – 4:15 PM
\nBreak<\/p>\n

4:15 PM – 5:00 PM
\n3 Short Talks (Chair: Andrew Phillips):
\nAn evolutionary view on information processing in cells<\/a>, Orkun Soyer, University of Warwick
\nChallenges in automated verification and synthesis for molecular programming<\/a>, Marta Kwiatowska, University of Oxford
\nApproximations for stochastic graph rewriting<\/a>, Vincent Danos, University of EdinburghOpens in a new tab<\/span><\/p>\n","tab-content":[{"id":0,"name":"About","content":"We are holding an event in honour of Luca Cardelli<\/a> on Monday-Tuesday September 8-9, 2014, at Microsoft Research Cambridge.\r\n\r\nA collection of essays in honour of Luca is available here<\/a>.\r\n\r\nWe welcome additional participants at the lectures. Registration is required but free, and includes lunches and breaks.\r\n\r\nWe 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.\r\n\r\nPlease note that places are limited so do register early! If you can\u2019t attend in person, note that most of the speakers have agreed for videos of their talks to be posted on this website.\r\n\r\n "},{"id":1,"name":"Agenda","content":"Day 1: Monday September 8<\/strong>\r\n\r\n8:30 AM\r\nRegistration, Welcome Tea and Coffee\r\n\r\n9:10 AM\r\nOpening\r\n\r\n9:30 AM - 10:15 AM\r\nOne Long Talk (Chair: Andy Gordon):\r\nMultilinear programming with big data, Gordon Plotkin, University of Edinburgh\r\n\r\n10:15 AM - 10:45 AM\r\nBreak along with group photograph\r\n\r\n10:45 AM - 12:00 PM\r\n5 Short Talks (Chair: Philippa Gardner):\r\nLuca Cardelli and the Early Evolution of ML<\/a>, Dave MacQueen, University of Chicago\r\nHow abstract should abstract types be?<\/a>, Xavier Leroy, INRIA Paris-Rocquencourt\r\nAround formal parametricity, Pierre-Louis Curien, CNRS\r\nA simple Proof of a simple Program, Jean-Jacques L\u00e9vy, Microsoft Research-INRIA Joint Centre\r\nOn understanding types, data abstraction and effects<\/a>, Nick Benton, Microsoft Research Cambridge\r\n\r\n12:00 PM - 1:30 PM\r\nLunch\r\n\r\n1:30 PM - 2:15 PM\r\nOne Long Talk (Chair: Martin Abadi):\r\nA Brief History of Type (and some creepy crawlies)<\/a>, Benjamin Pierce, University of Pennsylvania\r\n\r\n2:15 PM - 2:45 PM\r\nBreak\r\n\r\n2:45 PM - 3:45 PM\r\n4 Short Talks (Chair: Benjamin Pierce):\r\nThe Challenges of Attaining Grace (at least in a language definition) , Kim Bruce, Pomona College, Claremont\r\nFull reduction in the face of absurdity<\/a>, Didier R\u00e9my, INRIA Paris-Rocquencourt\r\nTiny Bang: Type Inference and Pattern Matching on Steroids, Scott F. Smith, The Johns Hopkins University\r\nWhat happened after LUCA?<\/a>, Giuseppe Longo, CNRS\r\n\r\n3:45 PM - 4:15 PM\r\nBreak\r\n\r\n4:15 PM - 5:00 PM\r\n3 Short Talks (Chair: Gordon Plotkin):\r\nThe Behavior of Probabilistic Systems: from Equivalences to Behavioral Distances, Kim Larsen, Aalborg University\r\nDeadlock analysis of unbounded process networks<\/a>, Cosimo Laneve, University of Bologna\r\nTypes and Graph Queries, Giorgio Ghelli, University of Pisa\r\n\r\n5:00 PM - 6:45 PM\r\nBreak\r\n\r\n6:45 PM\r\nReception Drinks followed by Dinner at 7.30pm, Downing College\r\n\r\nDay 2: Tuesday September 9<\/strong>\r\n\r\n8:45 AM\r\nRegistration, Welcome Tea and Coffee\r\n\r\n9:30 AM - 10:15 AM\r\nOne Long Talk (Chair: Philippa Gardner):\r\nProbabilistic programming in Tabular<\/a>, Andy Gordon, Microsoft Research Cambridge\r\n\r\n10:15 AM - 11:00 AM\r\nBreak\r\n\r\n11:00 AM - 12:00 PM\r\n4 Short Talks (Chair: Vincent Danos):\r\nDynamic Reactive Modules, Nir Piterman, University of Leicester\r\nTypes and Logic, Concurrency and Non-Determinism<\/a>, Luis Caires, FCT\/Universidade Nova de Lisboa\r\nProgramming languages and biology<\/a>, Corrado Priami, CoSBi Trento\r\nCell cycle switching by an algorithm<\/a>, Attila Csik\u00e1sz-Nagy, King's College London\r\n\r\n12:00 PM - 1:30 PM\r\nLunch\r\n\r\n1:30 PM - 2:15 PM\r\nOne Long Talk (Chair: Radu Mardare):\r\nProgramming Languages for Life<\/a>, Ehud Shapiro, Weizmann Institute of Science\r\n\r\n2:15 PM - 2:45 PM\r\nBreak\r\n\r\n2:45 PM - 3:45 PM\r\n4 Short Talks (Chair: Ehud Shapiro):\r\nProgramming Biology, Andrew Phillips, Microsoft Research Cambridge\r\nComputing Cancer, Jasmin Fisher, Microsoft Research Cambridge\r\nMaking the News Modelling Antigen Processing, Jorn M. Werner, University of Southampton\r\nThe gene gate model: some afterthoughts<\/a>, Ralf Blossey, IRI CNRS\r\n\r\n3:45 PM - 4:15 PM\r\nBreak\r\n\r\n4:15 PM - 5:00 PM\r\n3 Short Talks (Chair: Andrew Phillips):\r\nAn evolutionary view on information processing in cells<\/a>, Orkun Soyer, University of Warwick\r\nChallenges in automated verification and synthesis for molecular programming<\/a>, Marta Kwiatowska, University of Oxford\r\nApproximations for stochastic graph rewriting<\/a>, Vincent Danos, University of Edinburgh"}],"msr_startdate":"2014-09-08","msr_enddate":"2014-09-09","msr_event_time":"","msr_location":"Microsoft Research Cambridge","msr_event_link":"","msr_event_recording_link":"","msr_startdate_formatted":"September 8, 2014","msr_register_text":"Watch now","msr_cta_link":"","msr_cta_text":"","msr_cta_bi_name":"","featured_image_thumbnail":null,"event_excerpt":"We are holding an event in honour of Luca Cardelli on Monday-Tuesday September 8-9, 2014, at Microsoft Research Cambridge.","msr_research_lab":[199561],"related-researchers":[],"msr_impact_theme":[],"related-academic-programs":[],"related-groups":[],"related-projects":[],"related-opportunities":[],"related-publications":[167024],"related-videos":[191437],"related-posts":[],"_links":{"self":[{"href":"https:\/\/new-cm-edgedigital.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/278478","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/new-cm-edgedigital.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-event"}],"about":[{"href":"https:\/\/new-cm-edgedigital.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/types\/msr-event"}],"version-history":[{"count":3,"href":"https:\/\/new-cm-edgedigital.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/278478\/revisions"}],"predecessor-version":[{"id":1147297,"href":"https:\/\/new-cm-edgedigital.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/278478\/revisions\/1147297"}],"wp:attachment":[{"href":"https:\/\/new-cm-edgedigital.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/media?parent=278478"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/new-cm-edgedigital.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=278478"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/new-cm-edgedigital.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=278478"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/new-cm-edgedigital.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=278478"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/new-cm-edgedigital.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=278478"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/new-cm-edgedigital.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=278478"},{"taxonomy":"msr-program-audience","embeddable":true,"href":"https:\/\/new-cm-edgedigital.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-program-audience?post=278478"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/new-cm-edgedigital.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=278478"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/new-cm-edgedigital.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=278478"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}