舊版新聞網  圖片網  新聞熱線:029-83858180  今天是:2019/7/6

最近更新

《科學》刊登西安科技大學青年教師翟嘯波最新科研成果——發現破解鎂金屬塑性差之法  19-07-05     西安科技大學研究院入駐機構建設期滿考核會召開  19-07-05     中國傳媒大學圖書館到我校交流座談  19-07-05     2019年西安科技大學老教授協會理事會召開  19-07-05     2019年函授工作會議召開  19-07-05     省社科聯黨組書記、常務副主席郭建樹一行來我校調研座談  19-07-05     學校持續推進在線服務信息化建設  19-07-05     校黨委理論學習中心組赴解放軍某部臨潼駐地參觀學習  19-07-05     韓國國民大學代表團訪問我校  19-07-05     人民網評:決心如鋼,賦予前行不竭動力  19-07-04     離退處赴西安財經大學考察調研  19-07-04     校學術委員會2019年度第一次全體會議召開  19-07-04     王雙明院士一行參加榆林市能化產業可持續發展院士行活動  19-07-04     學校召開學位授權點動態調整工作專家咨詢會  19-07-04     馬克思主義學院召開第五輪學科評估動員大會  19-07-04     電控學院召開2019年學科建設專題會  19-07-04     理學院教師為全校學生進行聯合輔導答疑  19-07-03     我校教師在第五屆全國高等學校GIS青年教師講課競賽暨第二屆全國高等學校GIS教學成果獎評選中獲佳績  19-07-03     校紀委開展紀委書記約談處級領導人員暨黨風廉政建設專項檢查  19-07-03     抓落實,埋頭苦干解決難題(人民觀點) ——牢牢把握主題教育總要求④ 本報評論部   19-07-03    
您當前所在位置:西科大新聞網 > 學術動態 > 論壇講座

法國國家藝術學院卡梅爾.巴卡維教授應邀到我校作報告

  1. 發布時間:2019/3/28 16:26:43
  2. 字號:
  3. 作者:王巖
  4. 來源:計算機學院
  5. 點擊數:649

3月27日,法國國家藝術學院卡梅爾•巴卡維教授應計算機學院的邀請在雁塔校區圖書館報告廳作題為《Exploiting local persistency for reduced state space generation of Petri nets》的學術報告。報告會由計算機學院副院長馬天主持,全校200余名研究生及部分教師聆聽了報告。

卡梅爾•巴卡維教授主要從Petri nets、Partial order techniques、Persistent step sets、Parametric combination of strong-persistent sets with steps、Parametric combination of persistent sets with steps等方面展開論述。

最后,卡梅爾•巴卡維教授與我校師生就相關科學問題進行了交流和討論。




 友情提示:轉載本網文章請注明出處。

 

 

  • 編輯:逸心         

 

技術支持單位:
乐虎国际手机平台