Tutorial Formal Proofs in PVS

            18th Conference on Intelligent Computer Mathematics
                                - CICM 2025 -
                             October 6-10, 2025
                               Brasilia, Brazil 
                     http://www.cicm-conference.org/2025

----------------------------------------------------------------------------------------
 ROOM: LaForCE
---------------------------------------------------------------------------------------- 

The tutorial will provide a gentle introduction to PVS, focusing on recent contributions
to mathematical libraries of NASALib and recent features of PVS. The tutorial will be
organized as a hands-on activity with lectures and exercises. 

 • https://github.com/mayalarincon/FormalProofsInPVS
 
 
Speakers have been involved in several hands-on tutorials in PVS, for instance:

 •  ``PVS for Computer Scientists 2017" - ITP 2017.
      https://mayalarincon.github.io/pvsclass17/index.html

•  ``Program Validation and Verification in PVS" - CADE 2021.
      https://shemesh.larc.nasa.gov/fm/pvs/TutorialCADE2021

•  ``Mechanizing Mathematics" U. Nacional de Colombia, held the week before LPAR 2023.
      https://thaynaradelima.github.io/Tutorials/UNAL_Manizales_2023

 
Speakers and assistants
    Mauricio Ayala-Rincón/ University of Brasília (UnB) 
    Mariano Miguel Moscato/ Analytic Mechanics Associate
    César Muñoz/ NASA LaRC 
    Thaynara A. de Lima/ Federal University of Goiás (UFG)  
    Nikson Bernardes (PhD student Informatics/UnB) 
    Maria Júlia Dias (Master's student Informatics/UnB) 
    Marcos Mercandelli (PhD student Mathematics/UnB) 
    Guilherme Brandão (PhD student Mathematics/UnB)