Post date: Jul 19, 2013 6:48:48 PM

Call for Papers

Topics

The WCTP 2013 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: Theretical Approaches to Computation

• Logical approach to software and hardware verification: model checking, theorem proving, etc.
• Formal approaches to computaton: 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 modelling (emotion, mood, intention, motion, posture and gesture)
• User behavior and/or activity modeling
• Social signal processing
• Ambiet 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 Springer document class llncs for the LNCS format (see http://www.springer.de/comp/lncs/authors.htm). 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://www.easychair.org/account/signin.cgi?conf=wctp2013.

Important Dates

Paper Submission Deadline

August 3, 2013

Acceptance Notification

September 2, 2013

Camera-ready Paper Deadline

September 12, 2013

Technical Presentation

September 30 - October 1, 2013 (at UP Diliman)

We are planning to publish a post-proceedings of WCTP 2013. 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.

Notification of acceptance for post-symposium proceedings

October 22, 2013

Post-proceedings Paper Deadline

November 22, 2013

Satellite Workshop in Cebu City

The satellite workshop in Cebu City will consists of invited talks, full papers' talks invited from the main workshop and position talks . We will announce its details later.

More info on the conference website: http://www.ttop.ipo.titech.ac.jp/wctp2013/cfp.html