Theory Days 2018Synopsis: | Theory Days 2018 celebrates two main reasons: 11 years of Algorithms and Complexity at the Department of Computer Science in UP Diliman, as well as 106 years since the birth of Alan Turing, the founder of computer science. Theory Days 2018 aims to celebrate both these reasons by providing invited talks under the general theme of discrete mathematics and theoretical computer science and their related practice. Talks and other activities in Theory Days 2018, such as brainstorming or break-out sessions, are largely informal in nature: the main reason is to initiate discussions which may lead to (in)formal collaborations, conference or journal articles, open problems for (under)graduate students and the computing community, or just for fun! | Coordinates: | 21 June (9:00 AM - 2:45 PM) and 22 June (9:00 AM - 5:40 PM) 2018, ERDT Room, 2nd floor, UP Alumni Engineers Centennial Hall (UP AECH), P. Velasquez Street, Diliman, Quezon City, Philippines. | Map to venue: | Google maps link HERE | Web Page: | http://aclab.dcs.upd.edu.ph/productions/workshops/theorydays-_2018 | Registration form: | Link to free registration is HERE | Download program | PDF file of program is HERE.
Link to Theory Days 2017 Link to fotos |
|
PROGRAMNote: The program days are fixed but times and speakers are still subject to change. Day 1: 21 June 2018 (Thursday)Time | Activity | Details |
|
|
| 09:00AM to 09:20AM | Registration |
|
|
|
| 09:20AM to 09:40AM | Opening Remarks for Theory Days 2018 and Day 1 | by Francis George C. Cabarle |
|
|
| 09:40AM to 10:00AM | Talk: Algorithms and Models of Computation | by Ren Tristan A. de la Cruz |
|
|
| 10:00AM to 10:20AM | Talk: (TBA) | by Michael H. Indico |
|
|
| 10:20AM to 10:35AM | Break |
|
|
|
| 10:35AM to 10:55AM | Talk: Hammock(2k)-Poset Cover Problem for k < 3 is in P | by Ivy Ordanel |
|
|
| 10:55AM to 11:15AM | Talk: Simulating RSSN P Systems in Silico | by Dionne Peter Cailipan |
|
|
| 11:15AM to 12:25PM | Lunch Break |
|
|
|
| 12:25PM to 01:35PM | Brainstorming Sessions / Breakout Sessions / Discussions |
|
|
|
| 01:35PM to 01:45PM | Closing Remarks for Day 1 |
|
|
|
| 01:45PM to 02:45PM | ACLab planning for research funding, equipments, etc. |
|
|
Day 2: 22 June 2018 (Friday)Time | Activity | Details |
|
|
| 09:00AM to 09:20AM | Registration |
|
|
|
| 09:20AM to 09:30AM | Opening Remarks for Day 2 |
|
|
|
| 09:30AM to 09:50AM | Talk: Developments and Future for ACLab-S3 Lab research endeavors | by Jasmine Malinao |
|
|
| 09:50AM to 10:10AM | Talk: MPTree: An Improved Implementation of the PTree Algorithm for Phylogenetic Tree Reconstruction | by Haifa Gaza |
|
|
| 10:10AM to 10:30AM | Talk: Matrix representation and Automation of Verification of Soundness of Robustness Diagram with Loop and Time Controls | by Karen Margaret Agnes |
|
|
| 10:30AM to 10:50AM | Break |
|
|
|
| 10:50AM to 11:10AM | Talk: Mining all maximal biclusters with perfect shift-scale patterns in numerical datasets | by John Erol Evangelista |
|
|
| 11:10AM to 11:30AM | Talk: Some Insights and Challenges on Algorithms and Theory of Computation | by Henry Adorna |
|
|
| 11:30AM to 11:50AM | Talk: Communication Complexity of SAT in dP Systems. | by Kelvin Buño |
|
|
| 11:50AM to 12:10PM | Talk: Matrix Representation and simulation algorithm of Spiking Neural P Systems with Structural Plasticity | by Zechariah Jimenez |
|
|
| 12:10PM to 01:15PM | Lunch Break |
|
|
|
| 01:15PM to 01:40PM | Talk: A Game-Theoretic Framework for Time-Dependent Pricing in Wireless Networks with On-Demand Bandwidth Reservations | by Ryan Paul D.J. Gozum |
|
|
| 01:40PM to 02:05PM | Talk: Define The Relationship - Anecdotes on the importance of Clarity in furthering Software Quality Research | by Roy Canseco |
|
|
| 02:05PM to 02:30PM | Talk: Trouble in fairyland - challenges and opportunities at the Philippine Microsatellite program | by Romer Aranas |
|
|
| 02:30PM to 02:55PM | Talk: On the Stable Matching Problem | by Richelle Ann Juayong |
|
|
| 02:55PM to 03:15PM | Break |
|
|
|
| 03:15PM to 03:40PM | Talk: An Overview of Texton-Based Texture Analysis and Synthesis for Irregular and Stochastic Exemplars | by Herbert Gerard Villafranca |
|
|
| 03:40PM to 03:55PM | Talk: Melanoma Detection of Skin Images with Artifacts Removal and Lesion Segmentation using Deep Learning | by Julie Ann Acebuque Salido |
|
|
| 03:55PM to 04:15PM | Talk: Easy Reoptimization Variants of some NP-hard problems | by Jhoirene Clemente |
|
|
| 04:15PM to 05:30PM | Brainstorming Sessions / Breakout Sessions / Discussions |
|
|
|
| 05:30PM to 05:40PM | Closing Remarks Theory Days 2018 and Day 2 | by Jan Michael Yap |
|
|
|