http://flolac.iis.sinica.edu.tw/flolac09/ 2010-04-05T00:41:59+08:00 http://flolac.iis.sinica.edu.tw/flolac09/ http://flolac.iis.sinica.edu.tw/flolac09/lib/images/favicon.ico text/html 2009-07-06T19:27:38+08:00 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. text/html 2010-03-21T19:01:52+08:00 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-06-28T22:13:54+08:00 http://flolac.iis.sinica.edu.tw/flolac09/doku.php?id=fv&rev=1246198434&do=diff Instructor: Chung-Yang (Ric) Huang / Design Verification Lab, GIEE, NTU This lecture covers the algorithms and applications of the Boolean Satisfiability (SAT) problem. Elementary Switching Circuit and Logic Theories * Overview of Hardware Verification * Assertion-Based Verification * Boolean Satisfiability (SAT) Algorithms * Logic Implication and its Applications * DPLL Decision Procedure * Conflict-Driven Learning and Non-Chronological Backtracking * Decision ordering / R… text/html 2009-07-07T15:09:54+08:00 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 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 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-30T16:05:55+08:00 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 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-05-07T11:12:26+08:00 http://flolac.iis.sinica.edu.tw/flolac09/doku.php?id=transportation&rev=1241665946&do=diff * 日期: 2009 年 6 月 29 日（週一）至 7 月 10 日（週五） * 時間: 每週一至週五早上九點至下午五點，依課程排定時間上課 * 地點: 國立台灣大學進修推廣部（台北市106羅斯福路4段107號）