Lecture by NASA researcher - Mariano Moscato

The Department of Computer Science invites everyone to the lecture by NASA researcher Mariano Moscato.

International Lectures by NASA Researcher

 

Title: "PVS hands-on!"
Speaker: Mariano Moscato (Analytics Mechanics Associate AMS, NASA LaRC Formal Methods)

 

Dates:

 

29/04/2024, 14:00-16:00, Sala multiuso-CIC
03/05/2024, 09:00-12:00, Sala multiuso-CIC

 

Abstract: Brainstorming on the state-of-the art of the interactive proof assistant Prototype Verification System (PVS). The attendants will be encouraged to participate and discuss about specialized knowledge on the recent developments of PVS and opportunities of applications.