[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
=========================================== BASICS'09 CALL FOR PARTICIPATION =========================================== BASICS 2009 International Workshop on Computation and Interaction (BASICS09) 11-16 October 2009 Shanghai, China Webpage: http://basics.sjtu.edu.cn/summer_school/basics09/ Email: bas...@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 bas...@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.