Speakers

For BASICS 2009, we have invited following leading researchers in the area of computation and interaction (in alphabetical order).

Yuxin Deng, Shanghai Jiao Tong University, China
  • Topic: Characterisations of probabilistic bisimulation
Yuxi Fu, Shanghai Jiao Tong University, China
  • Topic: Expressive Completeness
Rob van Glabbeek, NICTA, Australia
  • Topic: Comparative Semantics
Daniele Gorla, Universita di Roma "La Sapienza", Italy
  • Topic: Relative Expressiveness
Matthew Hennessy, Trinity College Dublin, Ireland
  • Topic: Testing nondeterministic and probabilistic processes
Uwe Nestmann, TU Berlin, Germany
  • Topic: Encodings into Asynchronous pi
Catuscia Palamidessi, INRIA, France
  • Topic: On the Expressiveness Power of Synchronization Primitives in π
Davide Sangiorgi, Universita di Bologna, Italy
  • Topic: Bisimulation and Coinduction