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
The Conference Hall at the UP-AyalaLand Technohub (Homepage, Wikipedia) (You can find the exact location via "Coordinates" in the Wikipedia's page)
08:00 | - | 09:00 | Registration |
09:00 | - | 09:20 | Opening Ceremony |
Session 1 |
|||
09:20 | - | 10:00 | Invited Talk: "Issues for Modeling from Big Data" |
10:00 | - | 10:25 | Distributed Inference to Support Inter-Subjective Empathic ComputingMasayuki Numao (Osaka University) |
10:25 | - | 10:45 | Refreshments |
Session 2 |
|||
10:45 | - | 11:10 | A Compositional Reflective Architecture for Actor-Based Systems |
11:10 | - | 11:35 | A Simulation of Transition P Systems in Weighted Spiking Neural P Systems |
11:35 | - | 12:00 | Call-by-Name Evaluation of RPC and RMI calculi |
12:00 | - | 13:00 | Lunch Break |
Session 3 |
|||
13:00 | - | 13:25 | A Serious Game Arousing Children Interest in Chemical Binding |
13:25 | - | 13:50 | Ranking Analysis of Battle Result of Board-Game Strategy in Java Programming Exercise |
13:50 | - | 14:15 | Health Information Search Personalization with Semantic Network User Model |
14:15 | - | 14:40 | Learning English Words via Animations and Making Sentences using an Etymological Memorization Method |
14:40 | - | 15:05 | An Application Programming Interface for the Communication and Storage Protocol for the TALA Emapthic Space |
15:05 | - | 15:25 | Refreshments |
|
|
Session 4 |
|
15:25 | - | 15:50 | Notes in Delays and Bisimulations of Spiking Neural P Systems Using SNP Algebra |
15:50 | - | 16:15 | Weak Bisimulation Between Two Biogeochemical Cycles |
16:15 | - | 16:40 | Robustness Analysis on Human-made Faults in Procedural Manuals |
16:40 | - | 17:05 | Probing the Hardness of the Approximate Gene Cluster Discovery Problem |
17:05 | - | 17:30 | An Object-oriented Language for Parameterized Reactive System Specification based on Linear Temporal Logic |
18:30 | - |
|
Conference Dinner |
Session 5 |
|||
09:30 | - | 09:55 | Development of a visual debugger for C that runs on JavaScript |
09:55 | - | 10:20 | Building Incremental Affect Models to Help Students Annotate and Analyze their Behavior in Self-Directed Learning Scenarios |
10:20 | - | 10:40 | Refreshments |
Session 6 |
|||
10:40 | - | 11:00 | Software Engineering Research in Information Technology EducationSHORT Talk |
10:40 | - | 11:05 | Data Collection with Prioritization for Wireless Sensor Networks |
11:05 | - | 11:30 | Flash Code with Dual Modes of Encoding |
11:30 | - | 13:00 | Lunch Break |
13:00 | - | Special Session: OU-DLSU Workshop |
|
Refreshments |
|||
Closing Ceremony |