Skip to main content
Department of Information Technology

The pi-calculus: origin and recent developments


Joachim Parrow

Date and Time

Thursday, March 22nd, 2012 at 10:30


Polacksbacken, room 1146


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.

Back to the seminar page

Updated  2012-03-12 11:36:15 by Frédéric Haziza.