<var id="zzpbr"></var>

<em id="zzpbr"></em>
<em id="zzpbr"><i id="zzpbr"></i></em>
<optgroup id="zzpbr"></optgroup>
    <strike id="zzpbr"></strike>

    <optgroup id="zzpbr"><mark id="zzpbr"><delect id="zzpbr"></delect></mark></optgroup>
    <nobr id="zzpbr"><menuitem id="zzpbr"><progress id="zzpbr"></progress></menuitem></nobr>

    <optgroup id="zzpbr"><menuitem id="zzpbr"><delect id="zzpbr"></delect></menuitem></optgroup>

          2019年CCF龍星計劃—《邏輯與形式化方法》課程成功舉辦

          發布者:聞天明發布時間:2019-09-09瀏覽次數:11

          201987-9日,由中國計算機協會主辦、上??萍即髮W與復旦大學聯合承辦、CCF形式化方法專委會提供支持的2019CCF龍星計劃邏輯與形式化方法課程在上??萍即髮W創管學院報告廳成功舉辦。本次課程由美國西密歇根大學楊子江教授講授,面向高等院校和產業界人士招生,吸引了來自清華大學、香港中文大學、捷克理工大學和上海華為技術有限公司等國內外85個單位的100名高校學生、專家學者、技術總監等報名參加。本次《邏輯與形式化方法》課程是上??萍即髮W首次舉辦龍星計劃課程,課程的舉辦填補了信息學院在計算機理論課程方面的空白,促進了模型檢測技術原理和應用實踐的產學研融合,也增進了外單位學員對上??萍即髮W和信息學院的了解。

          image1.jpg

          楊子江教授(一排正中)、宋富教授(一排右二)與課程學員合影留念

           

          image3.png

          上??萍即髮W宋富教授進行課程介紹

           

          近年來,隨著信息技術的廣泛應用,特別是信息技術與物理世界和人類社會的高度融合,整個社會的信息化程度不斷提高,人們對計算機系統的可靠性與安全性提出了更高的要求。計算機系統的錯誤及安全隱患影響到生命財產安全。形式化方法是保證計算機系統正確性和安全性的一種重要方法,其采用數學邏輯證明的手段對計算機系統進行建模、規約、分析、推理和驗證。在此背景下,中國計算機學會特邀楊子江教授參與CCF龍星計劃,講授計劃邏輯與形式化方法課程。

          image4.png

          楊子江教授授課中

           

          image2.png

          楊教授課后與學員交流

           

          在為期三天的課程中,楊教授授課過程將電子課件與板書相結合,整個課程涵蓋了時序邏輯、基于BDD的模型驗證、SAT、SMT、偏序約減等內容,講解深入淺出,課時之間連貫性強,與學員交流互動頻繁。課程視頻已被CCF數字圖書館收錄。課程結束后,楊教授也與參與課程的學員及專家學者就相關領域研究展開了深入的交流。通過技術理論學習和應用實踐相結合,學員們加深了對形式化方法、模型檢測基本知識的理解,初步掌握了形式化方法在程序、實時系統和信息物理系統中自動化驗證的應用方法。學員們普遍對本次龍星課程的授課質量與服務保障給予高度評價。來自上??萍即髮W的高鵬飛同學表示,本次課程系統地梳理了邏輯與形式化方法的相關知識,使自己對該領域的起源、現狀與未來發展方向有了整體的認識,加深了自己對模型檢查的理解;同時也促進了自己與其他高校的相關研究人員交流溝通,收獲頗多,受益匪淺。

           

          延伸閱讀:

          楊子江教授,深信科創創始人,分別從中國科學技術大學,美國賴斯大學(Rice University)及賓夕法尼亞大學(University of Pennsylvania)獲得學士,碩士及博士學位。曾供職于NEC美國研究院及貝爾實驗室。獲得2018 ACM SIGSOFT Distinguished Paper Award, 2018 Google Engagement Award, 2010 PADTAD best paper award, 2008 ACM TODAES best paper award and the 2008 CEAS outstanding new researcher award等獎項。擔任中美科學基金評委,美國能源部小企業基金評委,2019IEEE軟件測試驗證會議主席等職。

          CCF龍星計劃是由中國計算機學會發起的公益性計劃。該計劃通過組織在美國學術界擁有較高學術聲望的華人教授,回國系統地講授一門美國研究生課程(每門課程15~30課時)。以促進我國相關領域的發展。課程面向全國相關領域的教師、學生以及企業界人士,學員免費參與相關學習。2019年度的龍星計劃《邏輯與形式化方法》課程面向計算機、軟件工程、可信計算等專業的相關人員,內容側重于模型檢測技術原理和應用實踐。


          pc蛋蛋加拿大28官网 http://cn.engadget.com/tag/福利彩票专家预测【28c63.com】 http://cn.engadget.com/tag/北京塞车pk10开奖直播.【28c63.com】 http://cn.engadget.com/tag/猜生肖的是什么彩票【28c63.com】 http://cn.engadget.com/tag/彩票跟单的平台【28c63.com】 http://cn.engadget.com/tag/千发彩票平台可靠吗【28c63.com】 http://cn.engadget.com/tag/彩票质合是什么意思【28c63.com】 http://cn.engadget.com/tag/幸运飞艇说明【28c63.com】 http://cn.engadget.com/tag/凤凰彩票有几个【28c63.com】 http://cn.engadget.com/tag/江南娱乐客户端下载【28c63.com】 http://cn.engadget.com/tag/秒速时时彩的官网【28c63.com】 http://cn.engadget.com/tag/嘉美彩票平台【28c63.com】 http://cn.engadget.com/tag/体育彩票排列五 历史【28c63.com】 http://cn.engadget.com/tag/秒速时时采彩官方app【28c63.com】 http://cn.engadget.com/tag/幸运农场彩票平台【28c63.com】 http://cn.engadget.com/tag/万达彩票怎么注册账号【28c63.com】 http://cn.engadget.com/tag/彩票杭州历史开奖【28c63.com】 http://cn.engadget.com/tag/推荐澳门永利娱乐官网【28c63.com】 http://cn.engadget.com/tag/幸运飞艇200期冷热分析【28c63.com】 http://cn.engadget.com/tag/高频彩票为什么上瘾【28c63.com】 http://cn.engadget.com/tag/奔驰彩票老师微信【28c63.com】 http://cn.engadget.com/tag/广东快乐十分推荐【28c63.com】 http://cn.engadget.com/tag/幸运飞艇超准杀一码【28c63.com】 http://cn.engadget.com/tag/pk10计划怎么看【28c63.com】 http://cn.engadget.com/tag/实时彩票合法吗【28c63.com】 http://cn.engadget.com/tag/幸运农场幸运五开奖【28c63.com】 http://cn.engadget.com/tag/体育彩票排列三推荐【28c63.com】 http://cn.engadget.com/tag/彩票二等奖在哪里领【28c63.com】 http://cn.engadget.com/tag/最新双色球彩票指南【28c63.com】 http://cn.engadget.com/tag/pk10幸运飞艇利高赔率网【28c63.com】 http://cn.engadget.com/tag/pk10计划淘宝【28c63.com】 http://cn.engadget.com/tag/大运彩票网诚信六年【28c63.com】 http://cn.engadget.com/tag/广东快乐十分网址多少【28c63.com】 http://cn.engadget.com/tag/幸运飞艇每天开几期【28c63.com】 http://cn.engadget.com/tag/3d彩票网站有哪【28c63.com】 http://cn.engadget.com/tag/彩票软件定制平台【28c63.com】 http://cn.engadget.com/tag/幸运农场开奖平台【28c63.com】 http://cn.engadget.com/tag/pk10计划扣扣群【28c63.com】 http://cn.engadget.com/tag/体育彩票历史开奖结果【28c63.com】 http://cn.engadget.com/tag/、幸运农场【28c63.com】 http://cn.engadget.com/tag/幸运飞艇开奖视频软件【28c63.com】 http://cn.engadget.com/tag/北京pk10长龙【28c63.com】 http://cn.engadget.com/tag/广东快乐十分钟结果【28c63.com】 http://cn.engadget.com/tag/彩神幸运飞艇【28c63.com】 http://cn.engadget.com/tag/pk10北京赛车计划软件【28c63.com】 http://cn.engadget.com/tag/双色球彩票开奖号码【28c63.com】 http://cn.engadget.com/tag/秒速赛车pk10开奖直播【28c63.com】 http://cn.engadget.com/tag/幸运飞艇冷热号码分析【28c63.com】 http://cn.engadget.com/tag/pk10在什么网站玩【28c63.com】 http://cn.engadget.com/tag/内蒙古体育彩票11选五【28c63.com】 http://cn.engadget.com/tag/幸运农场有关报道【28c63.com】 http://cn.engadget.com/tag/聚星pk10彩票怎么充值【28c63.com】 http://cn.engadget.com/tag/彩票中的钱到哪领【28c63.com】 http://cn.engadget.com/tag/秒速赛车有什么网【28c63.com】 http://cn.engadget.com/tag/亿宝彩票平台登录【28c63.com】 http://cn.engadget.com/tag/时时彩彩票走势图【28c63.com】 http://cn.engadget.com/tag/广东快乐十分技巧和经验【28c63.com】 http://cn.engadget.com/tag/幸运飞艇9码如何选码【28c63.com】 http://cn.engadget.com/tag/北京pk10彩票规律【28c63.com】 http://cn.engadget.com/tag/北京pk10走势图【28c63.com】 http://cn.engadget.com/tag/重庆幸运农场规则1比几【28c63.com】 http://cn.engadget.com/tag/米兜彩票吧【28c63.com】 http://cn.engadget.com/tag/彩票开奖音效【28c63.com】 http://cn.engadget.com/tag/重庆幸运农场第一球【28c63.com】 http://cn.engadget.com/tag/幸运飞艇最准计划【28c63.com】 http://cn.engadget.com/tag/澳门永利集团娱乐官网【28c63.com】 http://cn.engadget.com/tag/北京pk10内部计划【28c63.com】 http://cn.engadget.com/tag/中文免费幸运飞艇计划【28c63.com】 http://cn.engadget.com/tag/pk10北京赛车缩水【28c63.com】 http://cn.engadget.com/tag/微信代购彩票【28c63.com】 http://cn.engadget.com/tag/为什么很多女的玩彩票【28c63.com】 http://cn.engadget.com/tag/幸运飞艇能不能玩【28c63.com】 http://cn.engadget.com/tag/pk10龙虎技巧【28c63.com】 http://cn.engadget.com/tag/潍坊体育彩票总公司【28c63.com】 http://cn.engadget.com/tag/幸运农场幸运五是几倍【28c63.com】 http://cn.engadget.com/tag/好友游戏彩票注册【28c63.com】 http://cn.engadget.com/tag/香港趣彩彩票【28c63.com】 http://cn.engadget.com/tag/秒速赛车彩票正规吗【28c63.com】 http://cn.engadget.com/tag/天天爱彩票是不是真的【28c63.com】 http://cn.engadget.com/tag/万达国际彩票客户端【28c63.com】 http://cn.engadget.com/tag/随时赚彩票那家公司【28c63.com】 http://cn.engadget.com/tag/幸运飞艇全天开奖记录【28c63.com】 http://cn.engadget.com/tag/pk10 4码【28c63.com】 http://cn.engadget.com/tag/m5娱乐注册【28c63.com】 http://cn.engadget.com/tag/重庆幸运农场单双【28c63.com】 http://cn.engadget.com/tag/pk10分析【28c63.com】 http://cn.engadget.com/tag/彩票是怎么玩的【28c63.com】 http://cn.engadget.com/tag/重庆幸运农场单双【28c63.com】 http://cn.engadget.com/tag/北京pk10在线做号软件【28c63.com】 http://cn.engadget.com/tag/双色球天吉彩票预测【28c63.com】 http://cn.engadget.com/tag/秒速赛车怎么注册【28c63.com】 http://cn.engadget.com/tag/双色球彩票预测最准确【28c63.com】 http://cn.engadget.com/tag/美国彩票历史开奖记录【28c63.com】 http://cn.engadget.com/tag/广东快乐十分技巧杀号【28c63.com】 http://cn.engadget.com/tag/幸运飞艇前5码计划【28c63.com】 http://cn.engadget.com/tag/55彩票正规吗【28c63.com】 http://cn.engadget.com/tag/乐淘彩票网是真的吗【28c63.com】 http://cn.engadget.com/tag/幸运农场计划软件【28c63.com】 http://cn.engadget.com/tag/pk10五码平投【28c63.com】 http://cn.engadget.com/tag/江苏福利彩票【28c63.com】 http://cn.engadget.com/tag/幸运飞艇是不是作弊【28c63.com】 http://cn.engadget.com/tag/pk10冠军计划【28c63.com】 http://cn.engadget.com/tag/彩乐网天下彩天空彩与你同行【28c63.com】 http://cn.engadget.com/tag/重庆幸运农场开奖app【28c63.com】 http://cn.engadget.com/tag/幸运飞艇追号免费计划【28c63.com】 http://cn.engadget.com/tag/盛和在线彩票【28c63.com】 http://cn.engadget.com/tag/广东快乐十分app【28c63.com】 http://cn.engadget.com/tag/幸运飞艇和北京赛车官网【28c63.com】 http://cn.engadget.com/tag/怎样玩彩票网的pk10【28c63.com】 http://cn.engadget.com/tag/彩票256可靠吗【28c63.com】 http://cn.engadget.com/tag/幸运飞艇启动图【28c63.com】 http://cn.engadget.com/tag/pk10七码【28c63.com】 http://cn.engadget.com/tag/广东快乐十分胆【28c63.com】 http://cn.engadget.com/tag/快3口诀表格技巧【28c63.com】 http://cn.engadget.com/tag/pk10特码是多少【28c63.com】 http://cn.engadget.com/tag/3cp彩票有用过的吗【28c63.com】 http://cn.engadget.com/tag/幸运飞艇赛车群【28c63.com】 http://cn.engadget.com/tag/pk10 反水【28c63.com】 http://cn.engadget.com/tag/江西农行彩票定投查询【28c63.com】 http://cn.engadget.com/tag/幸运飞艇全天一期计划【28c63.com】 http://cn.engadget.com/tag/北京pk10数据【28c63.com】 http://cn.engadget.com/tag/好球彩票手机客户端【28c63.com】 http://cn.engadget.com/tag/手机免费幸运飞艇计划【28c63.com】 http://cn.engadget.com/tag/必赢客pk10 技巧【28c63.com】 http://cn.engadget.com/tag/加拿大福利彩票幸运28【28c63.com】 http://cn.engadget.com/tag/秒速赛车是什么【28c63.com】 http://cn.engadget.com/tag/pk10改单平台【28c63.com】 http://cn.engadget.com/tag/腾讯彩票游戏加拿大28【28c63.com】 http://cn.engadget.com/tag/重庆福彩幸运农场走势图【28c63.com】 http://cn.engadget.com/tag/银豹彩票网址【28c63.com】 http://cn.engadget.com/tag/ba彩票娱乐【28c63.com】 http://cn.engadget.com/tag/福彩幸运农场直播【28c63.com】 http://cn.engadget.com/tag/pk10冠亚和技巧【28c63.com】 http://cn.engadget.com/tag/足球胜负彩500彩票网【28c63.com】 http://cn.engadget.com/tag/幸运农场开奖视频【28c63.com】 http://cn.engadget.com/tag/北京pk10前二万能码【28c63.com】 http://cn.engadget.com/tag/大富豪彩票游戏【28c63.com】 http://cn.engadget.com/tag/广东快乐十分怎样投注【28c63.com】 http://cn.engadget.com/tag/幸运飞艇1.98投注网【28c63.com】 http://cn.engadget.com/tag/热彩彩票app下载【28c63.com】 http://cn.engadget.com/tag/福利彩票复式怎么买【28c63.com】 http://cn.engadget.com/tag/幸运飞艇的简单玩法【28c63.com】 http://cn.engadget.com/tag/秒速赛车压8个码【28c63.com】 http://cn.engadget.com/tag/彩票88网是正规网吗【28c63.com】 http://cn.engadget.com/tag/彩票预测大乐透双色球【28c63.com】 http://cn.engadget.com/tag/重庆幸运农场复式价格【28c63.com】 http://cn.engadget.com/tag/中国足球彩票胜平负【28c63.com】 http://cn.engadget.com/tag/体育彩票过年开售时间【28c63.com】 http://cn.engadget.com/tag/哪个app可以买欧洲秒速赛车彩票【28c63.com】 http://cn.engadget.com/tag/幸运飞艇安卓软件【28c63.com】 http://cn.engadget.com/tag/彩票预测网站【28c63.com】 http://cn.engadget.com/tag/秒速赛车开奖号码有规律嘛【28c63.com】 http://cn.engadget.com/tag/幸运飞艇可以算【28c63.com】 http://cn.engadget.com/tag/哪个彩票软件最好【28c63.com】 http://cn.engadget.com/tag/500vip彩票安全么【28c63.com】 http://cn.engadget.com/tag/幸运飞艇提示【28c63.com】 http://cn.engadget.com/tag/北京pk10模拟开奖器【28c63.com】 http://cn.engadget.com/tag/幸运飞艇规律杀号【28c63.com】 http://cn.engadget.com/tag/幸运飞艇人工单双在线计划【28c63.com】 http://cn.engadget.com/tag/pk10龙虎怎么玩【28c63.com】 http://cn.engadget.com/tag/qq如何买彩票【28c63.com】 http://cn.engadget.com/tag/幸运飞艇杀5码【28c63.com】 http://cn.engadget.com/tag/北京pk10冠亚军单式【28c63.com】 http://cn.engadget.com/tag/中华彩票报纸【28c63.com】 http://cn.engadget.com/tag/幸运飞艇老群【28c63.com】 http://cn.engadget.com/tag/现在手机还能买彩票么【28c63.com】 http://cn.engadget.com/tag/广东快乐十分预测推荐【28c63.com】 http://cn.engadget.com/tag/幸运飞艇猜冠军追号计划【28c63.com】 http://cn.engadget.com/tag/pk10开奖网【28c63.com】 http://cn.engadget.com/tag/广东快乐十分历史开奖结果【28c63.com】 http://cn.engadget.com/tag/幸运飞艇交流群数据【28c63.com】 http://cn.engadget.com/tag/pk10成绩走势图【28c63.com】 http://cn.engadget.com/tag/广东快乐十分旋转矩阵【28c63.com】 http://cn.engadget.com/tag/微信群玩北京赛车【28c63.com】 http://cn.engadget.com/tag/欧洲彩票历史【28c63.com】 http://cn.engadget.com/tag/广东快乐十分开奖视频【28c63.com】 http://cn.engadget.com/tag/现在有什么彩票软件【28c63.com】 http://cn.engadget.com/tag/彩票之家1960注册链接【28c63.com】 http://cn.engadget.com/tag/广东快乐十分开奖现场【28c63.com】 http://cn.engadget.com/tag/体育彩票是真的吗【28c63.com】 http://cn.engadget.com/tag/卓易彩票老版【28c63.com】 http://cn.engadget.com/tag/重庆幸运农场推荐号【28c63.com】 http://cn.engadget.com/tag/pk10开奖官方网站【28c63.com】 http://cn.engadget.com/tag/全球彩票是真的吗【28c63.com】 http://cn.engadget.com/tag/幸运飞艇走势规律【28c63.com】 http://cn.engadget.com/tag/横扫彩票专栏【28c63.com】 http://cn.engadget.com/tag/广东快乐十分在线计划【28c63.com】 http://cn.engadget.com/tag/腾讯分分彩趋势软件【28c63.com】 http://cn.engadget.com/tag/博发彩票 大小【28c63.com】 http://cn.engadget.com/tag/定好打幸运农场三全【28c63.com】 http://cn.engadget.com/tag/北京幸运飞艇pk10【28c63.com】 http://cn.engadget.com/tag/中国彩票3d参考图【28c63.com】 http://cn.engadget.com/tag/秒速时时彩APP【28c63.com】 http://cn.engadget.com/tag/概率学的彩票pk10原理【28c63.com】 http://cn.engadget.com/tag/中华彩票吧【28c63.com】 http://cn.engadget.com/tag/幸运飞艇官网成立【28c63.com】 http://cn.engadget.com/tag/福利彩票讨论群【28c63.com】 http://cn.engadget.com/tag/重庆幸运农场图片【28c63.com】 http://cn.engadget.com/tag/北京赛车pk10走势图表【28c63.com】 http://cn.engadget.com/tag/彩票中质合指的是什么【28c63.com】 http://cn.engadget.com/tag/幸运飞艇计划表网页版【28c63.com】