[網宣] 邏輯、語言與計算暑期研習營 (FLOLAC'14)

看板PLT (程式語言與理論)作者viw時間10年前 (2014/05/14 10:48)推噓1(1推 0噓 3→)

留言4則, 3人參與討論串1/1

「只要對 theoretical computer science稍微有興趣的人，沒去一定會後悔得哭出來！特別今年是關於languages 的主題，就是那些 type systems、denotational semantics 之類的東西！跌斷手都要去的呀！」 --歷任參加者A（兼講師）「這些人超有誠意的！講什麼東西都怕你不懂，從最最基礎的東西開始解釋，哪像某物理系暑期課程，老師一上台就『我 assume 你們都有點 xxx 的基礎…… 』 XD」 --歷任參加者B（數學系參加者）「學到了非常多東西，也認識了一些很厲害的朋友。另外也看到了很多的外國講師（據說都是大師！）。最後一天考完還有 pizza吃到飽！想學些新東西的同學一定要來參加一下！」 --歷任參加者C 「自從連續參加兩年 FLOLAC 之後，雖然從此每次考試都沒有一百分，但還是學到不少東西，交了不少新朋友，還找到碩班指導教授……那麼好康的課一定要來阿～～～（激動）」 --歷任參加者D 「FLOLAC'12 表面的課表雖然是邏輯與函數式編程，內容卻顛覆了我對程式設計的認知，例如好的程式語言竟然可以由數學邏輯支持而非完全依賴工程經驗。」 --歷任參加者E（資訊系參加者） 2014 「邏輯、語言與計算」暑期研習營暨學分班 (FLOLAC '14) http://flolac.iis.sinica.edu.tw/flolac14/ 現在就報名旁聽-----> email 至 jaiyalas@iis.sinica.edu.tw 現在就準備選課-----> 非台大學生6/4, 5；台大學生6/12, 13 日期：2014 年 6 月 30 日 (週一) 至 7 月 11 日 (週五)，共計十天。時間：每週一至週五早上九點十分至下午四點二十分。地點：國立臺灣大學，預計將在新生教學大樓。對象：對數理、邏輯與編程感興趣的大學或研究所在學學生及相關行業工作者。簡介本課程將講授程式語言與型式驗證領域之入門理論與知識，包含邏輯、λ演算 (Lambda Calculus)、函數編程 (Functional Programming)、型別系統 (Type System)、語意 (Semantics)、領域特定語言 (Domain-Specific Languages)等等，希望培養學生以型式邏輯進行清晰思考的能力，了解邏輯與程式語言、型別系統的密切關係，以及型別系統在程式語言中扮演的角色，使學生能以歸納、遞迴方式理解並解決程式設計問題，能運用軟體工具輔助邏輯推理並證明程式之正確性，並具備在程式語言相關領域進行研究的能力。自 2012 年起，本研習營正式成為台灣大學暑修課程，針對大學部學生開課，但亦歡迎研究生選修。台灣大學學生可透過國立台灣大學暑期課程網選課，有學籍之其他學校學生可透過校際選修選課。無學籍之社會人士也可旁聽。課程安排、報名資格、費用、其他注意事項等詳細資訊詳見課程網頁 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 220.136.86.37 ※ 文章網址: http://www.ptt.cc/bbs/PLT/M.1400035734.A.5FD.html ※ 編輯: viw (220.136.86.37), 05/14/2014 10:52:15 ※ viw:轉錄至看板 Math 05/14 14:02 ※ banacorn:轉錄至看板 CSSE 05/14 14:06