<div dir="ltr">Apologies for cross-postings.<br><br>=================================================================<br><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr">

<div dir="ltr">
<br>1st International Workshop on Argument for Agreement and Assurance (AAA 2013)<br>




                                                    Kanagawa, Japan<br>
                                                  October 27-28, 2013<br>                         <a href="http://www.panda.sys.t.u-tokyo.ac.jp/kido/AAA2013/" target="_blank">http://www.panda.sys.t.u-tokyo.ac.jp/kido/AAA2013/</a><br>







<br>=================================================================<br><br>OVERVIEW:<br>
----------------<br><br>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.<br>
<br>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.<br>
<br>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.<br>
<br>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.<br>
<br>AIMS AND SCOPE:<br>--------------------------<br><br>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:<br>
<br>- Abstract and structured argumentation systems including studies of frameworks, proof-theories, semantics, complexity, etc.<br>- Dialogue systems for persuasion, negotiation, deliberation, eristic, information-seeking dialogues, etc.<br>









- Applications of argumentation and dialogue systems to various fields 
such as agreement technologies, systems assurance, safety engineering, 
multi-agent systems, practical reasoning, belief revision, learning, 
semantic web, etc.<br>
- Agreement and assurance technologies through arguments including safety cases, assurance cases and dependability cases, etc.<br>-
 Tools for argumentation systems, dialogue systems, argument-based 
stakeholders' agreement, argument-based accountability achievement, 
argument-based open systems dependability, argument-based verification 
and validation, etc.<br>
<br>IMPORTANT DATES:<br>----------------------------<br><br>- Workshop Submission Deadline: August 10, 2013<br>- Workshop Author Notification: September 15, 2013<br>- Workshop Camera-ready: September 30, 2013<br>- Workshop Date: October 27-28, 2013<br>









<br>SUBMISSION INSTRUCTIONS:<br>------------------------------------------<br><br>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. <br>
<br><a href="https://www.easychair.org/account/signin.cgi?conf=aaa2013" target="_blank">https://www.easychair.org/account/signin.cgi?conf=aaa2013</a><br><br>If a paper is accepted, at least one author of the paper must register the workshop and present it.<br>









<br>PROCEEDINGS:<br>----------------------<br><br>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.<br>
<br>VENUE:<br>----------<br><br>The workshop will be held at Raiosha Building, Keio University, Kanagawa, JAPAN.<br><br>ORGANIZING COMMITTEE:<br>--------------------------------------<br><br>- Kenji Taguchi (AIST, Japan)<br>







- Yoshiki Kinoshita (Kanagawa Univ., Japan)<br>

- Kazuko Takahashi (Kwansei Gakuin Univ., Japan)<br>- Hiroyuki Kido (Univ. of Tokyo, Japan)<br><br>PROGRAMME COMMITTEE:<br>---------------------------------------<br><br>- Takashi Kitamura (AIST, Japan)<br>- Sarah Alice Gaggl (Technische Universität Dresden, Germany)<br>









- Guillermo Ricardo Simari (Universidad Nacional del Sur, Argentina)<br>- Paolo Torroni (Univ. of Bologna, Italy)<br>- Gabriele KernIsberner (Technische Universitaet Dortmund, Germany)<br>- Ken Satoh (National Institute of Informatics, Japan)<br>









- Chiaki Sakama (Wakayama Univ., Japan)<br>- Toshinori Takai (Nara Institute of Science and Technology, Japan)<br>- Antonis Kakas (Univ. of Cyprus, Cyprus)<br>- Iyad Rahwan (Masdar Institute of Science & Technology, UAE)<br>









- Pavlos Moraitis (Paris Descartes Univ., France)<br>- Stefan Woltran (Vienna Univ. of Technology, Austria)<br>- Phan Minh Dung (Asian Institute of Technology, Thailand)<br>- Juergen Dix (Clausthal Univ. of Technology, Germany)<br>









- Martin Caminada (Univ. of Aberdeen, UK)<br>- Makoto Takeyama (Kanagawa Univ., Japan)<br>- Kenji Taguchi (AIST, Japan)<br>- Yoshiki Kinoshita (Kanagawa Univ., Japan)<br>- Kazuko Takahashi (Kwansei Univ., Japan)<br>- Hiroyuki Kido (Univ. of Tokyo, Japan)<br>









- Shuichiro Yamamoto (Nagoya Univ., Japan)<br>- Yutaka Matsuno (Univ. of Electro-Communications, Japan)<br>- Tim Kelly (Univ. of York, UK)<br>- John Rushby (SRI, USA)<br>- John Knight (Univ. of Virginia, USA)<br>- Ewen Denney (NASA/Ames, USA)<br>









- Charles Weinstock (SEI, USA)<br>- Robin Bloomfield (City Univ. of London, UK)</div></div></div></div></div></div></div></div></div>