6th Workshop on Computation: Theory and Practice (WCTP-2016)
September 21-22, 2016, Cebu City, Philippines &
WCTP 2016 Bohol Satellite Workshop
September 23, 2016, Holy Name University, Bohol, Philippines
¨The best theory is inspired by practice. The best practice is inspired by theory.” – Donald Knuth
Computation should be a blend of theory and practice. Researchers in the field should create algorithms to address real problems putting equal weight to analysis and implementation. Experimentation and simulation can be viewed as yielding to refined theories or improved applications. This series of workshop started in 2011 organized by De La Salle University-Manila, University of the Philippines-Diliman, Osaka University, and Tokyo Institute of Technology 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.
The WCTP 2016 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
o Logical approach to software and hardware verification: model checking, theorem proving, etc.
o Formal approaches to computation: typed and untyped lambda calculi, process calculi, object calculi, etc.
o Formal frameworks for bioinformatics: P system, ambient calculus, petri nets, etc.
Category 2: Practical Approaches to Computation
o User modeling (emotion, mood, intention, motion, posture and gesture)
o User behavior and/or activity modeling
o Social signal processing
o Ambient intelligence
o Intelligent user interfaces
Category 3: Computation for Real World Applications
o Information Technology in Education
o Information Technology in Medical Field
Director, Phil. Office
Cntr Tokyo Institute of Tech.
Director, Int’l Collab.
ISIR, Osaka University
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: https://easychair.org/conferences/?conf=wctp2016
LaTeX macro files and Microsoft Word’s template files are available in the following website.
Please choose 9″X 6” (For Proceedings Contributors).
August 18, 2016: Abstract Submission deadline
August 25, 2016: Full Paper submission deadline
September 3, 2016: Notification of acceptance
September 12, 2016: Camera-ready paper deadline
September 21-22, 2016: Technical presentations
September 23, 2016: Bohol Satellite Workshop
Jaime Caro, University of the Philippines-Diliman
Shinya Nishizaki, Tokyo Institute of Technology
Masayuki Numao, Osaka University
Merlin Suarez, De La Salle University-Manila
Robert Roxas, Univ. of the Philippines Cebu