1 Apr
2020
1 Apr
'20
9:11 a.m.
Hello, The weekly Argonne Computing Coffee Hours are going well with having presentations each week to facilitate everyone getting to know about each other’s computing activities to enable more collaborations. The coffee hours take place on Wednesdays, 2pm – 3pm. The speaker for today is Jan Hueckelheim and the title of his talk is “Formal verification of numerical programs using CIVL.” Please participate by using Jan’s Blue Jean number: https://bluejeans.com/2036683687 Janet -- Computing mailing list [email protected] https://lists.cels.anl.gov/mailman/listinfo/computing