April 2018 Archives by date

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

Starting: Tue Apr 10 14:39:38 CEST 2018
Ending: Wed Apr 25 13:48:35 CEST 2018
Messages: 2

• [Club2] Invitation: Rehearsal Talk by Simon Wimmer @ Thu Apr 12, 2018 14:00 - 16:00 (CEST) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com
• [Club2] Invitation: Further Scaling of Isabelle Technology @ Wed May 23, 2018 14:00 - 15:00 (CEST) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com

Last message date: Wed Apr 25 13:48:35 CEST 2018
Archived on: Wed Apr 25 13:48:44 CEST 2018

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