Productions‎ > ‎


Theory Days 2018 @AClab

posted Jun 14, 2018, 10:47 PM by Francis Cabarle   [ updated Jun 18, 2018, 3:15 AM ]

Theory Days 2018


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!


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:

Registration form:

Link to free registration is HERE

Download program

PDF file of program is HERE.

Slide Presentations for the 18th International Conference on Membrane Computing (CMC18)

posted Jul 19, 2017, 12:47 PM by Richelle Ann Juayong   [ updated Jul 26, 2017, 5:52 PM by Henry Adorna ]

Here are the slides and audio-visual presentations for the papers of ACLab members accepted in the 18th International Conference on Membrane Computing (CMC 18) to be held at University of Bradford, U.K. on 24-28 July 2017. 

1.     On Evolution-Communication P systems with Energy Having Bounded and Unbounded Communication  

        (R. Juayong, N. Hernandez, F. Cabarle, K. Buño, H. Adorna) 

        [AVP]   [PDF] (slides)

2.     A Simulation of Transition P Systems by Numerical P Systems with Migrating Variables

        (N. Hernandez, H. Adorna)

        [AVP]   [PDF] (slides)

3.     Communication Complexity of Distributed Tissue-like P Systems for Solving SAT Problem

        (K. Buño, H. Adorna, L. Pan, B. Song)

        [AVP]   [PDF] (slides)

4.     Deterministic Solutions to NP-Complete Problems using Numerical P Systems with Lower Thresholds

        (I. Macababayao, E. Amores, N. Hernandez, F. Cabarle)

        [AVP]    [PDF] (slides)

5.     Simulating Evolutional Symport/Antiport by Evolution-Communication and vice versa in Tissue P Systems with Parallel Communication

        (H. Adorna, A. Alhazov, L. Pan, B. Song)

        (to be presented orally by co-author(s) or a colleague (?))

6.     On Languages Generated by Spiking Neural P System with Structural Plasticity

        (T. dela Cruz, F. Cabarle, X. Zeng)

        [AVP]    [PDF] (slides)

Theory Days 2017 @AClab

posted Jun 28, 2017, 7:04 AM by Richelle Ann Juayong   [ updated Jun 28, 2017, 7:11 AM ]

In celebration of the 10th anniversary of the Algorithms and Complexity lab (in short, AClab) and the 105th birthday of Alan Mathison Turing (the founder of computer science), members of the AClab provided a two-day lecture series last 22 to 23 June 2017 at Melchor Hall, College of Engineering, UP Diliman.

Full details of the celebration can be found HERE.

Membrane Computing Seminar at Palawan State University (together with PCSC2016)

posted Feb 2, 2016, 5:02 AM by Francis Cabarle   [ updated Jun 28, 2017, 6:44 AM by Richelle Ann Juayong ]

Members of the AClab will provide a seminar on Membrane Computing on 15 March 2016, a day prior to the 16th PCSC in Puerto Princesa, Palawan.

This page will be updated regarding details of the seminar.

Seminar title

Cell-inspired Computing: An Introduction and Overview of Membrane Computing

Seminar coordinates

15 March 2016, 8am to 12pm, Performing Arts Center, Palawan State University, Puerto Princesa, Palawan.

Seminar description

This seminar provides a brief introduction and overview to computations inspired by the biological cell, i.e. Membrane computing. The seminar covers basic theoretical and practical results. Examples of membrane systems and their computations are provided. The target audience are (but not limited to) practitioners and students of computer science, information technology, mathematics, and related disciplines.

Seminar page URLs


(click the name to view more information about the speaker)




8am to 8:45am

Talk 1

“Basics of Membrane Computing” by N.H.S. Hernandez

8:45am to 9am


for Talk 1

9am to 9:45am

Talk 2

“Computing in Cell-like Membrane Systems” by R.A.B. Juayong

9:45am to 10am


for Talk 2

10am to 10:15am


10:15am to 11am

Talk 3

“Mem-Brain Computing: Spiking Neural P Systems Theory and Applications” by F.G.C. Cabarle

11am to 11:15am


for Talk 3

11:15am to 12pm

Open forum

for all talks, related research, etc.

Short summaries of talks

  • Talk 1: In this talk, we start with an overview of algorithms and limits of computing to provide a motivation for the conceptualization of membrane computing. We then introduce P systems as membrane computing models. Fundamental concepts such as syntax and semantics of P systems will also be presented.
  • Talk 2: In this talk, we shall discuss computing models whose inherent structure is hierarchical. Such feature is analogical to the arrangement of membranes in cells. Some of the models to be tackled include Transition P systems, P systems with symport and antiport and P systems with active membranes. After introducing the mentioned models, we shall show how these models can be used to solve real-world problems. Finally, open problems related to cell-like membrane systems will be provided.
  • Talk 3: Spiking neural P systems (in short, SNP systems) are membrane computing models inspired by the functioning and structure of biological cells known as neurons. In SNP systems, neurons are placed on nodes of a directed graph, where edges in the graph are known as synapses. Neurons are spike processors, i.e. signals known as spikes are used to encode information. SNP systems theory is first provided, followed by applications such as sorting networks, image manipulation. Finally, research directions and problems for undergraduate and graduate students are provided.

Seminar presentation slides 

See attachments at the bottom of this page.

Seminar photos

Some seminar photos can be found HERE.

1-4 of 4