[Todos] HOY: 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: Martes 1 de Noviembre de 2011
Cita: Aula 9. a las 15:30 (Pabellón I) (15.30 hs picada, la charla empieza
aprox 20 minutos más tarde)
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.