<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/pk10开奖皇家彩28c63。com 复制登录 http://www.douban.com/search?q=福利彩票幸运农场走势图a9840。com 复制登录 http://cn.engadget.com/tag/幸运农场开奖28c63。com 复制登录 http://so.iqiyi.com/pps/?k=365是不是外围彩票a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=dy9902大运彩票a9840。com 复制登录 http://www.youdao.com/w/广东快乐十分前三a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=广东快乐十分11选五a9840。com 复制登录 http://www.youdao.com/w/幸运飞艇怎么玩定位a9840。com 复制登录 http://cn.engadget.com/tag/500万彩票网股票盈利28c63。com 复制登录 http://so.iqiyi.com/pps/?k=手机买彩票怎么买的a9840。com 复制登录 http://www.douban.com/search?q=山东互联网彩票a9840。com 复制登录 http://cn.engadget.com/tag/秒速赛车九码买法28c63。com 复制登录 http://so.iqiyi.com/pps/?k=广东快乐十分彩a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=pk10正规吗a9840。com 复制登录 http://www.youdao.com/w/彩票138neta9840。com 复制登录 http://so.iqiyi.com/so/q_天易彩票正规吗a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=重庆市幸运农场开奖结果a9840。com 复制登录 http://www.douban.com/search?q=365.cc彩票网址a9840。com 复制登录 http://cn.engadget.com/tag/手机哪里可以买彩票28c63。com 复制登录 http://so.iqiyi.com/pps/?k=幸运飞艇官方计划推荐a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=高频彩票倍投方案a9840。com 复制登录 http://www.youdao.com/w/重庆幸运农场规则a9840。com 复制登录 http://so.iqiyi.com/pps/?k=北京pk10属于合法的吗a9840。com 复制登录 http://www.douban.com/search?q=天豪娱乐平台靠谱吗a9840。com 复制登录 http://cn.engadget.com/tag/乐都彩票APP28c63。com 复制登录 http://so.iqiyi.com/pps/?k=幸运农场在线计划大全a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=盛世直播pk10a9840。com 复制登录 http://www.youdao.com/w/网易彩票时时彩a9840。com 复制登录 http://so.iqiyi.com/so/q_幸运农场的技巧a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=幸运飞艇微信外围平台a9840。com 复制登录 http://www.douban.com/search?q=联运彩票平台可靠吗a9840。com 复制登录 http://cn.engadget.com/tag/彩票幸运农场技巧28c63。com 复制登录 http://so.iqiyi.com/so/q_北京pk10和北京快乐8a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=广东快乐十分杀号软件a9840。com 复制登录 http://www.youdao.com/w/快乐十分任选走势图a9840。com 复制登录 http://so.iqiyi.com/pps/?k=创造财富四肖八码a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=澳客彩票杀号a9840。com 复制登录 http://www.youdao.com/w/阜阳彩票案最终结果a9840。com 复制登录 http://so.iqiyi.com/so/q_北京赛车pk10最全数据a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=分分彩二星直选号码a9840。com 复制登录 http://www.youdao.com/w/彩票大小单双 技巧a9840。com 复制登录 http://so.iqiyi.com/so/q_时时彩如何定五星胆码a9840。com 复制登录 http://so.iqiyi.com/pps/?k=永胜彩票网a9840。com 复制登录 http://www.douban.com/search?q=北京赛车pk10彩票导航a9840。com 复制登录 http://cn.engadget.com/tag/广东快乐十分号码28c63。com 复制登录 http://so.iqiyi.com/pps/?k=重庆幸运农场一天多少期a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=澳客彩票网专家杀号a9840。com 复制登录 http://www.youdao.com/w/浙江中彩票了去哪里领a9840。com 复制登录 http://so.iqiyi.com/so/q_广东快乐十分20选5预测a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=幸运飞艇pk10开奖结果a9840。com 复制登录 http://www.douban.com/search?q=北京pk10七码技巧a9840。com 复制登录 http://so.iqiyi.com/so/q_买彩票如何选号a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=广东快乐十分官网视频a9840。com 复制登录 http://www.youdao.com/w/幸运飞艇压码公式a9840。com 复制登录 http://cn.engadget.com/tag/88彩平台28c63。com 复制登录 http://so.iqiyi.com/pps/?k=广东快乐十分每日走势图表a9840。com 复制登录 http://www.douban.com/search?q=梯子游戏彩票a9840。com 复制登录 http://www.youdao.com/w/顺龙pk10a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=3cp上彩票可靠吗a9840。com 复制登录 http://www.youdao.com/w/河内5分彩预测软件a9840。com 复制登录 http://cn.engadget.com/tag/乐娱彩票登录28c63。com 复制登录 http://so.iqiyi.com/pps/?k=幸运农场最新技巧a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=118彩票安卓官方版a9840。com 复制登录 http://www.youdao.com/w/重庆幸运农场任选二a9840。com 复制登录 http://cn.engadget.com/tag/双色球彩票扫码28c63。com 复制登录 http://so.iqiyi.com/pps/?k=广东快乐十分走势记录a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=赛车pk10单双开奖记录a9840。com 复制登录 http://www.youdao.com/w/推荐澳门永利娱乐官网a9840。com 复制登录 http://so.iqiyi.com/so/q_为什么彩票不能网购了a9840。com 复制登录 http://so.iqiyi.com/pps/?k=彩城彩票是正规的吗a9840。com 复制登录 http://www.youdao.com/w/彩票怎么玩稳赚a9840。com 复制登录 http://so.iqiyi.com/so/q_幸运农场杀码规律a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=创造财富四肖八码a9840。com 复制登录 http://www.youdao.com/w/幸运飞艇属于哪种彩票a9840。com 复制登录 http://cn.engadget.com/tag/pk10投注软件28c63。com 复制登录 http://so.iqiyi.com/pps/?k=体育彩票推荐号码a9840。com 复制登录 http://www.douban.com/search?q=青岛市福利彩票a9840。com 复制登录 http://cn.engadget.com/tag/广东快乐十分在线计划28c63。com 复制登录 http://so.iqiyi.com/pps/?k=幸运农场结束时间a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=曾夫人四不像a9840。com 复制登录 http://www.youdao.com/w/中国体育彩票31选7开奖a9840。com 复制登录 http://so.iqiyi.com/so/q_北京赛车pk10安卓计划a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=幸运中彩票app可信吗a9840。com 复制登录 http://www.douban.com/search?q=中广东快乐十分秘籍a9840。com 复制登录 http://cn.engadget.com/tag/红宝石彩票官网28c63。com 复制登录 http://so.iqiyi.com/so/q_天天中彩票简介a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=喵咪彩票网站可靠吗a9840。com 复制登录 http://www.youdao.com/w/幸运飞艇官网投注软件a9840。com 复制登录 http://so.iqiyi.com/pps/?k=微信幸运飞艇红包群a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=彩票中了500万该怎么用a9840。com 复制登录 http://www.youdao.com/w/互联网彩票行业情况a9840。com 复制登录 http://so.iqiyi.com/so/q_幸运飞艇微信群最新a9840。com 复制登录 http://so.iqiyi.com/pps/?k=pk10彩控a9840。com 复制登录 http://www.youdao.com/w/重庆幸运农场实时图a9840。com 复制登录 http://so.iqiyi.com/so/q_幸运农场复试a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=福利彩票最后封盘时间a9840。com 复制登录 http://www.youdao.com/w/500彩票网双色球走势图a9840。com 复制登录 http://cn.engadget.com/tag/pk10走势图28c63。com 复制登录 http://so.iqiyi.com/pps/?k=卓易彩票公司总部在哪a9840。com 复制登录 http://www.douban.com/search?q=重庆幸运农场软件手机版下载a9840。com 复制登录 http://cn.engadget.com/tag/幸运农场开奖结果下载28c63。com 复制登录 http://so.iqiyi.com/pps/?k=幸运飞艇每天开几期a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=极速飞车彩票怎么玩a9840。com 复制登录 http://www.youdao.com/w/好友彩票-登录页面a9840。com 复制登录 http://so.iqiyi.com/so/q_幸运飞艇是最新出的吗a9840。com 复制登录 http://so.iqiyi.com/pps/?k=pk10 掌赢专家pc版a9840。com 复制登录 http://www.douban.com/search?q=手机幸运农场下载不了a9840。com 复制登录 http://www.youdao.com/w/pk10统计a9840。com 复制登录 http://so.iqiyi.com/so/q_广东快乐十分11选5开奖a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=幸运飞艇号码预测a9840。com 复制登录 http://www.douban.com/search?q=北京赛车pk10怎么算?a9840。com 复制登录 http://so.iqiyi.com/so/q_凤凰彩票有几个a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=幸运彩票信誉怎么样a9840。com 复制登录 http://www.youdao.com/w/广东快乐十分官方网站a9840。com 复制登录 http://so.iqiyi.com/so/q_平台买彩票是真的吗a9840。com 复制登录 http://so.iqiyi.com/pps/?k=pk10官网开奖a9840。com 复制登录 http://www.douban.com/search?q=广州正规私家侦探公司a9840。com 复制登录 http://cn.engadget.com/tag/pk10动画28c63。com 复制登录 http://so.iqiyi.com/pps/?k=pk10报号软件a9840。com 复制登录 http://www.douban.com/search?q=彩票幸运选号器2.0a9840。com 复制登录 http://cn.engadget.com/tag/秒速赛车吧28c63。com 复制登录 http://so.iqiyi.com/pps/?k=幸运飞艇前5码a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=e乐彩票网安全吗a9840。com 复制登录 http://www.youdao.com/w/快三手机版资讯a9840。com 复制登录 http://so.iqiyi.com/so/q_pk10改单a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=头条彩票网a9840。com 复制登录 http://www.youdao.com/w/合乐彩票平台靠谱吗a9840。com 复制登录 http://cn.engadget.com/tag/连中彩票软件28c63。com 复制登录 http://so.iqiyi.com/pps/?k=170彩票网专家预测准么a9840。com 复制登录 http://www.douban.com/search?q=腾讯分分后三大底a9840。com 复制登录 http://www.youdao.com/w/京东能买彩票吗a9840。com 复制登录 http://www.youdao.com/w/时时彩免费大赢家软件a9840。com 复制登录 http://cn.engadget.com/tag/彩票精英高手福彩3d28c63。com 复制登录 http://so.iqiyi.com/pps/?k=手机幸运飞艇开奖a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=微信里的彩票竞猜抽奖a9840。com 复制登录 http://www.youdao.com/w/幸运飞艇包和值a9840。com 复制登录 http://cn.engadget.com/tag/福利彩票8开奖查询28c63。com 复制登录 http://so.iqiyi.com/pps/?k=幸运飞艇皇家下载a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=福建体肓彩票a9840。com 复制登录 http://www.youdao.com/w/谁有幸运飞艇开奖结果a9840。com 复制登录 http://cn.engadget.com/tag/什么时候能网购彩票28c63。com 复制登录 http://so.iqiyi.com/pps/?k=重庆福彩幸运农场走势图表a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=四位数的彩票a9840。com 复制登录 http://www.youdao.com/w/秒速时时彩计划软件a9840。com 复制登录 http://cn.engadget.com/tag/12生肖彩票怎么买28c63。com 复制登录 http://so.iqiyi.com/pps/?k=北京pk10走势图分析a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=微信pk10吧a9840。com 复制登录 http://www.youdao.com/w/秒速赛车彩票正规吗a9840。com 复制登录 http://cn.engadget.com/tag/pk10杀号公式28c63。com 复制登录 http://so.iqiyi.com/pps/?k=广东快乐十分预测qq群a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=微信彩票金豆有什么用a9840。com 复制登录 http://www.youdao.com/w/厦门福利彩票a9840。com 复制登录 http://cn.engadget.com/tag/pk10怎么不开奖了28c63。com 复制登录 http://so.iqiyi.com/pps/?k=今日所有彩票开奖结果a9840。com 复制登录 http://www.youdao.com/w/重庆幸运农场100走势图a9840。com 复制登录 http://so.iqiyi.com/so/q_大象彩票客户端a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=重庆幸运农场单双a9840。com 复制登录 http://www.douban.com/search?q=赛车pk10开奖结果a9840。com 复制登录 http://cn.engadget.com/tag/998彩票是什么网站28c63。com 复制登录 http://so.iqiyi.com/pps/?k=重庆幸运农场走势图、一a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=北京赛车pk10官网开奖a9840。com 复制登录 http://www.youdao.com/w/8828彩票安全吗?a9840。com 复制登录 http://so.iqiyi.com/so/q_幸运飞艇开奖时间官网a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=体育彩票开奖3d走势图a9840。com 复制登录 http://www.youdao.com/w/秒速赛车是什么a9840。com 复制登录 http://so.iqiyi.com/so/q_幸运农场机选a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=幸运中彩票平台怎么样a9840。com 复制登录 http://www.douban.com/search?q=pk彩票可靠吗a9840。com 复制登录 http://cn.engadget.com/tag/怎么用手机买淘宝彩票28c63。com 复制登录 http://so.iqiyi.com/pps/?k=捷豹彩票365网址a9840。com 复制登录 http://www.douban.com/search?q=大运彩票网是啥a9840。com 复制登录 http://www.youdao.com/w/最好的彩票软件是哪个?a9840。com 复制登录 http://so.iqiyi.com/so/q_幸运飞艇app软件下载a9840。com 复制登录 http://so.iqiyi.com/pps/?k=广西福利彩票双色球a9840。com 复制登录 http://www.douban.com/search?q=利博彩票网址多少a9840。com 复制登录 http://www.youdao.com/w/中国彩票3d参考图a9840。com 复制登录 http://so.iqiyi.com/so/q_天天爱彩票网站首页a9840。com 复制登录 http://so.iqiyi.com/pps/?k=60O万彩票网a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=北京赛车pk10改单a9840。com 复制登录 http://www.youdao.com/w/北京PK十计划a9840。com 复制登录 http://so.iqiyi.com/pps/?k=2019微信彩票在哪里买a9840。com 复制登录 http://www.douban.com/search?q=幸运飞艇一天开几期a9840。com 复制登录 http://cn.engadget.com/tag/体育彩票双色球怎么玩28c63。com 复制登录 http://so.iqiyi.com/so/q_大亨彩票快3a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=广东快乐十分不中号码a9840。com 复制登录 http://www.youdao.com/w/幸运飞艇开奖软件下载a9840。com 复制登录 http://so.iqiyi.com/so/q_广东快乐十分数据专家软件a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=幸运飞艇赛车微信群a9840。com 复制登录 http://www.douban.com/search?q=5分钟开奖的彩票叫啥a9840。com 复制登录 http://cn.engadget.com/tag/567彩票28c63。com 复制登录 http://so.iqiyi.com/pps/?k=广东快乐十分钟a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=彩票33怎么注册a9840。com 复制登录 http://www.youdao.com/w/福利彩票哪个是篮球a9840。com 复制登录 http://so.iqiyi.com/so/q_中博在线买彩票a9840。com 复制登录 http://so.iqiyi.com/pps/?k=中福彩票网站a9840。com 复制登录 http://www.douban.com/search?q=极速赛车pk10专业数据a9840。com 复制登录 http://cn.engadget.com/tag/广东快乐十分预测28c63。com 复制登录 http://so.iqiyi.com/pps/?k=加入幸运飞艇计划群a9840。com 复制登录 http://www.xiachufang.com/search/?keyword=乐娱彩票登录a9840。com 复制登录 http://www.youdao.com/w/幸运飞艇什么时候开奖a9840。com 复制登录