[Todos] Recordatorio: Charla de Borrachos: Próximo Martes - 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)
>>
>
>