WCTP2017

WCTP 2017 — Workshop on Computation: Theory and Practice—
September 12 — 13, 2017, Osaka University Nakanoshima Center, Osaka, Japan

Topics

The WCTP 2017 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

Abstract Submission

Prior to submitting a full paper, you can submit its abstract. The program commitee judges the possibility of technical presentation in WCTP 2017. If the abstract is accepted in this phase, the program committee co-chair can send you the invitation letter to WCTP 2017. The decision whether it is accepted as the full paper (included in the post-proceedings) or the short one, will be postponed to the full paper submission's phase. You can submit your paper until the deadline of the full paper submission. The abstract submission is received via our EasyChair site.

Full Paper 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.(Subbmission page of EasyChair System)

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

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

Call for Papers