[ecoop-info] CFP: SEFM 2015 - Software Engineering and Formal Methods - Reminder
Bernhard Rumpe
rumpe at se-rwth.de
Fri Feb 27 23:19:30 CET 2015
CALL FOR PAPERS
---------------
13th International Conference on Software Engineering and Formal
Methods (SEFM 2015)
York, UK
7-11 September 2015
http://www.cs.york.ac.uk/sefm2015/
---------------
IMPORTANT DATES
---------------
Abstract submission: 13 March 2015
Paper submission: 20 March 2015
Notification: 15 May 2015
Camera ready: 12 June 2015
----------------------------------
DESCRIPTION AND TOPICS OF INTEREST
----------------------------------
The conference will bring together 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.
Authors are invited to submit full research papers describing original
research results, case studies and tools; and short new
ideas/work-in-progress papers describing new approaches, techniques
and/or tools that are not fully validated yet.
The topics of interest include, but are not limited to, the following
aspects of software engineering and formal methods:
* Formal requirement analysis, modelling, specification and design
* Abstraction and refinement
* Formal methods for probabilistic verification and synthesis
* Programming languages, program analysis and type theory
* Formal methods for self-adaptive systems, service-oriented and cloud
computing
* Formal aspects of security and mobility
* Model checking, theorem proving and decision procedures
* Formal methods for real-time, hybrid and embedded/cyber-physical systems
* Formal methods for safety-critical, fault-tolerant and secure systems
* Software architecture and coordination languages
* Software verification and validation
* Component, object and multi-agent systems
* Formal aspects of software evolution and maintenance
* Formal methods for testing, re-engineering and reuse
* Light-weight and scalable formal methods
* Tool integration
* Applications of formal methods, industrial case studies and technology
transfer
* Education and formal methods
* Interactive systems and human error analysis
* Formal methods for HCI
* Formal analysis of human behaviour
------------------
SUBMISSION DETAILS
------------------
Submissions will be peer reviewed by at least three members of the
program committee. They will be evaluated on the basis of originality,
contribution to the field, technical and presentation quality, and
relevance to the conference.
Papers should conform to the Springer LNCS style specified at
http://www.springer.de/comp/lncs/authors.html
and should describe, in English, original work that has not been
published or submitted for publication elsewhere. PDF versions of papers
should be submitted electronically via EasyChair, using the link:
https://easychair.org/conferences/?conf=sefm2015
We solicit three categories of papers:
* Research papers should describe fully developed work and should not
exceed 15 pages. Authors of papers reporting experimental work are
strongly encouraged to make their experimental results available to
reviewers. Case study papers should describe significant case studies
and lessons learned.
* Tool papers should describe an operational tool and its contributions.
Tool papers should not exceed 15 pages. Please include the URL of the
tool (if available).
* New ideas/Work-in-Progress papers should describe new approaches,
techniques and/or tools that are not fully validated yet. Papers in this
category should not exceed 6 pages.
The conference proceedings will be published by Springer Verlag in the
Lecture Notes in Computer Science series.
----------------
KEYNOTE SPEAKERS
----------------
Peter O’Hearn - University College London and Facebook, United Kingdom
Cliff Jones - Newcastle University, United Kingdom
Edward A. Lee - University of California at Berkeley, United States
--------------
Please don't forget to look at the workshop programme:
http://www.cs.york.ac.uk/sefm2015/workshops/
--------------
ATSE - Automating Test case design, Selection and Evaluation
http://staq.dsic.upv.es/ATSE/2015
HOFM - Human-Oriented Formal Methods: From Readability to Automation
http://hofm2015.wordpress.com
MoKMaSD - Modelling and Knowledge Management applications: Systems and
Domains
http://www.di.unipi.it/mokmasd/symposium-2015/
SCART - Workshop on the ART of Software Composition
http://scart2015.disim.univaq.it
VERY* - Formal verification for self-* systems
http://verystar.cs.unibo.it
More information about the ecoop-info
mailing list