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

[Amal Ahmed]

Starting now in 366

> On May 14, 2024, at 9:17 PM, Holtzen, Steven <s.holtzen at northeastern.edu> wrote:
> 
> 
> 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.
>  
>  
> _______________________________________________
> pl-seminar mailing list
> pl-seminar at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-seminar
-------------- next part --------------
HTML attachment scrubbed and removed