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:

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 Computation (pdf)

Henry Adorna, UP Diliman

09:00am – 09:45am:             Tutorial 2

Tutorials on Spiking Neural P Systems (pdf)

Francis Cabarle, UP Diliman
           

09:45am – 09:50am:             Coffee Break

09:50am – 10:35am              Tutorial 3

Introduction to Recursion Theory (pdf)

Alfonso Labao, UP Diliman

10:35am – 11:15am:             Tutorial 4

Approaches for NP-Hard Problems (pdf)

Ivy Ordanel, UP Diliman

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

12:15pm – 01:00pm:             Lunch Break

01:00pm – 01:45pm              Tutorial 5

Introduction to Lattice Problems for Lattice based Crypotgraphy (pdf)

Richard Bryann Chua, UP Manila

01:45pm – 02:00pm:             Coffee Break

02:00pm – 02:45pm              Tutorial 6

   A Tutorial Introduction to Type Theory via the Lambda Cube (pdf)

   Shinya Nishizaki, Institute of Science Tokyo

02:45pm – 03:00pm:             Coffee Break

03:00pm – 03:45pm              Tutorial 7

 Tutorial on Coq: A Proof Assistant Tool (pdf)

Shane So, UP Diliman

03:45pm – 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:15am – 12:15pm           Informal Presentation and Open Discussions : PART 1

11:15am – 11:25am Solving SAT with Distributed P Systems

Buno, Kelvin, UP Diliman

11:25m – 11:35am Analysis of Bandwidth Management Algorithms,

Mercado, Ronnie, Uni Cordilleras

11:35am – 11:25am Multiparty Computation with Threshold Boneh-Lynn-Shacham Signatures for Secure Data Handling in Leak-Resilient Systems

Erispe, Chirstine, Ethereum, Phil

11:45am – 11:55am 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:55am – 12:05pm An Analysis of Time-Series Forecasting Models for Optimizing School-Based Feeding Programs,

Flores, Carlos Jr, Uni Cordilleras

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

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

Labao, Alfonso; 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   Simulating and Implementing P systems with Complex Objects,

          Buno, Kelvin ; Galino,  John Henry;  Gonzales, Isaiah Nikolo; Cabarle, Francis UP Diliman