(sigemb-info 492) The 29th GRACE Seminar (Dec. 17th)

["Yumi YAMASAKI" <yumi1007@xxxxxxxxx>]

関係者各位

いつもお世話になっております。

本ＭＬをお借りして
第29回GRACEセミナー（12/17）のご案内を差し上げます。

尚、重複して案内を受け取られた方は
ご了承くださいますようお願い申し上げます。

GRACEセンター 事務局
event-info@xxxxxxxxxxxxxxx

====================================================================

第29回先端ソフトウェア科学・工学に関するGRACEセミナーのご案内
The 29th GRACE Seminar on Advanced Software Science and Engineering

下記の日程でGRACEセミナーを開催いたします。

  第29回 GRACEセミナー
  日時：2009年12月17日（木） 13:00-14:30
  場所：国立情報学研究所(NII) 19階プレセンテーション室(1904)
　http://www.nii.ac.jp/introduce/access1-j.shtml
 （地図）

参加費は無料です。
参加をご希望の方は、セミナー前日までに下記よりご登録をお願いします。
http://grace-center.jp/regist/seminar

------------------------------------------------------

I am pleased to announce the 29th GRACE Seminar on Advanced Software Science and
Engineering.

Date: December 17th (Thu) 13:00-14:30
Place: Presentation Room (1904), 19F, NII
http://www.nii.ac.jp/index.php?action=pages_view_main&page_id=469&lang=english
(map)

The registration fee is free but it is needed to register via the following page:
http://grace-center.jp/regist/seminar

We are looking forward to meeting you.

You can find the detailed information below:

=====================================================================
Details:
Speaker: Franz Weitl, visiting researcher at the NII
          http://researchmap.jp/weitl

Title: Document Verification with Temporal Description Logics

Abstract:
A novel approach to document verification based on temporal description logics and model
checking is presented.
 Technical documentations or e-learning documents are usually authored in teams,
compiled of different resources, and updated frequently. The parts of such documents are
interrelated in terms of topics, terminology, and presentation style. Keeping them
consistent is an ongoing challenge. Web documents complicate matters further because
they can be read along many different paths and their content needs to be coherent and
consistent on each path of reading.
 For the representation of content- and path-related consistency criteria, the
description logic ALC and the temporal logic CTL are combined. The resulting new
temporal description logic ALCCTL remains decidable and is, in contrast to existing
formalisms, sufficiently expressive for representing coherence criteria on paths.
Verification of documents is modeled as an ALCCTL model checking problem. Results on the
complexity of ALCCTL model checking are discussed along with experimental results
obtained in case studies with web documents.
 An outlook on counterexample generation spotlights our current focus of research.

Biography:
Franz Weitl (ワイテル　フランツ) is a postdoctoral research fellow of the German
Academic Exchange Service (DAAD) at the NII. His current research aims at increasing the
effectiveness and usability of model checking by generating structured counterexamples
on different abstraction levels.
 Franz started his academic career as a mathematical assistant at the research center of
Juelich, Germany. He studied informatics at the Universities of Passau (Germany),
Glasgow (Scotland), and Lund (Sweden), and worked as a software engineer in Kyoto. In
2008, he received a doctoral degree from the University of Passau. His thesis on
“Document Verification with Temporal Description Logics” was nominated for the
national dissertation award of the GI (German Society for Informatics) and was granted
the dissertation award of the CommuniGate Communication Service Ltd.


=================== GRACEセンターからのお知らせ ======================

＊GRACEセンター（先端ソフトウェア工学・国際研究センター）では、
　今後GRACEセミナーなどのイベント案内や研究資料など、
　GRACEセンターに関する情報をEメールにてお届けしています。

　■お申し込みは↓■
　http://grace-center.jp/mail_member.html
　是非ご購読下さい！購読料は無料です。

　[GRACEセンター]
　http://www.grace-center.jp/index.html
　[メールマガジンについてのお問い合わせ]
　owner-grace-bulletin@xxxxxxxxx