| About ALCom | News | People | Research | Publications | Downloads | 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.


2011-12-10 劉修源、周彥丞榮獲台大科林論文獎
2011-12-10 Paper on "Towards Completely Automatic Decoder Synthesis" is published in the International Conference on Computer Aided Design 2011 (ICCAD’11)
2011-06-01 劉修源、周彥丞榮獲台大電機系99學年度「大學部優良專題製作成果報告甄選」參獎
2011-06-01 林碩紝、袁克倫榮獲「九十九學年度大學校院積體電路電腦輔助設計(CAD)軟體製作競賽」優等
2011-04-01 Paper on "Resolution Proofs and Skolem Functions in QBF Evaluation and Applications" will be published in the International Conference on Computer Aided Verification 2011 (CAV’11)

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