★因註冊系統故障於10月11日中午前註冊者請再重新註冊

「邏輯，哲學，與計算」研討會
Workshop on Logic, Philosophy, and Computation

2012年10月19日星期五
中央研究院資訊科技創新研究中心演講廳

簡介

邏輯自古即為哲學分析的重要工具，而近代形式邏輯的發展，更成為現代計算機科學的重要基礎。近年來，無論是形式哲學的蓬勃發展，或是軟體工程與人工智慧的尖端研究，邏輯方法都扮演著非常關鍵的角色。國內哲學界與計算機科學界的學者源於對邏輯研究的共同興趣，此次藉著國科會補助Melvin Fitting教授來台訪問的機會，共同舉辦「邏輯，哲學，與計算」研討會，旨在提供一個跨領域交流的平台，分享彼此的研究成果，以建立將來進一步合作的基礎。

Melvin Fitting教授為研究領域橫跨哲學、數學、與計算理論的大師級邏輯學家，他對電腦自動推論的研究貢獻，甫榮獲2012年該領域最高榮譽的Herbrand Award。他將於會中發表專題演講，並與聽眾對話交流。同時，我們也邀請到來台訪問的英國利物浦大學計算機科學系教授Sven Schewe以及國內哲學界與計算機科學界的多位學有專精的學者發表其最新研究成果，內容精彩充實可期，相信是一個難得的盛會，我們誠摯邀請對於會議主題有興趣者一同來共襄盛舉，會議採免費公開形式，但為了統計人數，請事先上網註冊。現場報名註冊者，將視空間容納限度決定是否接受。