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.Conference TopicsTopics of interest include, but are not limited to:formal methods technology transferscalable formal methodsrequirement analysis and specificationsoftware specification, verification and validationcomponent-based developmentprogramming languages and type theoryformal models for service-oriented computingweb and grid computingformal models for web services, choreography and orchestrationformal aspects of security and mobilitymodel checking for software and hardware systemstheorem proving and decision proceduresprogram analysisreal-time, hybrid and embedded systemssafety-critical and fault-tolerant systemsinteractive systems and human error analysissoftware architectures and their description languagesobject and multi-agent systems, aspect oriented developmentcoordination and feature interactionformal aspects of software evolution and maintenanceformal methods for testing, re-engineering and reuselight-weight formal methodsCASE tools and tool integrationapplications of formal methods and industrial case studies
Keywords: Accepted papers list. Acceptance Rate. EI Compendex. Engineering Index. ISTP index. ISI index. Impact Factor. Disclaimer: ourGlocal is an open academical resource system, which anyone can edit or update. Usually, journal information updated by us, journal managers or others. So the information is old or wrong now. Specially, impact factor is changing every year. Even it was correct when updated, it may have been changed now. So please go to Thomson Reuters to confirm latest value about Journal impact factor.