應我校計算機與信息工程學院的邀請，愛爾蘭考克大學計算機學院院長James Bowen 教授于4月7日到我院作了關于人工智能領域中基于約束的推理理論的前沿技術報告。 Bowen教授所領導的研究小組The Cork Constraint Computation Centre (http://4c.ucc.ie/web/index.jsp考克約束計算應用中心)在該領域取得了矚目的的研究成果，且研究實力在世界的排名第一。

    Bowen教授在講座中介紹了約束理論及其應用領域，他指出在現實世界中大多數復雜的問題都可以看作約束問題，利用約束規劃理論可以解決諸如：施工計劃問題、最優生產問題、協同工作問題、生物信息學問題等。計算機與信息工程學院的教師、研究生參加了技術講座并參與討論。

下午，學院組織了部分教師及研究生與Bowen教授在互相感興趣的研究領域展開了深入的交流。會后，學院劉載文院長、姜同強副院長、外事辦羅朝能主任與Bwoen教授深入探討了雙方進一步的科研合作，并達成了包括進一步的教師進修、科研合作等框架協議。