[Club2] Fr. 15.12, 11.30 im Turing

[Norbert Schirmer]

This Friday, 15.12, 11.30 in room Turing (00.09.055)

Florian and Alex report on our Galois-Connection:

Der User - Das unbekannte Wesen
--------------------------------

We report about our meeting with Galois Inc., where we collected a lot 
of suggestions for our work and Isabelle in general. Our short talks 
will hopefully initiate various fruitful discussions.


   Norbert