【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/