http://flolac.iis.sinica.edu.tw/flolac09/ 2010-03-24T12:18:00+08:00 http://flolac.iis.sinica.edu.tw/flolac09/ http://flolac.iis.sinica.edu.tw/flolac09/lib/images/favicon.ico text/html 2010-03-21T19:01:52+08:00 Yih-Kuen Tsay http://flolac.iis.sinica.edu.tw/flolac09/doku.php?id=en&rev=1269169312&do=diff [To the Chinese homepage] Welcome to the homepage of 2009 Formosan Summer School on Logic, Language, and Computation (FLOLAC 2009). Researchers in Taiwan who are interested in the foundational aspects of computing science have founded a number of research teams and worked together in some joint projects. As in any discipline, a student will have to go through a series of courses to be prepared for further research in this field. Being affiliated to different institutes, however, the res… text/html 2009-07-30T16:05:55+08:00 Yih-Kuen Tsay http://flolac.iis.sinica.edu.tw/flolac09/doku.php?id=start&rev=1248941155&do=diff [To the English homepage] * [2009/7/30] [FLOLAC 2009 成績報告] * [2009/7/6] * [2009/7/2] 即日起，改在202教室上課。 * [2009/6/29] 開始上課囉！ * [2009/6/27] 所有課程投影片將於第一天上課前發放；其中絕大部分已可於各講題網頁下載，方便學員預習。 * [2009/6/27] 全體學員請於二十九日(星期一)12:10-13:00至台大進修推廣部一樓報到，並領取午餐；13:30進行始業式；14:00開始上課。 * [2009/6/23] 本暑期研習營可補助遠道學員住宿台北教師會館，名額有限，有需要者請儘速與蔡益坤老師聯繫。… text/html 2009-07-09T22:57:29+08:00 Yih-Kuen Tsay http://flolac.iis.sinica.edu.tw/flolac09/doku.php?id=tl&rev=1247151449&do=diff Instructor: Yih-Kuen Tsay 蔡益坤 This lecture series covers the basics, including fundamental properties and algorithms, of various kinds of ω-automata (which are finite automata over infinite words) and linear temporal logic (in particular variants with past temporal operators and quantifiers). text/html 2009-07-07T15:09:54+08:00 Ming-Hsien Tsai http://flolac.iis.sinica.edu.tw/flolac09/doku.php?id=l&rev=1246950594&do=diff Instructor: Bow-Yaw Wang This lecture covers requisite materials from logic and automata theory. Specific topics include: semantics of classical logic, compactness theorem, completeness theorem, Büchi automata, satisfiability, validity, and QBF. text/html 2009-07-07T07:33:28+08:00 Ming-Hsien Tsai http://flolac.iis.sinica.edu.tw/flolac09/doku.php?id=mc&rev=1246923208&do=diff Instructor: Farn Wang 王凡 [[slides for print]] [[slides for display (updated on July 6)]] * [Homework #1] * [Homework #2] * [Homework #3] text/html 2009-07-07T07:29:42+08:00 Ming-Hsien Tsai http://flolac.iis.sinica.edu.tw/flolac09/doku.php?id=ml&rev=1246922982&do=diff Instructor: Churn-Jung Liau This lecture covers basic modal logic and its applications (in particular, in AI and distributed systems). Specific topics include: Kripke semantics, normal modal systems (K, D, S5, etc.), completeness theorem, finite model property, decidability, multi-agent epistemic logic, dynamic logic. text/html 2009-07-06T19:27:38+08:00 Ming-Hsien Tsai http://flolac.iis.sinica.edu.tw/flolac09/doku.php?id=ec&rev=1246879658&do=diff Instructor: Jie-Hong Roland Jiang Formal verification is an essential step in designing a digital electronic system. It certifies the functional correctness of a design. This lecture will provide in-depth coverage of some fundamental aspects of formal hardware verification.