posted by user: hossein_haeri || 3474 views || tracked by 15 users: [display]

SEFM 2017 : 15th International Conference on Software Engineering and Formal Methods

FacebookTwitterLinkedInGoogle


Conference Series : Software Engineering and Formal Methods
 
Link: http://sefm17.fbk.eu
 
When Sep 4, 2017 - Sep 8, 2017
Where Trento, Italy
Abstract Registration Due Apr 6, 2017
Submission Deadline Apr 13, 2017
Notification Due May 29, 2017
Categories    software architecture   verification   testing   programming languages
 

Call For Papers

The 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, will be held in Trento, Italy, September 4-8, 2017.

The conference aims to bring together leading researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.

Topics Of Interest

The topics of interest for submission include, but are not limited to the following aspects of software engineering and formal methods:
* New frontiers in software architecture: self-adaptive, service-oriented and cloud computing systems; component, object and multi-agent systems; real-time, hybrid and embedded systems; reconfigurable systems.
* Software verification and testing: model checking, theorem proving and decision procedures; verification and validation; probabilistic verification and synthesis; testing, re-engineering and reuse.
* Software development methods: requirement analysis, modeling, specification and design; light-weight and scalable formal methods; software evolution, maintenance and reuse.
* Application and technology transfer: case studies, best practices and experience reports; tool integration; education; HCI, interactive systems and human error analysis.
* Security and safety: security and mobility; safety-critical, fault-tolerant and secure systems; software certification.
* Design principles: programming languages; domain specific languages; type theory; abstraction and refinement.

Invited Speakers

We are pleased to have three invited speakers for SEFM 2017:
Marsha Chechik, University of Toronto, Canada
Jeff Kramer, Imperial College London, UK
Alberto Sangiovanni-Vincentelli, Berkeley University, USA
Important Dates (AOE, firm)
Abstract submission: 24 March 2017 Extended to: 06 April 2017
Paper submission: 31 March 2017 Extended to: 13 April 2017
Notification: 29 May 2017

Submission Details

Authors are invited to submit full research papers (up to 15 pages) describing original research results, case studies and tools; and short new ideas/work-in-progress papers (up to 6 pages) describing new approaches, techniques and/or tools that are not fully validated yet. The conference proceedings will be published by Springer Verlag in the Formal Methods subline of the Lecture Notes in Computer Science series.

Committees

Information about all committees can be found at http://sefm17.fbk.eu/committees.

Co-Chairs:
Alessandro Cimatti, Fondazione Bruno Kessler, Italy
Marjan Sirjani, Malardalen University, Sweden

Related Resources

MoDRE 2019   9th International Workshop on Model-Driven Requirements Engineering (MoDRE)
ICST 2020   13th IEEE Conference on Software Testing, Validation and Verification
SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons
AIAA 2019   9th International Conference on Artificial Intelligence, Soft Computing and Applications
ICCSM 2020   2020 4th International Conference on Computer, Software and Modeling (ICCSM 2020)--JA, Scopus
IJBBR 2019   International Journal of BRIC Business Research
CPP 2020   Certified Programs and Proofs
SoMeT 2020   New Trends in Intelligent Software Methodologies, Tools and Techniques
ICAITA 2020   9th International Conference on Advanced Information Technologies and Applications
ABZ 2020   ABZ 2020 – 7th International Conference on Rigorous State Based Methods