[Club2] Fr. 16.12: 14.00

Norbert Schirmer schirmer@in.tum.de
Thu, 15 Dec 2005 13:37:05 +0100


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