October 2018 Archives by thread

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

Starting: Sun Oct 7 23:00:34 CEST 2018
Ending: Mon Oct 29 15:31:43 CET 2018
Messages: 4

• [Club2] Invitation: From Kronecker's double series to context-free languages @ Mon Oct 15, 2018 14:00 - 15:00 (CEST) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com
• [Club2] Invitation: Decision Procedures for Metric Spaces @ Wed Oct 17, 2018 14:00 - 14:30 (CEST) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com
• [Club2] Invitation: Mizar/Isabelle Project: State of the Art and Beyond @ Thu Oct 25, 2018 14:00 - 16:00 (CEST) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com
• [Club2] Invitation: Probabilistic Primality Tests in Isabelle/HOL @ Wed Oct 31, 2018 15:00 - 16:00 (CET) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com

Last message date: Mon Oct 29 15:31:43 CET 2018
Archived on: Mon Oct 29 15:31:51 CET 2018

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