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 Gerardo M. Sarria M.
2:10 - 2:50 Robin Milner, life and work Juan Francisco Díaz milner.pdf
2:50 - 3:30 CCS & Pi Frank D. Valencia milner-ccs.pdf
3:30 - 3:45 Break
3:45 - 4:25 ML Camilo Rueda milner-ml.pdf
4:25 - 5:05 Hennessy-Milner Logic Carlos Olarte milner-logic.pdf
5:05 - 5:45 Bigraphs Jesús Aranda milner-bigraphs.pdf
5:45 - 5:50 Closure Gerardo M. Sarria M.

Organization

Gerardo M. Sarria M. on behalf of the Department of Science and Engineering of Computing.

 
grupos/avispa/colloquium_tribute_to_robin_milner.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