[Club2] Mi. 15:00

Norbert Schirmer schirmer@in.tum.de
Mon, 29 May 2006 15:25:37 +0200

Previous message: [Club2] Spontan, Jetzt!, 15.00 Zuse
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Diese Woche,

Mi. 15:00 Uhr im Turing:

Lucas Dixon:

  "Proof Planning with Isabelle"

   Norbert

Previous message: [Club2] Spontan, Jetzt!, 15.00 Zuse
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]