Palestra de Pesquisador da NASA - Mariano Moscato

O Departamento de Ciência da Computação convida todos para a palestra do Pesquisador da NASA Mariano Moscato.

 

Palestras Internacionais de Pesquisador da NASA

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.