[TYPES/announce] BASICS 2009 International Workshop on Computation and Interaction: Call for Participation

[Deng.Yuxin@pps.jussieu.fr]

===========================================
BASICS'09 CALL FOR PARTICIPATION
===========================================
BASICS 2009 International Workshop on Computation and Interaction (BASICS’09)

11-16 October 2009
Shanghai, China
Webpage: http://basics.sjtu.edu.cn/summer_school/basics09/
Email: basics at sjtu.edu.cn


OBJECTIVE:

The BASICS 2009 International Workshop on Computation and Interaction will
take place at Shanghai Jiao Tong University, October 11-16, 2009. The
lecturers are researchers on computation and interaction who will provide
an overview of the field and share their insights into the newest
development.

The main purpose of BASICS 2009 is to bring together researchers and
graduate students in order to advance the theory of computation and
interaction and promote its applications. Undergraduate students with
strong interest in formal methods are also welcome to attend.


LECTURERS (in alphabetical order):

Yuxin Deng, Shanghai Jiao Tong University,China
Yuxi Fu, Shanghai Jiao Tong University, China
Rob van Glabbeek, NICTA, Australia
Daniele Gorla, Universita di Roma "La Sapienza", Italy
Matthew Hennessy, Trinity College Dublin, Ireland
Huimin Lin, Chinese Academy of Science, China
Uwe Nestmann, TU Berlin, Germany
Catuscia Palamidessi, INRIA, France
Davide Sangiorgi, Universita di Bologna, Italy

PROGRAMME:
Oct 12
08:30-10:00  M. Hennessy (Topic: Testing nondeterministic and
probabilistic processes I)
10:30-12:00  D. Sangiorgi (Topic: Bisimulation and coinduction I.)
14:00-16:15  H. Lin (Topic: Model checking)
16:30-18:00  Contributed Talks
Oct 13
08:30-10:00  D. Sangiorgi (Topic: Bisimulation and coinduction II.)
10:30-12:00  M. Hennessy (Topic: Testing nondeterministic and
probabilistic processes II)
14:00-16:15  Y. Deng (Topic: Characterisations of probabilistic bisimulation)
16:30-18:00  Contributed Talks
Oct 14
08:30-10:00  R. van Glabbeek (Topic: Comparative semantics I.)
10:30-12:00  C. Palamidessi (Topic: Expressiveness of processes I.)
14:00-16:15  U. Nestmann (Topic: Encodings into asynchronous pi)
16:30-18:00  Contributed Talks
Oct 15
08:30-10:00  C. Palamidessi (Topic: Expressiveness of processes II.)
10:30-12:00  R. van Glabbeek (Topic: Comparative semantics II.)
14:00-16:15  D. Gorla (Topic: Relative expressiveness)
16:30-18:00  Y. Fu (Topic: Expressiveness completeness I.)
Oct 16
08:30-10:00  Y. Fu (Topic: Expressiveness completeness II.)
10:30-12:00  Panel Discussion on Open Problems

REGISTRATION

Participants are invited to download a copy of the registration form from
the web page  of the workshop and complete it before returning back to
basics at sjtu.edu.cn. We will accept registration on a
first-come-first-serve basis.

The attendants will have opportunities to report their research work in
this workshop. If you are interested in contributing a talk, please send
us an application (including the topic and abstract of your talk) within
the registration letter. Talks based on some published work are
particularly welcome. So please make the publication information clear
when you send us the application.

The registration fee is EUR 250. Participants will also be responsible for
their own accommodation, transportation, insurance, etc.