近日，第九屆Domain理論及其應(yīng)用國(guó)際研討會(huì)（The 9th International Symposium of Domain Theory and its Applications）通過(guò)線上方式舉行。本次會(huì)議由新加坡南洋理工大學(xué)主辦，來(lái)自美國(guó)、英國(guó)、法國(guó)、捷克、日本、韓國(guó)、新加坡等國(guó)家以及國(guó)內(nèi)四川大學(xué)、山東大學(xué)、上海交通大學(xué)、北京航空航天大學(xué)、湖南大學(xué)、北京理工大學(xué)、華東師范大學(xué)等20多所高校的近百位專家學(xué)者參加會(huì)議。

會(huì)議邀請(qǐng)了中國(guó)、美國(guó)、英國(guó)、法國(guó)、捷克、日本等國(guó)家的9位知名專家作大會(huì)報(bào)告。我校數(shù)學(xué)與統(tǒng)計(jì)學(xué)院院長(zhǎng)徐曉泉教授應(yīng)邀作開幕式后的首場(chǎng)大會(huì)報(bào)告，介紹了他和合作者在Scott冪空間（Scott power spaces）研究上所取得的成果。會(huì)議期間，徐曉泉教授還應(yīng)邀擔(dān)任會(huì)議程序委員會(huì)委員和分組報(bào)告主持人。

Domain理論是由國(guó)際著名數(shù)學(xué)家、理論計(jì)算機(jī)科學(xué)家、圖靈獎(jiǎng)獲得者Dana Scott于上世紀(jì)70年代初創(chuàng)立的。經(jīng)過(guò)半個(gè)多世紀(jì)的發(fā)展，Domain理論已成為計(jì)算機(jī)程序指稱語(yǔ)義學(xué)的重要數(shù)學(xué)基礎(chǔ)，并與拓?fù)洹⑦壿嫛⒎懂牎⒎治觥?dòng)力系統(tǒng)等數(shù)學(xué)分支領(lǐng)域產(chǎn)生了密切聯(lián)系，并發(fā)展出了非Hausdorff拓?fù)鋵W(xué)和Domain分析學(xué)等分支領(lǐng)域。近三年，徐曉泉教授與合作者在Domain理論和非Hausdorff拓?fù)鋵W(xué)的研究上取得了一系列重要成果，解決了包括著名的Jung問題等在內(nèi)的多個(gè)遺留已久的公開問題，受到國(guó)內(nèi)外學(xué)者的廣泛關(guān)注，所發(fā)表的主要論文被廣泛引用，成為ESI高被引論文，所引入的新空間、發(fā)展的新方法和提出的一系列公開問題正成為該領(lǐng)域新的研究熱點(diǎn)。

（文/圖：施建華）