以下为Boley教授此次访台行程 ---------- Forwarded message ---------- 2008/1/30, Boley, Harold <[email protected]>: Dear Jong, Below, please find the updated schedule as we discussed. Best, Harold 1. 3/2(Sun.): Casual discussion with my colleagues and students at NCCU. We are expecting you might inspire the young students on the research of semantic web (services) both for academic career or for industry working future prospects. If possible, you might pass on some of your own experiences on the technology transfer from academic to industry and this will be one of our interested issues. 2. 03/03(Mon.): Morning one formal talk: The Diamond of Web Rule Essentials. Afternoon, free discussion. (cf. http://www.ruleml.org/talks/RuleEssentials-talk.ppt, http://www.cs.unb.ca/~boley/papers/RuleEssentials.pdf) 3. 03/04(Tue.): Morning one formal talk: Functional-Logic Specification for the Semantic Web. At Academic Sincia hosted by Dr. Liau. Afternoon, free discussion. (selection from http://www.cs.unb.ca/~boley/FLP/cs6905FLP.ppt, http://www.springer.com/computer/artificial/book/978-3-540-66644-8) (see also: http://www.ruleml.org/talks/RuleML-Family-PPSWR06-talk-up.ppt, for Functional RuleML: slides 15-19, for RuleML Modal Logics: slides 28-32) 4. 03/05(Wed.): Morning one formal talk: Semantic Web Services. At Tatung Univ. hosted by Prof. Yeh. Afternoon, free discussion. (overview and selection of linked slides from http://www.cs.unb.ca/~boley/SWS/WebServiceOverview.ppt) 5. 03/06(Thur.): Morning one formal talk: Combining Ontologies and Rules for the Semantic Web. Afternoon, free discussion. (cf. http://www.cs.unb.ca/~boley/talks/DatalogDL3-talk.ppt) 6. 03/07(Fri.): Morning one formal talk: Rule Responder: RuleML-Based Semantic Web Services. Afternoon, free discussion with my colleagues/students and wrap-up. (cf. http://responder.ruleml.org) 7. 03/08-03/09(Sat.-Sun.): Follow-up work and sight-seeing (possibly start a RuleML-related joint draft paper), visit to museums, etc. ----- Original Message ----- From: <[email protected]> To: <[email protected]> Sent: Thursday, January 31, 2008 10:14 AM Subject: Functional-Logic Specification for the Semantic Web > > ##### 学术演讲公告 ##### > > 主 题 : Functional-Logic Specification for the Semantic Web > 主 讲 人 : Harold Boley > 主讲人单位 : Adjunct Professor, Faculty of Computer Science University of > New Brunswick, Canada & Leader, Semantic Web Laboratory Institute for > Information Technology - e-Business, NRC, Canada > 主讲人email: > 主讲人电话 : > 主讲人 URL : http://www.cs.unb.ca/~boley/ > 联 络 人 : 廖纯中老师, Prof. Churn-Jung Liau > 地 点 : 本所新馆106演讲厅, Auditorium 106 at new IIS Building > 日 期 : 2008/3/4 > 星 期 : Tue > 时 间 : 10:30~12:00 > > -------------------------------------------------------------- > http://www.iis.sinica.edu.tw/EVENT/HTML/CHINESE/S200803041030.html > http://www.iis.sinica.edu.tw/EVENT/HTML/ENGLISH/S200803041030.html > -------------------------------------------------------------- > --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 218.160.180.211