August 2018 Archives by thread

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

Starting: Tue Aug 21 04:23:46 CEST 2018
Ending: Tue Aug 21 04:26:15 CEST 2018
Messages: 2

• [Club2] Invitation: Verified Firewall Analysis of BSD PF @ Wed Aug 22, 2018 14:00 - 14:30 (CEST) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com
• [Club2] Invitation: Isabelle/CakeML News @ Wed Aug 29, 2018 14:00 - 14:20 (CEST) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com

Last message date: Tue Aug 21 04:26:15 CEST 2018
Archived on: Tue Aug 21 04:26:23 CEST 2018

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