Workshop on Computation: Theory and Practice
September 17 — 18, 2018
UP Bonifacio Global City, Metro Manila, Philippines

Computation should be a good blend of theory and practice. Researchers in the field should create algorithms to address real world problems putting equal weight to analysis and implementation. Experimentation and simulation can be viewed as yielding to refined theories or improved applications.

WCTP 2018 is the eighth workshop organized by the Tokyo Institute of Technology, The Institute of Scientific and Industrial Research-Osaka University, University of the Philippines-Diliman and De La Salle University-Manila that is devoted to theoretical and practical approaches to computation. It aims to present the latest developments by theoreticians and practitioners in academe and industry working to address computational problems that can directly impact the way we live in society.

WCTP 2018 will feature presentations of prominent researchers as well as presentations of research papers selected by members of its Program Committee who come from highly distinguished institutions in Japan and the Philippines. Their expert knowledge and years of research experience will certainly provide high quality reviews that future submissions can benefit from.



September 17, 2018
8:30 - 9:00 Registration
9:00 - 9:15 Opening
9:15 - 10:30 Session 1
10:30 - 10:45 Coffee Break
10:45 - 12:00 Session 2
12:00 - 13:00 Lunch
13:00 - 15:10 Session 3
15:10 - 15:25 Coffee Break
15:25 - 16:55 Session 4

September 18, 2018
9:25 - 10:30 Session 5
10:30 - 10:45 Coffee Break
10:45 - 12:00 Session 6
12:00 - 13:00 Lunch
13:00 - 15:10 Session 7
15:10 - 15:25 Coffee Break
15:25 - 16:40 Session 8

Important Dates

Submission Deadline
August 15, 2018
August 22, 2018

Acceptance Notification
August 27, 2018

Conference Date
September, 17 — 18, 2018

Call for Papers


The WCTP 2018 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 Computations

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

Category 2: Practical Approaches to Computation

Modeling of user's emotion, mood, intention, motion, posture and/or gesture
Usr 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 Fields


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.

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)


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

Submission Page in EasyChair https://easychair.org/conferences/?conf=wctp2018


The author's toolkit for the post-proceedings is available here.



Program Co-Chairs

Jaime Caro (University of the Philippines - Diliman)

Merlin Suarez (De La Salle Univeristy)

Masayuki Numao (Osaka University)

Shin-ya Nishizaki (Tokyo Insitute of Technology)

Program Committee

Rommel Feria, Henry Adorna (University of the Philippines — Diliman)

John Paul Vergara, Mercedes Rodrigo (Ateneo de Manila University)

Allan A. Sioson (Cobena)

Raymund Sison, Jocelynn Cu, Gregory Cu, Rhia Trogo, Judith Azcarraga, Ethel Ong, Charibeth Cheng, Nelson Marcos, Rafael Cabredo, Joel Ilao (De La Salle University — Manila)

Koichi Moriyama (Nagoya Institute of Technology)

Ken-ichi Fukui (Osaka University)

Satoshi Kurihara (University Electro-Communications)

Mitsuharau Yamamoto (Chiba University)

Hiroyuki Tominaga (Kagawa Univeristy)

Takuo Watanabe, Masaya Shimakawa (Tokyo Institute of Technology)

Shigeki Hagihara (Tohoku University of Community Service and Science)