邏輯、語言與計算暑期研習營

基於邏輯的程式測試與驗證

透過這次教學，我們希望讓大家了解邏輯對於寫程式的幫助。
現在基於邏輯的程式驗證與測試已經不僅僅是理論。許多大公司，已經積極地採用。 再不學，就來不及囉。
本次課程集結了國內相關研究的黃金陣容，講師來自中央研究院，台灣大學，政治大學。 無論經驗或是研究成果都是目前首選，相信不會讓大家失望。

（傳統）程式一定會有錯

現今程式的規模已經日益龐大，在實務上，以傳統方式開發的程式，只要超過一定的大小，無可避免的，一定或多或少會有一些錯誤。 這些錯誤，可大可小，常常會造成經濟上的損失或是更大的危害。

（自動）推論幫你找到錯

我們會討論各種基於邏輯的方法，自動化的幫忙找到程式錯誤，甚至證明修改過的已經完全符合定出來的規格。這些方法許多已經在最先進的業界被採用，有許多更前沿的方法還在學界開發中。

（電腦）邏輯研究面面觀

除了自動驗證與測試，我們還會提到更多邏輯在電腦科學的研究議題。預計將以特別演講的方式呈現。

重要日期

1. 05/31
   網站上線
2. 07/13
   外校學生修課報名開始
3. 07/14
   外校學生修課報名截止
4. 07/19
   臺大學生報名開始
5. 07/20
   臺大學生報名截止
6. 07/24
   旁聽報名截止(07/31通知結果)
7. 07/27
   課程網路加退選截止
8. 08/21
   課程開始
9. 08/28
   期中停修截止
10. 09/01
    課程結束