Ver esta página: "Logic and computation seminar"

1 view
Skip to first unread message

Juan Francisco Cardona McCormick

unread,
Mar 9, 2009, 10:59:35 AM3/9/09
to EAFIT: Logic and computation
Añadido los programas de repmins

Haz clic en http://groups.google.com/group/eafit-logic-and-computation/web/logic-and-computation-seminar.
Si haciendo clic no se activa, copia el enlace y pégalo en la barra de
direcciones de tu navegador.

Andrés Sicard-Ramírez

unread,
Mar 9, 2009, 11:11:35 AM3/9/09
to eafit-logic-a...@googlegroups.com
Ok. Gracias.

Sólo nos queda faltando el abstract en Ingles :-)

2009/3/9 Juan Francisco Cardona McCormick <jfcm...@gmail.com>:
--
Andrés

Juan Francisco Cardona McCormick

unread,
Jul 22, 2009, 10:46:49 AM7/22/09
to EAFIT: Logic and computation


Click on http://groups.google.com/group/eafit-logic-and-computation/web/logic-and-computation-seminar?hl=en
- or copy & paste it into your browser's address bar if that doesn't
work.

Juan Francisco Cardona McCormick

unread,
Jul 31, 2009, 3:55:37 PM7/31/09
to EAFIT: Logic and computation
The seminar web page was updated with the Arrow's presentation.

Haz clic en http://groups.google.com.co/group/eafit-logic-and-computation/web/logic-and-computation-seminar?hl=es.

Juan Pedro Villa Isaza

unread,
Aug 10, 2009, 11:27:57 AM8/10/09
to EAFIT: Logic and computation
Hola:

El próximo viernes hay Seminario de lógica y computación. Les envío la
información de la charla:

Fecha: Viernes, 14 de agosto de 2009
Lugar: 38-121
Autores: Andrés Sicard Ramírez y Juan Pedro Villa-Isaza
Título: Non-dependent types for the implementation of a dependently
typed functional programming language

En la página del seminario (http://groups.google.com/group/eafit-logic-
and-computation/web/logic-and-computation-seminar) encuentran más
información de la charla.

Saludos.

Andrés Sicard-Ramírez

unread,
Sep 5, 2009, 3:29:06 PM9/5/09
to EAFIT: Logic and computation
Hola,

Para aquellos interesados, adicione la presentación de Diego
(slides.org) en la
página del seminario.

Click on http://groups.google.com/group/eafit-logic-and-computation/web/logic-and-computation-seminar

Andrés Sicard-Ramírez

unread,
Sep 5, 2009, 3:30:59 PM9/5/09
to EAFIT-LCS
Hola,

Adicioné la presentación de Diego a la página del seminario

http://groups.google.com/group/eafit-logic-and-computation/web/logic-and-computation-seminar

--
Andrés

Andrés Sicard-Ramírez

unread,
Feb 22, 2010, 4:53:44 AM2/22/10
to EAFIT: Logic and computation

Juan Francisco Cardona McCormick

unread,
Aug 31, 2010, 9:49:35 AM8/31/10
to EAFIT: Logic and computation
Esta semana se hará la presentación de la charla de Functional
Circular Fixed Point Evaluator for Attribute Grammars.

Fecha 3 de Septiembre.
Hora: 11:00 a 12:00
Lugar: 38-216.
Título, conferencista y resumen:

http://groups.google.com/group/eafit-logic-and-computation/web/logic-and-computation-seminar

Saludos,

Juan F. Cardona

Juan Francisco Cardona McCormick

unread,
Sep 8, 2010, 11:08:30 AM9/8/10
to EAFIT: Logic and computation
Buenos días,

Se invita a toda la comunidad a la segunda parte de la presentación
Functional Circular Fixed Point Evaluator for Attribute Grammars. Que
tendrá lugar en el Bloque 38-216 a las 11:00 am.
Reply all
Reply to author
Forward
0 new messages