Automation of Termination

Entradas Disponibles

Evento cerrado

El evento 'Automation of Termination' finalizó el 17-Oct-2019.

Este evento fue organizado con Ticketcode, ver ¿Cómo funciona?

Detalles del Evento

This talk will present current research on automation of termination for a functional language model in the Prototype Verification System PVS.  Automatically verifying termination increases flexibility of deductive systems and compilers, and involves research challenges that range from proving fundamental theorems about the pertinence of the model to developing mechanical proofs of the correspondence of different termination criteria that were developed for several computational frameworks such as Turing machines and rewriting systems.

 

Mauricio Ayala-Rincón

Full Professor - Depts. C. Computação & Matemática

Universidade de Brasília, Ed. EST/CIC

Lugar

Ver Mapa
  • Lugar: Universidad de los Andes - C-307
  • Dirección: Cl. 19A #1-37e, Bogotá, Colombia ¿Cómo llego aquí?

Compartir

facebook sharing button
twitter sharing button
messenger sharing button
whatsapp sharing button
linkedin sharing button
email sharing button

Organizador