smacs

SMACS Symposium on the Mathematical Aspects of Computer Science

About the Symposium: SMACS is a meeting on the mathematical aspects of computer science that is held in the Philippines organise by the Computing Society of the Philippines. 

The symposium is divided into two parts: a workshop and a seminar. The workshop 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.  The seminar 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.

Since 2004, SMACS is held every two years.

Topic 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, Mathematical Modeling and Simulation, 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.)

Past Meetings:

• • SMACS 1997 was the first and was held on 28.May - 1.June 1997 at UPBaguio.

    • Proceedings

  • SMACS 2004 was the second and was also held on 26.-30.May 2004 at UPBaguio.

    • Proceedings

  • SMACS 2006 was the third and was held on 16.-20.October 2006 at Silang, Cavite at Adventists University of the Philippines.

    • Proceedings

  • SMACS 2008 held on 4-7 August 2008 at UP Cebu College, Lahug Cebu

    • Proceedings

  • SMACS 2010 held on 3-4 December 2010 at UP Los Banos, Laguna

  • Proceedings

  • SMACS 2012 held on 4-8 December 2012 at La Carmela Hotel, (Boracay Island) Malay, Aklan 

    • Proceedings; Part1, Part2

  • SMACS 2014 held on 24-28 November 2014 at Ateneo de Naga University, Naga City, Bicol

    • Pre-Proceedings; Post- Proceedings

Convenors of SMACS are

• 1. Henry N. Adorna ,UPDiliman

  2. Jaime D.L. Caro, UPDiliman

  3. Felix P. Muga II, ADMU