WCTP 2013 — Workshop on Computation: Theory and Practice—
September 30 — October 1, 2013, University of the Philippines - Diliman, Quezon, the Philippines
Satellite Workshop September 27 — 28, 2013, University of San Jose Recoletos, Cebu, the Philippines

Program & Venue


The Conference Hall at the UP-AyalaLand Technohub (Homepage, Wikipedia) (You can find the exact location via "Coordinates" in the Wikipedia's page)

September 30, 2013 (Monday)

08:00 - 09:00


09:00 - 09:20

Opening Ceremony


Session 1

09:20 - 10:00

Invited Talk: "Issues for Modeling from Big Data"
Prof. Takashi Washio
The Insitute of Scientific and Industrial Research, Osaka University

10:00 - 10:25

Distributed Inference to Support Inter-Subjective Empathic ComputingMasayuki Numao (Osaka University)

10:25 - 10:45



Session 2

10:45 - 11:10

A Compositional Reflective Architecture for Actor-Based Systems
Takuo Watanabe (Tokyo Institute of Technology)

11:10 - 11:35

A Simulation of Transition P Systems in Weighted Spiking Neural P Systems
Richelle Ann Juayong, Nestine Hope Hernandez, Francis George Cabarle and Henry Adorna (University of the Philippines - Diliman)

11:35 - 12:00

Call-by-Name Evaluation of RPC and RMI calculi
Shota Araki and Shin-ya Nishizaki (Tokyo Institute of Technology)

12:00 - 13:00

Lunch Break


Session 3

13:00 - 13:25

A Serious Game Arousing Children Interest in Chemical Binding
Kaoru Sumi, Kento Kudo (Future University Hakodate)

13:25 - 13:50

Ranking Analysis of Battle Result of Board-Game Strategy in Java Programming Exercise
Kohei Yamada, Hiroyuki Tominaga (Kagawa University)

13:50 - 14:15

Health Information Search Personalization with Semantic Network User Model
Ira Puspitasari, Ken-Ichi Fukui, Koichi Moriyama, Masayuki Numao (Osaka University)

14:15 - 14:40

Learning English Words via Animations and Making Sentences using an Etymological Memorization Method
Kaoru Sumi, Ayaka Kazuhara (Future University Hakodate)

14:40 - 15:05

An Application Programming Interface for the Communication and Storage Protocol for the TALA Emapthic Space
Gregory Cu, JOse Mari Cipriano, Michael Joseph Gonzales, Jerico Romeo Longalong, Kevin Martin Tanalgo, Christian Kay Magadaong, Mica Pauline Tiu (De La Salle University)

15:05 - 15:25




Session 4

15:25 - 15:50

Notes in Delays and Bisimulations of Spiking Neural P Systems Using SNP Algebra
Henry N. Adorna, Kelvin Buno, Francis George Cabarle (Univeristy of the Philippines Diliman)

15:50 - 16:15

Weak Bisimulation Between Two Biogeochemical Cycles
Jhoirene Clemente, John Justine Villar, Henry Adorna (University of the Phlippines Diliman)

16:15 - 16:40

Robustness Analysis on Human-made Faults in Procedural Manuals
Naoyuki Nagato (PRESYSTEM Inc), Takuo Watanabe (Tokyo Institute of Technology)

16:40 - 17:05

Probing the Hardness of the Approximate Gene Cluster Discovery Problem
Gerard S. Cabunducan, Jhoirene B. Clemente, Raissa T. Relator, Henry N. Adorna (University of the Philippines Diliman)

17:05 - 17:30

An Object-oriented Language for Parameterized Reactive System Specification based on Linear Temporal Logic
K. Osari, T. Murooka, K. Hagiwara, T. Ando, M. Shimakawa, S. Ito, Shigeki Hagihara, N. Yonezaki (Tokyo Institute of Technology)

18:30 -


Conference Dinner

October 1, 2013 (Tuesday)


Session 5

09:30 - 09:55

Development of a visual debugger for C that runs on JavaScript
Akihiko Nagae and Koji Kagawa

09:55 - 10:20

Building Incremental Affect Models to Help Students Annotate and Analyze their Behavior in Self-Directed Learning Scenarios
Paul Salvador Inventado, Roberto Legaspi, Ken-Ichi Fukui, Koichi Moriyama and Masayuki Numao

10:20 - 10:40



Session 6

10:40 - 11:00

Software Engineering Research in Information Technology EducationSHORT Talk
Michelle P. Banawan (Ateneo de Davao University)

10:40 - 11:05

Data Collection with Prioritization for Wireless Sensor Networks
Arlyn Verina Ong, Gregory Cu (De La Salle University)

11:05 - 11:30

Flash Code with Dual Modes of Encoding
Michael Joseph Tan, Proceso Fernandez, Nino A. Salazar, JayzonTy, Yuichi Kaji (Nara Institute of Science and Technology)

11:30 - 13:00

Lunch Break

13:00 -  

Special Session: OU-DLSU Workshop




Closing Ceremony