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.
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. |
Gerardo M. Sarria M. on behalf of the Department of Science and Engineering of Computing.