Scope
We invite researchers to submit technical papers and abstracts presenting original research on practical and theoretical aspects of formal methods and related areas. Topics of interest include, but are not limited to, the following:
Formal Specification and modeling;
Abstraction, modularization and refinement techniques;
Program synthesis;
Program construction from specifications;
Formal Models of concurrency, security and mobility;
Model checking;
Theorem proving;
Formal approaches to software analysis
Static analysis;
Formal techniques for software testing;
Experience reports on the use of formal methods;
Industrial case studies;
Tools for formal software development;
Formal methods for software/hardware development.
Submissions
We accept submissions of regular research and industrial experience papers, that should not exceed 15 pages, and short tool papers, which should not exceed 6 pages. Authors may also submit abstracts of recent or ongoing research, which should not exceed 2 pages. Papers and ongoing research abstracts must be submitted electronically in PDF format via EasyChair, must conform to the EPTCS style (http://style.eptcs.org/).
Papers will be subject to peer-reviewing by at least 3 program committee members or additional reviewers, and will be carefully evaluated based on clarity, originality, significance and technical soundness. The presentation of submitted ongoing research abstracts will be selected on the basis of their originality, significance and general interest.
Accepted papers will be published in Electronic Proceedings in Theoretical Computer Science (EPTCS). After the workshop, authors of selected abstracts may be invited to submit full papers for the refereed EPTCS proceedings.
Authors of accepted papers and abstracts must attend and present their work at the workshop.
Important dates:
Paper Submission Deadline: May 31, 2013 June 30, 2013,
Acceptance/Rejection Notification: July 7 July 30, 2013
Camera-ready Version: August 16, 2013
Download the Call for Papers in PDF here.