Speakers


    Roberto Amadio "A synchronous pi-calculus
      Jos Baeten "Using hybrid process algebra in model-based engineering of embedded systems ".
      Jesper Bengston "Formalising the pi-calculus using nominal logic ".
      Jan Bergstra "Thread algebra for strategic interleaving ".
      Nadia Busi "Expressiveness of bio-inspired process calculi ".
      Luis Caires "Properties of Interaction in Space".
      Marco Carbone/Kohei Honda/Nobuko Yoshida "A Theoretical Basis of Communication-Centred Concurrent Programming ".
      Luca Cardelli "Artificial Biochemistry ".
      Giuseppe Castagna "Milner's encoding revisited: new trends in (sub-)typing the pi-calculus". (Joint work with Rocco De Nicola, Mariangiola Dezani, and Daniele Varacca)
      Flavio Corradini "Checking a Mutex Algorithm in a Process Algebra with Fairness ".
      Pierre-Louis Curien "An approach to innocent strategies as graphs ".
      Frank de Boer "Object-oriented concurrency ".
      Wan Fokkink "Cones and foci: A mechanical framework for protocol verification".
      Cedric Fournet "Applications of concurrency theory to cryptography ".
      Laurent Fribourg "The critical-path problem in asynchronous circuits: A concurrency view ".
      Hubert Garavel "Practical applications of process calculi in industrial projects ".
      Andrew Gordon "A chart semantics for the pi-calculus ".(Based on joint work with Johannes Borgstroem and Andrew Phillips)
      Tony Hoare "Verification of Fine-grain Concurrency: Invariant Assertions, Rely/Guarantee Conditions, and perhaps Separation Logic and Petri nets ".
      Marta Kwiatowska "Analysing mobile ad hoc network protocols via probabilistic model checking".
      Kim Larsen "Optimal Real Time Games ".
      Jean-Jacques Levy "History based information flow in the lambda calculus ".
      Robin Milner "Bigraphs and Confluence ".
      Mike Mislove "Probabilistic Semantics " .
      Ugo Montanari "A Coalgebraic Theory of Reactive Systems ".
      Uwe Nestman "Applications of Concurrency Theory to Distributed Algorithms ".
      Mogens Nielsen "Computational Trust - Ideas towards a Science for Ubiquitous Computing ".
      Joachim Parrow "Expressiveness of Process Algebras ".
      Vijay Saraswat "A Theory of Memory Models ".
      Roberto Segala "Probability and Concurrency: where are the Problems?" .
      Peter Sewell "From HOL, ML and Pi-calculus to typed distributed programming" .
      Pawel Sobocinski "Towards a general theory of labels from reductions ".
      Kazunori Ueda "Hierarchical graph rewriting as a unifying model of concurrency ".
      Glynn Winskel "Causality Types ".