WCTP2019

Workshop on Computation: Theory and Practice
September 26 — 27, 2019
De La Salle University Manila, 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 2019 is the nineth 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 2019 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.

Program

Program(PDF)

Important Dates

Submission Deadline
July 20, 2019 July 30, 2019

Acceptance Notification
August 20 30, 2019

Cameraready Deadline
September 10 20, 2019

Conference Date
September, 26 — 27, 2019

Call for Papers

Topics

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

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.

LaTeX macro files and Microsoft Word's template files are available from the following links, which the authors must use.

LaTeX macro files
Word's template and sample files
Note to Word Users (PDF)

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

The accepted full-papers will be published and a book of the proceedings will be delivered to each author in the Philippines and Japan by mail or courier.

Registration