Diferencias

Muestra las diferencias entre dos versiones de la página.

Enlace a la vista de comparación

grupos:avispa:colloquium_tribute_to_robin_milner_2010 [2011/01/24 15:30] (actual)
Línea 1: Línea 1:
 +====== Colloquium Tribute to Robin Milner ======
  
 +El Departamento de Ciencias e Ingeniería de la Computación y el grupo Avispa los invita al Coloquio "Tributo a Robin Milner" que se realizará el próximo Miércoles 28 de Abril de 2:00 pm a 6:00 pm en el Auditorio 4 del Samán.
 +
 +Robin Milner fue un gran científico de la computación cuyas investigaciones han proveído bases fundamentales para el entendimiento de procesos computacionales. Ha sido reconocido con el premio ACM Turing en 1991 (una de las mayores distinciones que se pueden recibir en ciencias de la computación) y entre sus mayores logros se encuentran: (1) el desarrollo del lenguaje de programación ML, (2) la construcción de un marco teórico para sistemas concurrentes llamado CCS, (3) una extensión de este último llamado el cálculo PI para sistemas móviles, y (4) la creación de un formalismo matemático llamado Bigraphs para modelar sistemas móviles y distribuidos.
 +
 +El profesor Milner recientemente murió y por esta razón el Departamento de Ciencias e Ingeniería de la Computación y en particular el grupo Avispa quieren rendirle un tributo a su memoria con una serie de charlas. Estas charlas han sido orgullosamente preparadas y serán presentadas por miembros del Grupo Avispa. La siguiente es la organización de las charlas:
 +
 +2:00 - 2:10   - Presentación (Gerardo M. Sarria M.)
 +2:10 - 2:50   - Robin Milner, vida y obra (Juan Francisco Diaz)
 +2:50 - 3:30   - CCS & Pi (Frank Valencia)
 +3:30 - 3:45   - Descanso
 +3:45 - 4:25   - ML (Camilo Rueda)
 +4:25 - 5:05   - Hennessy-Milner Logic (Carlos Olarte)
 +5:05 - 5:45   - Bigraphs (Jesús Aranda)
 +5:45 - 5:50   - Clausura (Gerardo M. Sarria M.)
 
grupos/avispa/colloquium_tribute_to_robin_milner_2010.txt · Última modificación: 2011/01/24 15:30 (editor externo)
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki