Organized by

University of the Cordilleras

and CSP-SIG-Mathematical Aspects of Computer Science (SIG-MACS)

The Workshop is part of the initiative of the CSP – Special Interest Group on Mathematical Aspects of Computer Science (SIG-MACS) to promote Models of Computations, Algorithmics, Computation Theory and Discrete Structures in the country.  This is one of the pre-conference Workshop of PCSC 2025 at University of the Cordilleras at Baguio City.

WMACS will consist of lectures on fundamental areas of computer science which are mathematical in character. The lectures will be synoptic and tutorial in nature and will cover topics from courses that are sometimes offered as upper division undergraduate courses and some introductions to emerging techniques and computing models in computer science.

WMACS provides a venue for teachers, researchers and graduate students of Computer Science, Computing, and Mathematics to share, upgrade knowledge, and foster active collaborative research on areas of Computer Science which are mathematical or theoretical in character. In this edition, we have the following:

Tutorials (tentative titles):

Introduction to Computability and  Models of Computations

Henry Adorna, UPDiliman

Tutorials on Spiking Neural P Systems

Francis Cabarle, UPDiliman

Introduction to Recursion Theory

Alfonso Labao, UP Diliman

Approaches for NP-Hard Problems

Ivy Ordanel, UPDiliman

Introduction to Lattice Problems for Lattice based Crypotgraphy

Richard Bryann Chua, UPManila

A Tutorial Introduction to Type Theory via the Lambda Cube

Shinya Nishizaki, Institute of Science Tokyo

Tutorial on Coq: A Proof Assistant Tool

Shane So, UP Diliman

An informal short paper presentation and discussions on some research done and/or research-in-progress on the areas of covered by the workshop (please see list of topics below) will be accommodated after the tutorial sessions. 

If you want to participate by giving an informal talk, please send your Abstract to ha@dcs.upd.edu.ph on or before 11 April 2025.

Topics of Interest (but not limited to) : Computability, Automata Theory and Formal Languages, Complexity Theory, Theory of Algorithms, Parallel Algorithms, Numerical Analysis, Combinatorial Optimization, Network Theory, Logic and Logic Programming, Theory of Programming Languages, Coding Theory, Cryptography and Computer Security, Discrete Mathematic for Computer Science, Computational Mathematics, New Challenges (BioInformatics, Heuristics, P Systems, Quantum Computation etc.).

Important Dates:

Deadline Submission of Abstract:               11 April 2025

Acceptance Notification:                    18 April 2025

Date of the Workshop:                       7 May 2025                                               

Registration:  Interested colleagues are requested to make pre-register via:  Register to WMACS 2025 

Registration Fee (on site):     1 000.00 PhP  (inclusive of snacks and certificate of participation)

Organizing Committee: 

         Thelma Domingo Palaoag  (co-chair)

         Henry Adorna, (co-chair)

For Enquiry:  Please email Thelma (tdpalaoag@uc-bcf.edu.ph)  or Henry (hnadorna@up.edu.ph).

Workshop on Models, Algorithms, Computability and Discrete Structures (WMACS) 2025

Program (Schedule of Talks)

7 May 2025

07:30am – 08:00am:             Registration

08:00am – 08:30am:             Opening Ceremonies

08:30am – 09:00am:             Tutorial 1

        Introduction to Computability and  Models of Computations

Henry Adorna, UP Diliman

09:00am – 09:10am:             Coffee Break

09:10am – 09:55am:             Tutorial 2

Tutorials on Spiking Neural P Systems

Francis Cabarle, UP Diliman

09:55am – 10:05am:             Coffee Break

10:05am – 10:50am              Tutorial 3

Introduction to Recursion Theory

Alfonso Labao, UP Diliman

10:50am – 11:00am:             Coffee Break

11:00am – 12:00pm:             Informal Presentation and Open Discussions

11:50pm – 01:00pm:             Lunch Break

01:00pm – 01:45pm              Tutorial 4

Introduction to Lattice Problems for Lattice based Crypotgraphy

Richard Bryann Chua, UP Manila

01:45pm – 01:55pm:             Coffee Break

01:55pm – 02:05pm              Tutorial 5

Approaches for NP-Hard Problems

Ivy Ordanel, UP Diliman

02:05pm – 02:15pm:             Coffee Break

02:15pm – 03:00pm              Tutorial 6

   A Tutorial Introduction to Type Theory via the Lambda Cube

   Shinya Nishizaki, Institute of Science Tokyo

03:00pm – 03:15pm:             Coffee Break

03:10pm – 03:55pm:             Tutorial 7

 Tutorial on Coq: A Proof Assistant Tool

Shane So, UP Diliman

03:55pm – 04:00pm            Coffee Break

04:00pm – 04:50pm             Informal Presentation and Open Discussions

04:50pm – 05:00pm              Closing Ceremonies

Program (Schedule of Informal Presentation and Open Discussions)

11:00am – 12:00pm           Informal Presentation and Open Discussions : PART 1

11:00pm – 11:10pm Solving SAT with Distributed P Systems

Buno, Kelvin, UP Diliman

11:10pm – 11:20pm Analysis of Bandwidth Management Algorithms,

Mercado, Ronnie, Uni Cordilleras

11:20pm – 11:30pm Multiparty Computation with Threshold Boneh-Lynn-Shacham Signatures for Secure Data Handling in Leak-Resilient Systems

Erispe, Chirstine, Ethereum, Phil

11:30pm – 11:40pm A.I. Driven Collaborative Cybersecurity Development: A Prototype Implementation of a Cybersecurity Framework for Educational Institutions of Camarines Norte,

Ablao, Frank Kiven, Uni Cordilleras

11:40pm – 11:50pm An Analysis of Time-Series Forecasting Models for Optimizing School-Based Feeding Programs,

Flores, Carlos Jr, Uni Cordilleras

11:50pm – 12:00pm            Simulating and Implementing P systems with Complex Objects,

          Galino,  John Henry, Gonzales, Isaiah Nikolo, UP Diliman

04:00pm – 05:00pm              Informal Presentation and Open Discussions: PART 2

04:00pm – 04:10pm   Translating Spinlock-pertinent xv6 Code to Coq/Rocq Language

Gallego, Mikhail, UP Diliman

04:10pm – 04:20pm   An evaluation of performance and usability in similarity-based recommendations using cosine similarity and fuzzy matching,

Poncio, Flordeliza, Paragon International Uni / UC

04:20pm – 04:30pm   HydroHub: A Web-based Interactive Water Balance Map for the Cordillera Administrative Region using the ArcGIS Platform,

Ngaosi, Alfred Christian Emmanuel, Saint Louis Uni

04:30pm – 04:40pm   MFCC-Chroma Fusion using a Dual-Channel CNN-LSTM and Demographic-Aware Random Forest for Lung Sound Disease Classification,

Tank, Rithik, Saint Louis Uni

04:40pm – 04:50pm   TerraMap: A Web-based Interactive Land Cover Map for Cordillera Administrative Region using the ArcGIS platform,

Dominguez, Harry Jr, Saint Louis Uni