February 2020 Archives by thread

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

Starting: Mon Feb 10 17:27:33 CET 2020
Ending: Fri Feb 21 16:44:08 CET 2020
Messages: 9

• [Club2] Invitation: Bachelor's Thesis Presentation by Robin Eßmann @ Wed Feb 12, 2020 14:00 - 14:25 (CET) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com
• [Club2] Invitation: Manipulating Sums and Related Operators in Isabelle/HOL @ Wed Feb 12, 2020 14:25 - 14:50 (CET) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com
• [Club2] Updated invitation with note: Verification of Approximation Algorithms @ Wed Feb 12, 2020 14:00 - 14:25 (CET) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com
  • [Club2] Updated invitation with note: Verification of Approximation Algorithms @ Wed Feb 12, 2020 14:00 - 14:25 (CET) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com
• [Club2] Invitation: Formal verification of SAT-encodings of SAS+ planning pro... @ Wed Feb 12, 2020 14:50 - 15:25 (CET) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com
• [Club2] Updated invitation with note: Manipulating Sums and Related Operators in Isabelle/HOL @ Wed Feb 12, 2020 14:25 - 14:50 (CET) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com
• [Club2] Updated invitation with note: Formal verification of SAT-encodings of SAS+ planning pro... @ Wed Feb 12, 2020 14:50 - 15:25 (CET) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com
• [Club2] Invitation: Verified Monadification and Memoization @ Wed Feb 19, 2020 14:00 - 14:30 (CET) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com
• [Club2] Invitation: Decision Procedures in Isabelle/HOL @ Wed Feb 26, 2020 14:00 - 14:35 (CET) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com

Last message date: Fri Feb 21 16:44:08 CET 2020
Archived on: Fri Feb 21 16:44:14 CET 2020

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