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

Website sefm2012.city.academic.gr | Edit Freely

Category SEFM 2012

Deadline: April 19, 2012 | Date: October 01, 2012-October 05, 2012

Venue/Country: Thessaloniki, Greece

Updated: 2012-01-04 20:00:34 (GMT+9)

Call For Papers - CFP

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 Topics

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