みなさま、
こんにちは、産総研の北村崇師です。
今年10月に ニュージーランドで開催の FTSCS2013 の論文投稿締め切りが9月6日に延長されましたのでお知らせいたします。
http://www.ftscs.org/
> FTSCS2013 は形式手法をテーマにしたワークショップです。
> 研究論文だけでなく、経験論文や調査論文、ツール論文、ポジションペーパも募集しています。
> Proceedings は Springer の CCIS より出版され、FTSCS2013 を基にElsevier の Science of Computer Programming で特集号が企画される予定です。
是非論文投稿をご検討ください。
よろしくお願い致します。
---------------------------------------------------------------------
*** Deadline extended to September 6th ***
---------------------------------------------------------------------
Call for Papers
FTSCS 2013
2nd International Workshop on Formal Techniques for Safety-Critical Systems
Queenstown, New Zealand, October 29, 2013
(satellite workshop of ICFEM 2013)
http://www.ftscs.org
---------------------------------------------------------------------
*** Science of Computer Programming special issue ***
*** Springer CCIS proceedings ***
Aims and Scope:
There is an increasing demand in industry to use formal methods to
achieve software-independent verification and validation of
safety-critical systems, e.g., in fields such as avionics, automotive,
medical, and other cyber-physical systems. Newer standards, such as
DO-178C (avionics) and ISO 26262 (automotive), emphasize the need for
formal methods and model-based development, speeding up the
adaptation of such methods in industry.
The aim of this workshop is to bring together researchers
and engineers who are interested in the application of formal and semi-formal
methods to improve the quality of safety-critical computer systems. In
particular, FTSCS strives strives to promote research and development of
formal methods and tools for industrial applications, and is particularly
interested in industrial applications of formal methods.
Specific topics include, but are not limited to:
* case studies and experience reports on the use of formal methods for
analyzing safety-critical systems, including avionics, automotive,
medical, and other kinds of safety-critical and QoS-critical systems
* methods, techniques and tools to support automated analysis,
certification, debugging, etc., of complex safety/QoS-critical systems
* analysis methods that address the limitations of formal methods in
industry (usability, scalability, etc.)
* formal analysis support for modeling languages used in industry,
such as AADL, Ptolemy, SysML, SCADE, Modelica, etc.
* code generation from validated models.
The workshop will provide a platform for discussions and the exchange of
innovative ideas, so submissions on work in progress are encouraged.
Invited speaker:
TBA
Submission:
We solicit submissions reporting on:
A- original research contributions (15 pages max, LNCS format);
B- applications and experiences (15 pages max, LNCS format);
C- surveys, comparisons, and state-of-the-art reports (15 pages max,
LNCS format);
D- tool papers (5 pages max, LNCS format);
E- position papers and work in progress (5 pages max, LNCS format)
related to the topics mentioned above.
All submissions must be original, unpublished, and not submitted concurrently
for publication elsewhere. Paper submission will be done electronically
via EasyChair at http://www.easychair.org/conferences/?conf=ftscs2013.
The final version of the paper must be prepared in LaTeX, adhering to
the LNCS format available at
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0.
Publication:
All accepted papers will appear in the pre-proceedings of FTSCS 2013.
Accepted papers in the categories A-D above will appear in
the workshop proceedings that will be published as a volume in
Springer's CCIS series.
The authors of a selected subset of accepted papers will be invited to submit
extended versions of their papers to appear in a special issue of the
Science of Computer Programming journal.
Important dates:
Submission deadline: September 6, 2013
Notification of acceptance: September 28, 2013
Workshop: October 29, 2013
Venue:
Queenstown, New Zealand
Program chairs:
Cyrille Artho AIST, Japan
Peter Olveczky University of Oslo, Norway
Program committee:
Erika Abraham RWTH Aachen University, Germany
Musab AlTurki King Fahd University of Petroleum and Minerals, Saudi Arabia
Toshiaki Aoki JAIST, Japan
Farhad Arbab Leiden University and CWI, The Netherlands
Cyrille Artho AIST, Japan
Saddek Bensalem Verimag, France
Armin Biere Johannes Kepler University, Austria
Santiago Escobar Universidad Politecnica de Valencia, Spain
Ansgar Fehnker University of the South Pacific, Fiji
Mamoun Filali IRIT, France
Bernd Fischer Stellenbosch University, South Africa and
University of Southampton, UK
Kokichi Futatsugi JAIST, Japan
Klaus Havelund NASA JPL, USA
Marieke Huisman University of Twente, The Netherlands
Ralf Huuck NICTA/UNSW, Sydney, Australia
Fuyuki Ishikawa National Institute of Informatics, Tokyo, Japan
Takashi Kitamura AIST, Japan
Alexander Knapp Augsburg University, Germany
Paddy Krishnan Oracle Labs Brisbane, Australia
Yang Liu Nanyang Technological University, Singapore
Robi Malik University of Waikato, New Zealand
Cesar Munoz NASA Langley, USA
Tang Nguyen UST Hanoi, Vietnam
Thomas Noll RWTH Aachen University, Germany
Peter Olveczky University of Oslo, Norway
Paul Pettersson Malardalen University, Sweden
Camilo Rocha Escuela Colombiana de Ingenieria, Colombia
Grigore Rosu University of Illinois at Urbana-Champaign, USA
Neha Rungta NASA Ames, USA
Ralf Sasse ETH Zurich, Switzerland
Oleg Sokolsky University of Pennsylvania, USA
Sofiene Tahar Concordia University, Canada
Carolyn Talcott SRI International, USA
Tatsuhiro Tsuchiya Osaka University, Japan
Michael Whalen University of Minnesota, USA
Peng Wu Chinese Academy of Sciences, China
Contact:
(web) http://www.ftscs.org
(email) peterol(a)ifi.uio.no and c.artho(a)aist.go.jp
--
Takashi KITAMURA Ph.D.
t.kitamura(a)aist.go.jp
http://staff.aist.go.jp/t.kitamura/
Research Institute for Secure Systems (RISEC)
National Institute of Advanced Industrial Science and Technology (AIST)
Nakoji 3-11-46, Amagasaki, Hyogo 661-0974, Japan
Tel: +81-6-6494-8054 Fax: +81-6-6494-8073
Internal Tel: *33-274-71902
皆様
直前のお知らせになって申し訳ありません。
ジーゲン大学(ドイツ)の Hannes Diener 博士の講演のお知らせです。
ふるってご参加ください。
問い合わせ先:
根元多佳子
北陸先端科学技術大学院大学 情報科学研究科
e-mail: t-nemoto(a)jaist.ac.jp
-----------------------------------------------
* JAIST Logic Seminar Series *
* This seminar is held as a part of the EU FP7 Marie Curie Actions
IRSES project COMPUTAL (http://computal.uni-trier.de/).
Date: Wednesday 28 August, 2013, 15:30-
Place: JAIST, Collaboration room 6 (I-57g)
(Access: http://www.jaist.ac.jp/english/location/access.html)
Title: The recursive part of constructive reverse mathematics
Abstract: http://www.jaist.ac.jp/~t-nemoto/Diener_talk.pdf
Apologies for cross-postings.
===============================================================
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 deadline: 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:
- Abstract and structured argumentation systems including studies of
frameworks, proof-theories, semantics, complexity, etc.
- Dialogue systems for persuasion, negotiation, deliberation, eristic,
information-seeking dialogues, etc.
- 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.
- Agreement and assurance technologies through arguments including safety
cases, assurance cases and dependability cases, etc.
- 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.
IMPORTANT DATES:
----------------------------
- Workshop Submission Deadline: August 24, 2013 (Extended!)
- Workshop Author Notification: September 15, 2013
- Workshop Camera-ready: September 30, 2013
- Workshop Date: October 27-28, 2013
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:
--------------------------------------
- Kenji Taguchi (AIST, Japan)
- Yoshiki Kinoshita (Kanagawa Univ., Japan)
- Kazuko Takahashi (Kwansei Gakuin Univ., Japan)
- Hiroyuki Kido (Univ. of Tokyo, Japan)
PROGRAMME COMMITTEE:
--------------------------------------
- Takashi Kitamura (AIST, Japan)
- Sarah Alice Gaggl (Technische Universität Dresden, Germany)
- Guillermo Ricardo Simari (Universidad Nacional del Sur, Argentina)
- Paolo Torroni (Univ. of Bologna, Italy)
- Gabriele KernIsberner (Technische Universitaet Dortmund, Germany)
- Ken Satoh (National Institute of Informatics, Japan)
- Chiaki Sakama (Wakayama Univ., Japan)
- Toshinori Takai (Nara Institute of Science and Technology, Japan)
- Antonis Kakas (Univ. of Cyprus, Cyprus)
- Iyad Rahwan (Masdar Institute of Science & Technology, UAE)
- Pavlos Moraitis (Paris Descartes Univ., France)
- Stefan Woltran (Vienna Univ. of Technology, Austria)
- Phan Minh Dung (Asian Institute of Technology, Thailand)
- Juergen Dix (Clausthal Univ. of Technology, Germany)
- Martin Caminada (Univ. of Aberdeen, UK)
- Makoto Takeyama (Kanagawa Univ., Japan)
- Kenji Taguchi (AIST, Japan)
- Yoshiki Kinoshita (Kanagawa Univ., Japan)
- Kazuko Takahashi (Kwansei Univ., Japan)
- Hiroyuki Kido (Univ. of Tokyo, Japan)
- Shuichiro Yamamoto (Nagoya Univ., Japan)
- Yutaka Matsuno (Univ. of Electro-Communications, Japan)
- Tim Kelly (Univ. of York, UK)
- John Rushby (SRI, USA)
- John Knight (Univ. of Virginia, USA)
- Ewen Denney (NASA/Ames, USA)
- Charles Weinstock (SEI, USA)
- Robin Bloomfield (City Univ. of London, UK)
Kobe Colloquium on Logic, Statistics and Informatics
以下の要領でコロキウムを開催します。
日時:2013年8月19日(月)15:00-16:30
講演者:Sheila Miller (CUNY ニュー・ヨーク)
場所:神戸大学自然科学総合研究棟3号館4階421室(プレゼンテーション室)
============================================================
題目: How not to construct the free two-generated left distributive algebra
アブストラクト:
We begin with an extended introduction to free left distributive algebras
(LDs) including a normal form theorem for the one-generated free LD, which
itself arises naturally from the assumption of a very large cardinal axiom.
After discussing some applications and open problems, we make remarks on
the impossibility of using forcing to construct a two-generated free LD by
lifting the rank-to-rank elementary embedding used to create the
one-generated free LD.
============================================================
交通:阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」
行きに乗車,「神大本部工学部前」停留所下車,徒歩すぐ.
http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm
みなさま,
蓮尾です.ALGI + SLACS = SLAGICS 2013
のお知らせを再送します.
すみません,日程を確定させる必要上,講演希望の方も
早め(できれば今週中,8/16 金曜日まで)に参加申し込み
をお願いいたします.
https://sites.google.com/site/slagics2013/registration
それでは,京都でお会いしましょう!
蓮尾 一郎
==============================
(English below)
みなさま,(何人かの方々には bcc で失礼します)
こんにちは! 東京大学の蓮尾です.
京都大学数理解析研究所で行うワークショップ
SLAGICS 2013: ALGI and SLACS join forces
京都大学数理解析研究所 RIMS研究集会
2013/9/24(火) -- 2013/9/26(木)
https://sites.google.com/site/slagics2013/
へのお誘いです.
=== 背景 ================================
毎年行われている研究集会
ALGI (Algebra, Logic and Geometry in Informatics)
代数, 論理, 幾何と情報科学 研究集会
http://sakura.math.kyushu-u.ac.jp/algi/
と
SLACS (Symbolic Logic and Computer Science)
記号論理と情報科学 研究集会
http://www.math.s.chiba-u.ac.jp/SLACS/
は両方共スコープが広く,共通部分も大きいと考え,ALGI 幹事の星野直
彦さんと SLACS 幹事の蓮尾が相談し,今年は京都大学数理解析研究所の
研究集会として共催をすることにしました.
3日間の日程をなんとなく ALGI day と SLACS day に色分けします.が,
特に2日目は相互乗り入れデーとして,東京大学の塚田武志さんによる共
同チュートリアルなどを通して,2つのコミュニティの協働関係を築く場
にできればと考えております.
=== プログラム ================================
9/24 は SLACS day
9/25 は 相互乗り入れ day
9/26 は ALGI day
とします(なんとなく).9/25 には,東京大学の塚田武志さん
http://www.kb.is.s.u-tokyo.ac.jp/~tsukada/
によるゲーム意味論のチュートリアルを予定しています.
懇親会は 9/24 です.
9/24 の午前から 9/26 の午後まで3日間フルの日程を考えていますが,講
演の数によっては短縮の可能性があります.
=== 旅費の補助・宿泊 ================================
京都大学数理解析研究所から旅費の補助があります.また,数理解析研究所附属の
宿泊施設(北白川学舎)が使えます(部屋数僅少).くわしくは
https://sites.google.com/site/slagics2013/practical
をごらんください.
=== 参加登録・講演の申し込み ==============================
https://sites.google.com/site/slagics2013/registration
からお願いします.
参加登録の締切は,
- 講演希望,旅費希望または北白川学舎宿泊希望のかたは,
*** 2013/8/16 (金)***
(ただし基本的に早い者勝ちなので,早めがおすすめです)
- それ以外の方は *** 2013/9/13 (金)***
とさせてください.
ぜひ参加をご検討ください.ご不明な点は遠慮無くお問い合せくださいね.
それでは!
SLAGICS 2013 オーガナイザー
星野 直彦
京都大学数理解析研究所
http://www.kurims.kyoto-u.ac.jp/~naophiko/
蓮尾 一郎
東京大学コンピュータ科学専攻
http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/
========================================================
SLAGICS 2013: ALGI and SLACS join forces
RIMS, Kyoto University
2013/9/24 (Tue) -- 2013/9/26 (Thu)
https://sites.google.com/site/slagics2013/
ALGI and SLACS are two series of workshops in Japan whose
interests range widely from formal logic and semantics to
algebraic geometric, and categorical methods, with emphases on
computer science. This year the two series join forces and
hold a joint workshop in Kyoto.
Though many talks will be in Japanese, your contributed talks
in English are most welcome and appreciated. See
https://sites.google.com/site/slagics2013/practical-in-english
for some practical information. (There will be travel support by
courtesy of RIMS, Kyoto University). The registration deadlines are:
- *** Fri 16 Aug *** if you'd like travel support, a room
at the RIMS accommodation, and/or a talk slot (but do it ASAP since these are
first come, first served);
- *** Fri 13 Sep *** otherwise.
Looking forward to seeing you in Kyoto!
Best regards,
SLAGICS 2013 Organizers:
Naohiko Hoshino
RIMS, Kyoto U.
http://www.kurims.kyoto-u.ac.jp/~naophiko/
Ichiro Hasuo
Dept. CS, U. Tokyo
http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/