【FLOLAC'15 招生开始！】
软件已经成为世界运作的一部分，coding也成为新时代的基本能力之一，
连美国总统欧巴马也呼吁年轻人一起来Coding。
但Coding上手容易精通难，你是否曾就为了神秘BUG而好几天都睡不着觉，
程式执行的结果总跟想像中的不一样，反复测试好多次，
逐行检查程式码，或许花上几天几夜，但成效却不尽人意？
与其埋头苦干，你想不想知道手上的装置，
到底怎么理解你的程式，怎么执行？
想像一下，如果有办法能有效的指出设计怪怪的地方，是否能更有效揪出臭虫！
程式的执行建立在逻辑与计算理论的基础之上，
也就是装置“看待”指令时的思维，硬件逻辑，软件指令集，都是如此。
如果能了解相关知识与理论，并且针对各类领域发展适合的应用，
便可能迅速了解盲点，这也是程式验证的重要之处！
再辅以适当的工具进行修正，你的开发与设计都可更加得心应手，
BUG将难以苟且偷生，更使你能满足现今硬件设计需求！
2015今年夏天，台湾大学“逻辑、语言与计算”暑期研习营，
也带着满满的热忱开班授课啦！
主题涵盖逻辑与计算理论、模型检查，各类验证的应用。
同时因为是正式暑修课程，只要花两星期修课，考核通过就能拿3学分！
如此超值，千万别错过！
开课时间在7/6-7/17，共计十天，
我们在台大醉月湖畔的新生大楼，一起为自己充电！
外校生报名期间为6/10-6/11，台大学生初选时间为6/17-6/18，
详情请见报名资讯页：http://flolac.iis.sinica.edu.tw/flolac15/