[Todos] Charla de Borrachos(CdB): ATENCIÓN: Cambio de fecha: Automatización en el Gallo Mecánico

[vcotik en dc.uba.ar]

Atención: por esta vez cambiamos la fecha para el martes 1 Nov.

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)
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)
>