posted by user: kristianduske || 10602 views || tracked by 45 users: [display]

SEFM 2012 : 10th International Conference on Software Engineering and Formal Methods

FacebookTwitterLinkedInGoogle


Conference Series : Software Engineering and Formal Methods
 
Link: http://sefm2012.city.academic.gr/
 
When Oct 1, 2012 - Oct 5, 2012
Where Thessaloniki, Greece
Abstract Registration Due Apr 4, 2012
Submission Deadline Apr 19, 2012
Notification Due May 24, 2012
Final Version Due Jun 5, 2012
Categories    software engineering   formal methods
 

Call For Papers

The aim of the conference is to bring together practitioners and researchers 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 with practical engineering methods.
Papers that combine formal methods and software engineering are especially welcome.
Authors are invited to submit original research or tool papers on any relevant topic. These can either be normal or short papers.
Short papers can discuss new ideas which are at an early stage of development and which have not yet been thoroughly evaluated.

Topics of interest include, but are not limited to:

- formal methods technology transfer
- scalable formal methods
- requirement analysis and specification
- software specification, verification and validation
- component-based development
- programming languages and type theory
- formal models for service-oriented computing
- web and grid computing
- formal models for web services, choreography and orchestration
- formal aspects of security and mobility
- model checking for software and hardware systems
- theorem proving and decision procedures
- program analysis
- real-time, hybrid and embedded systems
- safety-critical and fault-tolerant systems
- interactive systems and human error analysis
- software architectures and their description languages
- object and multi-agent systems, aspect oriented development
- coordination and feature interaction
- formal aspects of software evolution and maintenance
- formal methods for testing, re-engineering and reuse
- light-weight formal methods
- CASE tools and tool integration
- applications of formal methods and industrial case studies

Related Resources

SEFM 2019   17th International Conference on Software Engineering and Formal Methods
ICIAI--ACM, Ei Compendex and Scopus 2019   ACM--2019 The 3rd International Conference on Innovation in Artificial Intelligence (ICIAI 2019)--Ei Compendex and Scopus
EFM 2019   1st International Workshop on Empirical Formal Methods
ACM--ICCAI--Ei Compendex, Scopus 2019   ACM--2019 5th International Conference on Computing and Artificial Intelligence (ICCAI 2019)--Ei Compendex, Scopus
ATVA 2019   International Symposium on Automated Technology for Verification and Analysis
CSECI 2019-Ei Compendex & Scopus 2019   2019 International Conference on Software Engineering and Computational Intelligence (CSECI 2019)
FM 2019   23rd International Symposium on Formal Methods – 3rd World Congress on Formal Methods
ICICT--IEEE, Ei & Scopus 2019   IEEE--2019 the 2nd International Conference on Information and Computer Technologies (ICICT 2019)--Ei & Scopus
SA-TTA @SAC 2019   The 7th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 34rd ACM/SIGAPP Symposium On Applied Computing (SAC 2019)
EI-CSECI 2019   2019 International Conference on Software Engineering and Computational Intelligence (CSECI 2019)