March 2018 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...

Starting: Fri Mar 2 16:20:49 CET 2018
Ending: Wed Mar 28 18:23:17 CEST 2018
Messages: 2

• [Club2] Invitation: Homeomorphisms of the Circle @ Wed Mar 14, 2018 14:00 - 14:30 (CET) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com
• [Club2] Invitation: A Verified Compiler from Isabelle/HOL to CakeML @ Thu Apr 5, 2018 14:00 - 16:00 (CEST) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com

Last message date: Wed Mar 28 18:23:17 CEST 2018
Archived on: Wed Mar 28 18:23:27 CEST 2018

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...