The WCTP-2011 program will consist of Invited Talks by prominent researchers, Contributed Talks and Poster Sessions from submitted papers selected by the Program Committee. All sessions will be devoted to original research. Major topics of the workshop include, but are not limited to, the following:
- Logical approach to software engineering for model checking and theorem proving
- Process calculi and their applications to security and software verification
- Formal frameworks of bioinformatics such as p system, petri-net and ambient calculus
- User modeling (emotion, mood, intention, motion, posture and gesture)
- User behavior and/or activity modeling
- Social signal processing
- Ubiquitous computing
- Ambient intelligence
- Human-computer interactions
- Intelligent user interfaces
Submissions related to the topics of the workshop are very much welcome. Submissions that relate results from other areas to the workshop topics are also encouraged. Submitted papers should preferably be typeset in LaTeX2e using the Springer document class llncs for the LNCS format (see http://www.springer.de/comp/lncs/authors.html). There is no limitation on paper length although we recommend the usual page limits of around 12 pages.
Any submission should include the session name, the title of the paper, names and affiliations of authors, an abstract of 70-150 words, and the contact author's name, phone number, fax number, and email address. Submissions must be in English. The paper must be unpublished and not submitted for publication elsewhere, including journals and proceedings of other symposia or workshops. One author of each accepted paper should be able to present it at the workshop.
For any inquiry, please email roberto(at)ai.sanken.osaka-u.ac.jp. Kindly specify in the subject field the pertinent session number.