Call for participation

(PDF version)

The BASICS 2009 International Workshop on Computation and Interaction will take place at Shanghai Jiao Tong University, on October 11-16, 2009.

Objective

The Workshop will focus on the expressiveness of process calculi, with an emphasis on the integrated approach to computation and interaction. The main purpose of the workshop is to bring together researchers and students to report their on-going research works and to discuss the next step research issues in the theory of process calculus.

Invited Speech

The invited speakers are some of the leading researchers in the process theory. Their talks will cover some of the main topics in the theory of equivalence, the different approaches in the theory of expressiveness, the expressive completeness of the interaction model, and some related issues.Here is the list of the invited speakers:

Note to Participant and Contributor

The attendants will have opportunities to report their research work in the workshop. If you are interested in contributing a talk, please send us an application (including the topic and abstract of your talk). Talks based on some published work are welcome. Please make the publication information clear when you send us the application. Participants should complete the Registration Form and return back to basics@sjtu.edu.cn. We will accept registration on a first-come-first-serve basis.