[Pl-seminar] Seminar Friday May 14: "One QED" in the National Interest: Formal Methods Research at Sandia -- Philip Johnson-Freyd

[Holtzen, Steven]

Here is a zoom link in case people want to join that way: https://northeastern.zoom.us/j/6165568299

From: pl-seminar-bounces at lists.ccs.neu.edu <pl-seminar-bounces at lists.ccs.neu.edu> on behalf of Holtzen, Steven <s.holtzen at northeastern.edu>
Date: Tuesday, May 14, 2024 at 9:17 PM
To: pl-seminar at lists.ccs.neu.edu <pl-seminar at lists.ccs.neu.edu>
Cc: Johnson-Freyd, Philip Alden <pajohn at sandia.gov>
Subject: Re: [Pl-seminar] Seminar Friday May 14: "One QED" in the National Interest: Formal Methods Research at Sandia -- Philip Johnson-Freyd
Correction: the date is Friday, May 17.

From: Holtzen, Steven <s.holtzen at northeastern.edu>
Date: Tuesday, May 14, 2024 at 9:16 PM
To: pl-seminar at lists.ccs.neu.edu <pl-seminar at lists.ccs.neu.edu>
Cc: Johnson-Freyd, Philip Alden <pajohn at sandia.gov>
Subject: Seminar Friday May 14: "One QED" in the National Interest: Formal Methods Research at Sandia -- Philip Johnson-Freyd
Hi everyone,

We have an embarrassment of riches: two PRL seminars in 1 week! Note the different time (this time we will not be providing lunch):

Where: WVH 366
When: Friday, May 14 (1:00-2:00)
Speaker: Philip Johnson-Freyd, Sandia National Laboratories
Title: "One QED" in the National Interest: Formal Methods Research at Sandia
Abstract: The Digital Foundations & Mathematics team at Sandia National Laboratories develops and applies tools for the formal verification of digital systems, electrical modeling and simulation analysis, and computing accelerators for extreme environments. This talk will discuss the why and how of these activities, explaining how a vision for end-to-end verification is relevant to a national security laboratory.


-------------- next part --------------
HTML attachment scrubbed and removed