2017年6月1日上午，美國紐約城市大學教授Neng-Fa Zhou 教授在伟德国际BETVlCTOR做了題目為“The Picat Language and System ”的學術報告。
Neng-Fa Zhou是美國紐約城市大學布魯克林學院計算機與信息科學的教授，于日本九州大學獲得碩士、博士學位，曾在日本九州工業大學任副教授。Neng-Fa Zhou教授研究編程語言系統長達25年，在編程語言，約束求解，圖，機器學習系統方面編寫了40餘篇論文，主要發表在TPLP, ACM TOPLAS, JLP, JFLP, SPE和一些大型會議上。其中，邏輯程序編譯，約束求解和圖方面的文章獲得不錯的引用。Neng-Fa Zhou教授還是B-Prolog system 和 Picat system主要設計者和實現者，其在學術界和工業界都有廣泛的應用，特别是Picat system在邏輯編程界以及其他領域引起了極大的關注。在CSP，ASP和MiniZinc比賽中獲得不錯成績，⏭➰出版了名為“Constraint Solving and Planning with Picat”書。
本次講座Neng-Fa Zhou教授介紹了Picat，是一種基于邏輯的多範式編程的新型語言，将邏輯編程，函數式編程，動态規劃與表，腳本相結合。Picat由于自身特點，在符号計算方面比F#和Python等更有優勢。接下來展示了MiniZinc競賽的一些實驗效果，介紹了Paicat下的組合⚜⭐〰✝，如動态規劃、15-Puzzle等，其求解優勢很明顯。之後介紹了一些參考文獻，分享了名為“Constraint Solving and Planning with Picat”的書。
報告最後，Neng-Fa Zhou教授與現場師生進行了探讨交流，就Picat、約束、SAT等問題進行了充分的讨論，為現場師生進行相關方向的研究提供了較好和較新的思路。在互動中，學生加深了對Picat的了解和認識。最後整個講座在熱烈的掌聲當中結束，參加此次報告的同學們均表示收獲頗豐。
