[Club2] Freitag, 10:00, Turing

Norbert Schirmer norbert.schirmer at web.de
Mon Jul 3 15:10:15 CEST 2006

Previous message: [Club2] Freitag, 11.30, Zuse
Next message: [Club2] Merge: Freitag ab 10:30 im Zuse
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Freitag, 7.7. 10.00.  (Turing,  00.09.055)

Georg Lutz wird über sein Systementwicklungsprojekt mit dem Titel

   "Formalizing a calculus of Mobile Broadcasting Systems in Isabelle"

sprechen.

  Norbert

Previous message: [Club2] Freitag, 11.30, Zuse
Next message: [Club2] Merge: Freitag ab 10:30 im Zuse
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Club2 mailing list