posted by system || 5296 views || tracked by 10 users: [display]

FSEN 2011 : IPM International Conference on Fundamentals of Software Engineering

FacebookTwitterLinkedInGoogle


Conference Series : Fundamentals of Software Engineering
 
Link: http://fsen.ir/2011/
 
When Apr 20, 2011 - Apr 22, 2011
Where Tehran, Iran
Abstract Registration Due Oct 18, 2010
Submission Deadline Oct 25, 2010
Notification Due Dec 13, 2010
Final Version Due Jan 10, 2011
Categories    software engineering
 

Call For Papers

FSEN is an international conference that aims to bring together researchers, engineers, developers, and practitioners from the academia and the industry, who work in every area of formal methods. This conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. Following the success of the previous FSEN events in 2005, 2007 and 2009, the next event in the FSEN series will take place in Tehran, Iran, April 20-22, 2011.

Topics of Interest

Models of programs and systems

Software specification, validation and verification

Software architectures and their description languages

Object and multi-agent systems

Coordination and feature interaction

Integration of formal and informal methods

Integration of different formal methods

Component-based development

Service-oriented development

Model checking and theorem proving

Software and hardware verification

CASE tools and tool integration

Application to industrial cases


Important Dates

Abstract Submission: October 18, 2010
Paper Submission: October 25, 2010
Notification: December 13, 2010
Camera Ready: January 10, 2011
Conference: April 20-22, 2011

Related Resources

FSEN 2021   9th IPM International Conference on Fundamentals of Software Engineering
IJNGN 2020   International Journal of Next - Generation Networks
SA-TTA 2021   The 9th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021)
ACM--ICMLSC--EI Compendex, Scopus 2021   ACM--2021 The 5th International Conference on Machine Learning and Soft Computing (ICMLSC 2021)--EI Compendex, Scopus
SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2021)--Ei Compendex & Scopus
SESBC 2020   International Conference on Software Engineering, Security and Blockchain
ACM--ADIP--EI Compendex, Scopus 2020   ACM--2020 2nd Asia Digital Image Processing Conference (ADIP 2020)--EI Compendex, Scopus
JSS SI on Test Automation 2021   Special Issue on “Test Automation: Trends, Benefits, and Costs” - Journal of Systems and Software (Elsevier)
ISSTA 2021   International Symposium on Software Testing and Analysis