演講
以下為Boley教授此次訪台行程
---------- Forwarded message ----------
2008/1/30, Boley, Harold <Harold.Boley@nrc-cnrc.gc.ca>:
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: <cathy@iis.sinica.edu.tw>
To: <all-users@iis.sinica.edu.tw>
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