13th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2016)

April 3, 2016

Netherlands

Call For Papers

The aim of the FESCA workshop is to bring together junior researchers from formal methods, software engineering, and industry interested in the development and application of formal modelling approaches as well as associated analysis and reasoning techniques with practical benefits for software engineering. 

Topics

Algorithmic controller synthesis 

Correctness checking 
Safety verification 
Temporal properties and their formal verification 
Interface compliance and contractual use of components 

Analysis and prediction of quality attributes 
Formal prediction and analysis 
Static and dynamic analysis 
Instrumentation and monitoring approaches 
Industrial case studies and experience reports 

IMPORTANT DATES            

Paper submission: January 14, 2016

                       

Notification of acceptance: February 15, 2016

           

Final manuscripts due: February 28, 2016

                       

User Name : MANI
Posted on

Related CFPs

IJCCMS   International Journal of Chaos, Control, Modelling and Simulation
OPTLJ   Integrated Optics and Lightwave : An International Journal
OPTLJ   Integrated Optics and Lightwave : An International Journal