[Club2] Talk by Jesper Bengtson tomorrow, 24.9.08, 11:30

[Stefan Berghofer]

I would like to announce the following talk by Jesper Bengtson from Uppsala:

   Room: Konrad Zuse (01.11.018)
   Date: Wednesday, 24.9.
   Time: 11:30

Title:

Formalizing the framed pi-calculus using Nominal Isabelle

Greetings,
Stefan

-- 
Dr. Stefan Berghofer               E-Mail: berghofe at in.tum.de
Institut fuer Informatik           Phone: +49 89 289 17328
Technische Universitaet Muenchen   Fax:   +49 89 289 17307
Boltzmannstr. 3                    Room: 01.11.059
85748 Garching, GERMANY            http://www.in.tum.de/~berghofe