Fwd: Invitación al Ciclo de Conferencias Apolo: Computabilidad y Paralelismo

[Andrés Sicard-Ramírez]

FYI.

---------- Forwarded message ---------
From: Centro de Computación Científica APOLO <ap...@eafit.edu.co>
Date: Fri, 14 Sep 2018 at 10:15
Subject: Invitación al Ciclo de Conferencias Apolo: Computabilidad y Paralelismo
To:

 

Mensaje de: Centro de Computación Científica Apolo

 

Ciclo de Conferencias Apolo: Computabilidad y Paralelismo   El Centro de Computación Científica Apolo invita a la charla “Computabilidad y Paralelismo ", a cargo de Andres Sicard Ramirez, profesor e investigador de la Universidad EAFIT.   El cálculo lambda es un modelo de computación. De otra parte se conoce que la función parallel-or no es definible en este modelo. Se discute si la existencia de extensiones del cálculo lambda que incluyen características tales como paralelismo contradicen o no la tesis de Church-Turing.   Fecha: Miércoles 19 de septiembre de 2018. Lugar: Laboratorio para la Innovación y el Aprendizaje (Bloque 15, segundo piso). Hora: 11:00 a.m. a 12:00 m. (Entrada Libre).     Mayores informes: Centro de Computación Científica Apolo Teléfono:(57)(4)2619500,ext. 9592 Email: jpin...@eafit.edu.co

 

Usted ha recibido este mensaje porque está inscrito en la base de datos de contactos de la Universidad EAFIT o porque ha solicitado que se le envíe información de la Institución.

--

Andrés