July 2019 Archives by thread

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

Starting: Mon Jul 1 11:53:04 CEST 2019
Ending: Wed Jul 17 23:50:17 CEST 2019
Messages: 3

• [Club2] Invitation: The CakeML project and liveness proofs for non-terminatin... @ Wed Jul 10, 2019 15:00 - 16:00 (CEST) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com
• [Club2] Invitation: Homotopy type theory in Isabelle @ Wed Jul 17, 2019 15:00 - 16:00 (CEST) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com
• [Club2] Updated invitation: Homotopy type theory in Isabelle @ Thu Jul 18, 2019 11:00 - 12:00 (CEST) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com

Last message date: Wed Jul 17 23:50:17 CEST 2019
Archived on: Wed Jul 17 23:50:24 CEST 2019

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