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. 

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

Introduction to Parameterized Complexity

Ivy Ordanel, UPDiliman

Solving Problems on Lattices

Richard Bryann Chua, UPManila

Tutorial on Coq: A Proof Assistant Tool

TBA

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).

Tentative Program (Schedule of Talks)

7 May 2025

07:30am – 08:00am:           Registration

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

08:30am – 08:45am:           Coffee Break

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

09:30am – 09:45am:           Coffee Break

09:45am – 10:30pm:          Tutorial 2

10:30pm – 10:45pm:          Coffee Break

10:45pm – 11:30pm           Tutorial 3

11:30pm – 12:30pm:          Informal Presentation and Open Discussions

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

01:00pm – 01:45pm           Tutorial 4

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

02:00pm – 02:45pm           Tutorial 5

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

03:00pm – 03:45pm           Tutorial 6

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

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

05:00pm – 05:30pm           Closing Ceremonies