[Club2] Freitag, 10:00, Turing

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


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



More information about the Club2 mailing list