WCTP 2013 — Workshop on Computation: Theory and Practice Call for Papers
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