[TYPES/announce] TrustSoft 2015: Call for papers

Zijiang James Yang zijiang.yang at wmich.edu
Thu Apr 9 10:05:38 EDT 2015


CALL FOR PAPERS

The 1st IEEE International Workshop on Trustworthy Software Systems 
August 20, 2015, Helsinki, Finland
https://research.comnet.aalto.fi/Trustcom2015/trustsoft2015/
held in conjunction with IEEE TrustCom-15
https://research.comnet.aalto.fi/Trustcom2015/

Software has transformed the daily lives of people for the better. The increasing pervasion and importance of software in information society, however, has exposed its fragility and vulnerabilities. Although the research in software trustworthiness has made tremendous progress in recent years, national infrastructure, corporations and individuals still suffer from software failures. This workshop aims at providing a forum for continuously discussing the latest academic and industrial research results related to trustworthy software systems.

Scope and Interests
Topics of interest include, but are not limited to:
	• Requirements acquisition of software trustworthiness
	• Software specification and verification
	• Correctness by design, construction and compilation
	• Software analysis and testing
	• Integrating methods and their theories
	• Measurement and evaluation of trustworthy software
	• Dependable and secure computing environment construction
	• Cryptographic and privacy aspects of trustworthy software
	• Software runtime monitor, control and evolution
	• Case studies and tools
	• Mobile application trust
	• Malware detection
	• User perception of software trustworthiness
	• Trust in human-software interaction and user interface trust
	• Software quality and reputation evaluation
	• Software as a Service and its applications
	• Software trust management
	• Application or industrial experience of trustworthy software

Submission Instructions
Papers submitted to the workshop should be written in English conforming to the IEEE Conference Proceedings Format (8.5" x 11", Two-Column). The paper should be submitted through the workshop submission system at the workshop website. The length of the papers should not exceed 6 pages + 2 pages for over length charges.

Accepted and presented papers will be included into the IEEE Conference Proceedings published by IEEE CS CPS and submitted to IEEE Xplore and CSDL. Authors of accepted papers, or at least one of them, are requested to register and present their work at the conference, otherwise their papers will be removed from the digital libraries of IEEE CS after the conference. Distinguished papers presented at the conference, after further revision, will be recommended to special issues of reputable SCI/EI-indexed journals.

Submitting a paper to the workshop means that, if the paper is accepted, at least one author should attend the workshop and present the paper.

Important Dates
Submission deadline: May 1st, 2015
Authors notification: May 31, 2015
Camera-ready due: July 1, 2015
Registration: July 1, 2015

Program Co-Chairs
Zijiang Yang, Western Michigan University, USA
Ting Liu, Xi’an Jiaotong University, China

PC Members
Mohamed Elwakil, Cario University, Eygpt
Ivancic Franjo, Google / Columbia Univ, USA
Malay Ganai, Atrenta, USA
Radu Grosu, Vienna University of Technology, Austria / Stony Brook Univ. USA
Keijo Heljanko, Aalto University, Finland
Jian Liu, Institute of Software, Chinese Academy of Sciences, China
Jin Liu, Wuhan University, China
Shaoying Liu, Hosei University, Japan
Shubo Liu, Wuhan University, China / Western Michigan University, USA
Mahmoud Said, Jordan Univ. of Science and Technology, Jordan
Chao Shen, Xi’an Jiaotong University, China
Stavros Tripakis, Aalto University, Finland / UC Berkeley, USA
Chao Wang, Virginia Tech, USA
Liqiang Wang, Univ. of Wyoming, USA
Ping Yang, Binghamton University, USA


More information about the Types-announce mailing list