[logic-ml] CFP: ESSS 2016

[Yoriyuki Yamagata]

皆様、産総研の山形と申します。

下記の通り、FM2016併催のワークショップESSS2016の発表を募集いたします。

どうぞ宜しくお願い致します。


> 転送されたメッセージ：
> 
> ==================================================
> 5th International Workshop on
> Engineering Safety and Security Systems
> November 7th or 8th, 2015, Limassol, Cyprus
> Co-located with FM 2016 in Limassol, Cyprus, November 7-11, 2016
> 
> More information:
> http://pat.scse.ntu.edu.sg/esss16/index.html
> ===================================================
> 
> Important dates
> -----------------
> * August 12th, 2016: Submission deadline
> * September 23rd, 2016: Notification of acceptance/rejection
> * November 7th or 8th, 2016: Workshop date
> 
> 
> Introduction of the Workshop
> -----------------
> The International Workshop on Engineering Safety and Security Systems
> (ESSS) aims at contributing to the challenge of constructing reliable
> and secure systems. The workshop covers areas such as formal
> specification, (extended) type checking, model checking, program
> analysis/transformation, model-based testing and model-driven software
> construction. The workshop will bring together researchers and
> industry R&D expertise together to exchange their knowledge, discuss
> their research findings, and explore potential collaborations.
> 
> 
> Theme of the Workshop
> -----------------
> The main theme of the workshop is methods and techniques for
> constructing large reliable and secure systems. The goal of the
> workshop is to establish a platform for the exchange of ideas,
> discussion, cross-fertilization, inspiration, co-operation, and
> dissemination. The topics of the workshop include, but are not
> limited to:
> 
> -- methods, techniques and tools for system safety and security
> -- methods, techniques and tools for analysis, certification, and
>   debugging of complex safety and security systems
> -- model-based and verification-based testing
> -- emerging application domains such as cloud computing and
>   cyber-physical systems
> -- case studies and experience reports on the use of formal methods
>   for analyzing safety and security systems
> 
> 
> Submissions guidelines
> -----------------
> Paper submissions must be original, unpublished work. Submissions
> should be in made via the Easychair site:
> https://www.easychair.org/conferences/?conf=esss2016.
> 
> We invite two types of submissions:
> 
> --Regular papers (up to 15 pages) describing original and unpublished
> work within the scope of the workshop.
> --Short papers (up to 6 pages) describing work in progress or less
> mature results.
> 
> Case studies and tool papers are welcome as well. All submissions must
> be prepared in LATEX using the EPTCS macro package.
> 
> The final versions of accepted regular and short papers will be
> published as a volume of Electronic Proceedings in Theoretical
> Computer Science (EPTCS). Furthermore, authors of a selection of the
> accepted papers will be invited to submit an extended version of their
> articles to a special issue of a high-quality journal, after the
> workshop. Publication of accepted articles requires the commitment of
> one of the authors to register for the workshop and present the paper.
> 
> 
> Workshop chairs
> -----------------
> Yang Liu, Nanyang Technological University, Singapore
> Sjouke Mauw, University of Luxembourg, Luxembourg
> Jun Pang, University of Luxembourg, Luxembourg
> 
> 
> Program committee
> -----------------
> Etienne Andre, Universite Paris 13, France
> Guandong Bai, National University of Singapore, Singapore
> Weiqiang Kong, Dalian University of Technology, China
> Keqin Li, Huawei European Research Center, Germany
> Wojciech Mostowski, Halmstad University, Sweden
> Volker Stolz, University of Oslo, Norway
> Cong Tian, Xidian University, China
> Anton Wijs, Eindhoven University of Technology
> Yoriyuki Yamagata, AIST, Japan
> Tian Zhang, Nanjing University, China

— 
山形賴之
国立研究開発法人 産業技術総合研究所 主任研究員
http:://staff.aist.go.jp/yoriyuki.yamagata/