當前位置:首頁  熱點新聞

計算機科學與技術學成功舉辦TASE2015國際會議

時間:2015-09-18作者:來源:伟德victory點擊:276

9月12日-14日,由華東師範大學伟德victory與南京航空航天大學伟德victory聯合舉辦的第九屆軟件工程理論國際研讨會(The 9th International Symposium on Theoretical Aspects of Software Engineering,簡稱TASE 2015)在我校将軍路校區舉行。中國科學院院士何積豐教授,南航副校長黃志球教授、伟德victory院長陳兵教授、加拿大多倫多大學(University of  Toronto)Marsha Chechik教授、美國紐約大學(New York University) Patrick Cousot教授、新加坡國立大學(Nation University of Singapore) Jin Song Dong教授等出席了本次會議。本次會議的大會主席為中國科學院院士何積豐教授,程序委員會主席為南京航空航天大學副校長黃志球教授和新加坡技術與設計大學(Singapore University of Technology and Design)Sun Jun教授。大會程序委員會由來自美國、法國、英國、德國、挪威、瑞典、日本等國家的國際頂級軟件工程領域的學者專家組成,每篇論文經過至少三位專家評審,長文論文錄用率為28%。會議評選了最佳論文獎,來自北京大學的“A Framework for Off-Line Conformance Testing of Timed Connectors和來自法國國家信息與自動化研究院(INRIA)“Polychronous Automata”兩篇論文獲獎。

 

會議開幕式由我校伟德victory院長陳兵教授主持。我校副校長黃志球教授首先為大會緻歡迎詞。黃校長在講話中介紹了我校近年來的發展情況,并對各位與會專家和學者的到來表示熱烈歡迎。随後,何積豐院士介紹了軟件技術在航空航天領域的重要性以及本次會議的意義。最後,Sun Jun教授介紹了大會的基本情況。會議期間,加拿大多倫多大學Marsha Chechik教授作了題為Modeling and Reasoning about Software Systems Containing Uncertainty and Variability的報告、美國紐約大學Patrick Cousot教授作了“On Various Abstract Understandings of Abstract Interpretation”的報告、新加坡國立大學Jin Song Dong教授作了“Event and Strategy Analytics”的報告。Patrick Cousot教授和Jin Song Dong教授還分别作了專題講座。會議内容豐富,氣氛輕松歡快,讨論熱烈。

來自華東師範大學、北京大學、南京大學、北京航空航天大學、西北工業大學、複旦大學等國内高校以及美國、法國、加拿大、新加坡等國外學術研究機構的近百人參會。各位專家、學者和研究生進行了充分的學術交流,學術氣氛濃厚,加強了我校軟件工程研究方向與國内外專家學者的聯系。TASE2015國際會議的舉辦,對加強我校軟件工程領域校際合作、促進海内外學者交流、實現海外引智等具有積極意義。

2.IMG_2284

3.IMG_2454

4.IMG_2291

複件 5.IMG_2553

複件 軟件工程會議照片

地址:江蘇省南京市江甯區将軍大道29号

郵政編碼: 211106

版權所有:伟德victory - 伟德网站是多少 後台管理 書記信箱 院長信箱

友情鍊接

校外導航鍊接

Baidu
sogou