[Club2] Fr, 16.2., 11.30 im Turing

Alexander Krauss krauss at in.tum.de
Wed Feb 14 11:45:12 CET 2007

Next message: [Club2] Mo. 26.02. 14:00
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Lukas Bulwahn reports on his SEP on termination proofs.

Next message: [Club2] Mo. 26.02. 14:00
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Club2 mailing list