[SystemSafety] Deadline Extension of AAA 2013

From: (wrong string) 田口研治 < >
Date: Sun, 11 Aug 2013 14:45:13 +0900


Apologies if you have received multiple copies of this announcement.

The deadline of the first International Workshop on Argument for Agreement and Assurance (AAA 2013) is now extended to the 24th of August.


1st International Workshop on Argument for Agreement and Assurance (AAA 2013)

                         Kanagawa, Japan
                       October 27-28, 2013
           http://www.panda.sys.t.u-tokyo.ac.jp/kido/AAA2013/

                *** Extended dadline: August 24 ***

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

OVERVIEW:


Submissions are invited for the 1st International Workshop on Argument for Agreement and Assurance (AAA 2013). The workshop will be held in Keio University Hiyoshi Campus, Kanagawa, Japan, on October 27-28, 2013, as part of the Japanese Society for Artificial Intelligence international symposia on AI (JSAI-isAI) 2013.

Argumentation has now become an interdisciplinary challenging research area in AI aiming at formalizing various aspects of human or/and computer software argument in terms of computation, and applying those knowledge to various fields. Scope of argumentation in AI includes human arguments appeared in television, newspapers, WWW, etc. and also artificial arguments constructed from structured knowledge with logical language and inference rules. Results of argumentation in AI are widely applicable to various fields such as consensus building, agreement formation, multiagent systems, semantic web, recommendation systems, argument mining, learning, belief revisions, chance discovery, safety engineering, etc.

In particular, safety engineering is a research area that is interested in the use of an evidence-based argument often called a safety case, assurance case or dependability case. Nowadays, it is becoming necessary for certification bodies to issue a license to developing and operating bodies, for system stakeholders to make agreement, for system administrators to achieve accountability, etc. AAA 2013 contributes to deepen mutual understanding between researchers working on argumentation theory in AI and researchers working on agreement and assurance technologies through arguments.

AAA 2013 solicits contributions from broad range of researchers related to argumentation in AI and especially welcomes contributions across argumentation and systems assurance. AAA 2013 seeks high-quality original submission of full papers limited to 14 pages including figures, references, etc. All submissions will be rigorously peer reviewed with double blind. Selected papers will be included in JSAI-isAI 2013 post-proceedings as a volume of LNAI published by Springer Verlag.

AIMS AND SCOPE:


AAA 2013 aims to deepen mutual understanding between researchers working on argumentation theory in AI and researchers working on agreement and assurance technologies through arguments, and to share current limitations and problems of argumentation in AI in terms of both theory and practice. Topics of interest include but are not limited to the following:

IMPORTANT DATES:


SUBMISSION INSTRUCTIONS:


We welcome and encourage the submission of high quality, original papers, which are not simultaneously submitted for publication elsewhere. Papers should be written in English, formatted according to the Springer Verlag LNCS style in a pdf form, which can be obtained from Springer Online, and not exceed 14 pages including figures, references, etc. If you use a word file, please follow the instruction of the format, and then convert it into a pdf form. Here is the submission page.

https://www.easychair.org/account/signin.cgi?conf=aaa2013

If a paper is accepted, at least one author of the paper must register the workshop and present it.

PROCEEDINGS:


A printed volume of the proceedings will be available at the workshop. Springer Verlag has agreed to publish selected papers of the workshop in the JSAI-isAI 2013 post-proceedings as a volume of LNAI. Thus, the authors of papers presented at the workshop will be asked to extend their contributions, possibly incorporating the results of the workshop discussion, to be included in the workshop post-proceedings, after another round of refereeing.

VENUE:


The workshop will be held at Raiosha Building, Keio University, Kanagawa, JAPAN.

ORGANIZING COMMITTEE:


PROGRAMME COMMITTEE:



Kenji Taguchi PhD (Computer Science)

Invited Researcher

Co-chair OMG SysA PTF

System Life-Cycle Research Group (Kansai) Research Institute For Secure Systems (RISEC) National Institute of Advanced Industrial Science and Technology (AIST)

Tel: 06-6494-8051
Fax: 06-6494-8073
URL: http://staff.aist.go.jp/kenji.taguchi/index.html
_______________________________________________
The System Safety Mailing List
systemsafety_at_xxxxxx Received on Sun Aug 11 2013 - 07:45:31 CEST

This archive was generated by hypermail 2.3.0 : Sat Feb 23 2019 - 01:17:06 CET