Post date: Jul 13, 2015 8:44:19 AM

Call for Papers

Topics

The WCTP 2015 program will consist of invited talks by prominent researchers and contributed talks 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 followings:

Category 1: Theoretical Approaches to Computation

• Logical approach to software and hardware verification: model checking, theorem proving, etc.
• Formal approaches to computation: typed and untyped lambda calculi, process calculi, object calculi, etc.
• Formal frameworks for bioinformatics: P system, ambient calculus, petri nets, etc.

Category 2: Practical Approaches to Computation

• User modeling (emotion, mood, intention, motion, posture and gesture)
• User behavior and/or activity modeling
• Social signal processing
• Ambient intelligence
• Intelligent user interfaces

Category 3: Computation for Real World Applications

• Information Technology in Education
• Information Technology in Medical Field

Submission

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 style file. 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.

All submissions should be in PDF file format and uploaded via the Easychair Conference System https://easychair.org/conferences/?conf=wctp2015 .

LaTeX macro files and Microsoft Word's template files are available in the following website.

readme(LaTeX), instrunctions(LaTeX), downloads(LaTeX), readme(Word), instrunctions(Word), downloads(Word)

http://www.worldscientific.com/page/authors/proceedings-stylefiles

Please choose 9"X6 (For Proceedings Contributors)".

Important Dates

Paper Submission Deadline

August 14, 2015

Acceptance Notification

September 4, 2015

Camera-redy Paper Deadline

September 11, 2015

Technical Presentation

September 22 -23, 2015

We are planning to publish a post-proceedings of WCTP 2015. The authors of papers presented at the workshop will be asked to extend their contributions, possibly incorporating the results of the workshop discussion, to be included in the workshop post-proceedings, after another round of refereeing.

More details at the workshop website: http://www.ttop.ipo.titech.ac.jp/wctp2015/index.html