**************************************************************************** TTSS 2014: Call For Papers The 7th Intl. Workshop on Harnessing Theories for Tool Support in Software Bertinoro, Italy, 9 September 2014 http://facs2014.cs.unibo.it/TTSS/ Co-located with FACS 2014: The 11th International Symposium on Formal Aspects of Component Software **************************************************************************** Important Dates =============== - Submission Deadline: July 25, 2014 - Notification of Acceptance: August 10, 2014 - Camera-ready version due: to be determined Overview and Topics of Interest ================================ The aim of the workshop is to bring together practitioners and researchers from academia, industry and government to present and discuss ideas about: - How to deal with the complexity of software projects by multi-view modeling and separation of concerns about the design of functionality, interaction, concurrency, scheduling, and non-functional requirements - How to ensure correctness and dependability of soft-ware by integrating formal methods and tools for modeling, design, verification and validation into design- and development processes and environments. - To explore some hot issues in supporting tool for service-oriented computing, specification generation, loop invariant generation, code generation, test-case generation. - Case studies and experience reports about harnessing static analysis tools such as model checking, theorem proving, testing, as well as runtime monitoring. The workshop will provide enough time for discussion on problems and research. Each presentation will be 25 minutes followed by 10 minutes discussion. Topics of interest include, but are not limited to, the following areas: - Models, calculi, and tool support for component-based and object-oriented software; - Mathematical frameworks, methods and tools for model-driven development; - Models, calculi, and tool support for integrating different scheduling, interaction and concurrency models in highly adaptable systems - Theory, methods and tools support for service construct, services composition, specification generation, loop invariant generation, code generation and test-case generation. Submission and Publication ========================== Submissions to the workshop must present original research that is unpublished and not submitted for publication elsewhere. Papers will be judged on the basis of originality, relevance, technical soundness and presentation quality. Papers must be written in English and not exceed 15 pages in the easychair format (seehttp://www.easychair.org/ publications/easychair.zip). The post-proceedings of the workshop will be published electronically in a repository indexed by DBLP (e.g. CEUR-WS, EPTCS,...); to be confirmed. Papers can be submitted via the following link: https://www.easychair.org/conferences/?conf=ttss14 Workshop Chairs =============== - Volker Stolz, University of Oslo, Norway - Michael Lienhardt, University of Bologna/INRIA, Italy Program Commitee ================ - Jun Pang, University of Luxembourg, Luxembourg - Cesar Sanchez, IMDEA Software Institute, Spain - Ralf Huuck, NICTA, Australia - Bernhard K. Aichernig, Graz University of Technology, Austria - Naijun Zhan, Chinese Academy of Sciences, China - Clemens Grelck, University of Amsterdam, the Netherlands - Charles Morisset, Newcastle University, UK - Wei Dong, NUDT, Changsha, China - Jinyun Xue,Jiangxi Normal University, Nanchang, China - Roberto Bruni, University of Pisa, Italy - Mario Bravetti, University of Bologna/INRIA, Italy - Prof. Dr. Erika A�braham, RWTH Aachen University, Germany - Jean-Bernard Stefani, INRIA, France -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 904 University Lecturer 1098XH Amsterdam Netherlands University of Amsterdam Institute for Informatics T +31 (0) 20 525 8683 Computer Systems Architecture Group F +31 (0) 20 525 7490 Office C3.105 www.science.uva.nl/~grelck ----------------------------------------------------------------------