Back to ITU home page

The IT University of Copenhagen

LaCoMoCo Seminar

LaCoMoCo Research Seminar on Programming Languages and Models for Mobile Communicating Systems

Program

November 8-9, ITU, Rued Langgaardsvej 7, Aud 2 and 3

Monday, nov. 8th in Aud 2:

13.15-14.15: Björn Victor (Uppsala University): Fusion Solos and D-fusion Diagrams
14.15-16.15: Peter Sewell (University of Cambridge) and Francesco Zappa Nardelli (INRIA Rocquencourt): Acute: high-level programming language design for distributed computation
16.30-17.15: T. Hildebrandt, J. C. Godskesen and M. Bundgaard (ITU): Introduction to Homer
17.15-18.00: T. Hildebrandt (ITU): Bigraphs and (reactive) XML

Tuesday, nov. 9th in Aud 3:

13.15-14.15: Peter Sewell and Francesco Zappa Nardelli: Acute: high-level programming language design for distributed computation
14.15-15.15: Francesco Zappa Nardelli: Behavioural Theory of Mobile Ambients
15.30-16.30: T. Hildebrandt, J. C. Godskesen and M. Bundgaard: Bisimulation Congruences for Homer

Host: Department of Theoretical Computer Science, Innovation Department, and FIRST
Everybody is welcome.