The pi-calculus: origin and recent developments
- Speaker
- Date and Time
Thursday, March 22nd, 2012 at 10:30
- Location
Polacksbacken, room 1146
- Abstract
This is a dry run for a talk at the Milner Symposium in Edinburgh, April 17. It will partly be a commemorative talk with anecdotes from the origin of the pi-calculus in the late 1980's, and partly cover the recent generalisations we are working on and our efforts to encode the proofs in the interactive theorem prover Isabelle.