June 2018 Archives by author

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

Starting: Thu Jun 7 15:18:20 CEST 2018
Ending: Mon Jun 18 17:37:41 CEST 2018
Messages: 3

• [Club2] Invitation: A Career in Research: Mike Gordon and Hardware Verification @ Thu Jul 19, 2018 14:00 - 15:00 (CEST) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com
• [Club2] Invitation: Verifying Asymptotic Time Complexity of Imperative Progra... @ Fri Jun 15, 2018 12:00 - 13:00 (CEST) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com
• [Club2] Invitation: Verified Algorithm Analysis: Correctness and Complexity, ... @ Tue Jun 19, 2018 11:00 - 12:00 (CEST) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com

Last message date: Mon Jun 18 17:37:41 CEST 2018
Archived on: Mon Jun 18 17:37:56 CEST 2018

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