[Todos] Charla de Borrachos(CdB): Automatización en el Gallo Mecánico

[vcotik en dc.uba.ar]

Charla de Borrachos - 9na edición 2011

Título: "Automatización en el Gallo Mecánico"
Disertante: Lic. Beta Ziliani
Fecha: Viernes 28 de Octubre de 2011
Cita: Aula 3 a las 15:30 (Pabellón I)
URL: http://www.charladeborrachos.com.ar

*Resumen*:


 Los demostradores de teoremas son programas que verifican nuestras
pruebas, sin permitir que una prueba errónea pase por válida. Su uso es
creciente, en particular para construir pruebas complejas;
pruebas que ninguna persona (estudiante, supervisor, o reviewer) quiere
realmente verificar.

Presentaré el demostrador de teoremas más exitoso: Coq. A pesar de los
años de continuo desarrollo que tiene, automatizar pruebas en Coq sigue
siendo un desafío (por no decir, un dolor de cabeza), dado a que no es
posible especificar las rutinas de
automatización. Junto a mis colaboradores, hemos propuesto una nueva forma
de automatizar pruebas que evita estos problemas e, incluso,
funciona en Coq "out-of-the-box". Nuestro resultado consiste en dar el
siguiente paso en la correspondencia de Curry-Howard, incluyendo
overloading à la Type Classes de Haskell. No te preocupes, no se asume
conocimiento de nada de esto!

En esta charla voy a dar una breve introducción a Coq y al resultado
principal de nuestro trabajo.

----------------------------------------------

Con el objetivo de difundir las tareas de investigación que realizamos
dentro del departamento de computación, los estudiantes de doctorado tenemos
el agrado de invitar a la comunidad a un ciclo de charlas informativas (no
tradicionales) denominadas "Charla de Borrachos".

IMPORTANTE: No son necesarios conocimientos previos para comprender las
charlas.

Luego del exitoso camino transitado desde el 2004, retomamos estas
reuniones con más fuerza que nunca. Para más infomación visiten nuestra
página: www.charladeborrachos.com.ar

La charla sera acompañada con una degustación de vinos de la casa y snacks.
Estan TODOS invitados a participar del evento.

Saludos,
Comite Organizador de Charla de Borrachos (Choborra)