Hello, Tomorrow, Fr. 16.12. at 14.00, as usual in room Alan Turing (00.09.055), Jesper Bengtson will report on his work on the "Formalisation of the Pi-Calculus". Norbert