| About ALCom | News | People | Research | Publications | Tools | Student Info | Links |

The ALCom Lab concerns with Applied Logic and Computation in System Design. It is founded in August 2005. We are cooking an enjoyable research environment and a culture of creativity.

2018-11-06 Paper on "A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving" accepted by the 33rd AAAI Conference on Artificial Intelligence (AAAI) 2019.
2018-08-17 Paper on "A Symbolic Model Checking Approach to the Analysis of String and Length Constraints" accepted by [the 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2018]
2018-08-17 邱泰尹榮獲國立臺灣大學電子工程研究所105學年度最佳碩士論文獎
2018-08-17 施淳浤榮獲106年中國電機工程學會青年論文獎第三名
2018-07-15 Paper on "Logic Synthesis of Binarized Neural Networks for Efficient Circuit Implementation" accepted by [IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2018]

since 2007.4.2
Postal Address :
 Room 526, Ming-Dar Hall, National Taiwan University, Taipei 10617, Taiwan
Phone :
© 2007 Applied Logic and Computation Laboratory, GIEE, NTU. All rights reserved.