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/04/29 13:36]
gsarria
grupos:avispa:colloquium_tribute_to_robin_milner [2011/01/24 15:30] (actual)
Línea 1: Línea 1:
 +====== Colloquium Tribute to Robin Milner ======
 +
 +===== Overview =====
 +
 +Robin Milner was a great computer scientist whose research has been fundamental basis for the understanding of computational processes. He was prized with the ACM Turing Award in 1991 (one of the highest distinctions in computer science) and his major contributions include: (1) the development of the ML programming language, (2) the creation of a theoretical framework for concurrent systems called CCS, (3) an extension of CCS for mobile systems called the Pi-calculus, and (4) the composition of bigraphs, a formalism for modelling mobile and distributed systems.
 +
 +Professor Milner recently died (March 20, 2010) and for this reason the AVISPA Research Team has decided to honor his memory with a series of talks. These talks were proudly prepared and presented by members of AVISPA.
 +
 +The Colloquium will take place at **Auditorium 4 of the Samán Building** of Pontificia Universidad Javeriana-Cali, Colombia, **Wednesday April 28 between 2:00 pm and 6:00 pm.
 +**
 +
 +===== Program =====
 +
 +The following is the schedule of the talks:
 +
 +^ Time ^ Title ^ Speaker ^ Slides ^
 +| 2:00 - 2:10 | Presentation | [[http://cic.javerianacali.edu.co/~gsarria|Gerardo M. Sarria M.]] |  |
 +| 2:10 - 2:50 | Robin Milner, life and work | [[http://eisc.univalle.edu.co/index.php?option=com_content&task=view&id=67|Juan Francisco Díaz]] | {{:grupos:avispa:resources:milner.pdf|}} |
 +| 2:50 - 3:30 | CCS & Pi | [[http://www.lix.polytechnique.fr/~fvalenci|Frank D. Valencia]] | {{:grupos:avispa:resources:milner-ccs.pdf|}} |
 +| 3:30 - 3:45 | Break |   |   |
 +| 3:45 - 4:25 | ML | [[http://cic.puj.edu.co/~crueda/camilo|Camilo Rueda]] | {{:grupos:avispa:resources:milner-ml.pdf|}} |
 +| 4:25 - 5:05 | Hennessy-Milner Logic | [[http://sites.google.com/site/carlosolarte/|Carlos Olarte]] | {{:grupos:avispa:resources:milner-logic.pdf|}} |
 +| 5:05 - 5:45 | Bigraphs | [[http://www.lix.polytechnique.fr/~jesarana/|Jesús Aranda]] | {{:grupos:avispa:resources:milner-bigraphs.pdf|}} |
 +| 5:45 - 5:50 | Closure | [[http://cic.javerianacali.edu.co/~gsarria|Gerardo M. Sarria M.]] |  |
 +
 +
 +
 +===== Organization =====
 +
 +[[http://cic.javerianacali.edu.co/~gsarria/|Gerardo M. Sarria M.]] on behalf of the Department of Science and Engineering of Computing.
 +
  
 
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki