Department of Information Technology

The pi-calculus: origin and recent developments

Speaker

Joachim Parrow

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.

Back to the seminar page

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