SMACS 2008

4th Symposium on the Mathematical Aspects of Computer Science (SMACS)

SMACS 2008 is the fourth meeting on the mathematical aspects of Computer Science that will be held in the Philippines organized by the Computing Society of the Philippines (CSP). The first was in 1997 at UP Baguio, the second was in 2004 also at UP Baguio, and the third was in 2006 at the Adventist University of the Philippines.

 

The symposium is divided into two parts: a workshop and a seminar.

 

The workshop (August 4 – 6) will run during the first three days and 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. This year’s tentative topics are:

 

Computer-Supported Argumentation and Non-Monotonic Reasoning,

Theory of Formal Languages with Applications, Discrete Mathematics,

and Introduction to Bio-Informatics.

 

The seminar (August 6 – 7) will be held in the last two days. It will consist of paper presentations on researches in the mathematical aspects of computer science. There will be invited talks on the current and still potent area of mathematical aspects of computer science.

 

SMACS provides a venue for teachers, researchers, and graduate students of Computer Science, Computing, and Mathematics to share and upgrade knowledge on areas of Computer Science which are mathematical or theoretical in character.

 

Location:

 

The lectures will take place at the University of the Philippines Visayas – Cebu College. It is located in Lahug, Cebu. (Cebu City is known as the "queen city of the south" in the country.)

 

 

View CHED Endorsement

Computing Society of the Philippines (CSP)

 

August 4 – 7, 2008

 

Host: University of the Philippines Visayas – Cebu College

Program Committee:

 

· Henry Adorna (UP Diliman) – Chair

· Eliezer Albacea (UP Los Baños)

· Arnulfo Azcarraga (DLSU Manila)

· Jose Maria Balmaceda (UP Diliman)

· Jaime Caro (UP ITTC)

· Caslon Chua (DLSU Manila)

· Henry Escuadro (USA)

· Felix Muga II (AdMU)

· Caesar Saloma (UP Diliman)

· Allan Sioson (Ateneo Naga)

· Virgilio Sison (UP Los Baños)

Organizing Committee:

 

· Jaime Caro (UP ITTC)

· Robert Roxas (UP Cebu) – Co-chair

· Cherry Sta. Romana (CIT Cebu) – Co-chair

 

Contact Person:

 

Henry Adorna
c/o College of Engineering
Department of Computer Science
Algorithms and Complexity
University of the Philippines
Velasquez St., Diliman

1101 Q.C. Philippines