Re: REMINDER: Argonne Computing Coffee Hour Today from 2:00-3:00
Reminder, this is now… From: <[email protected]> on behalf of "Werner, Janet M." <[email protected]> Date: Wednesday, April 1, 2020 at 9:12 AM To: "[email protected]" <[email protected]> Subject: REMINDER: Argonne Computing Coffee Hour Today from 2:00-3:00 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
participants (1)
-
Hovland, Paul