The Coq mailing list

["Kouskoulas, Yanni A." <Yanni.Kouskoulas AT jhuapl.edu>]

***************************************************************
CALL FOR PAPERS

Practical Application of Formal Methods
in Software Engineering (PAFSE)

Part of the Software Technology Track

Forty-Fourth Annual

HAWAI’I INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES

January 5-8, 2011
The Grand Hyatt Kauai Resort & Spa
Kauai, Hawaii

Additional detail may be found on the HICSS primary web site:
http://www.hicss.hawaii.edu/hicss_44/apahome44.htm

***************************************************************

Minitrack Description

Formal methods in software engineering have achieved remarkable
successes but not widespread adoption. Yet the rigor of formal methods
and the quality of results achieved have never been more important, as
complex software systems become ever more integrated into modern
society. Software engineering itself must become more computational to
meet demands for fast and correct development of future systems, just as
other engineering disciplines have amplified the capabilities of their
practitioners through computational methods. Computational support for
software engineering must be based on solid mathematical foundations,
and not simply automate ad hoc and empirical methods. Much has been
learned about the theoretical foundations of software and the
mathematics of rigorous software analysis and verification. This
minitrack focuses on approaches to practical and widespread application
of this knowledge, as well as on advances in the foundations and
implementation of formal methods themselves. Practical implementation of
formal methods can reduce human labor and fallibility and help control
costs and risks across the software development lifecycle. The ultimate
objective is a strategy for integrating formal methods into mainstream
software engineering to meet the needs of 21st century systems.

***************************************************************

Technical Focus Areas

Practical and widespread use of rigorous formal methods has the
potential to transform software engineering into a true computational
engineering discipline. The following topics will be included in the
Minitrack:

·         Practical application of formal methods
·         Advances in formal methods in software and security engineering
·         Strategies for widespread adoption of formal methods
·         New application areas for formal methods use
·         Integrating formal methods into programming environments
·         Making formal methods accessible to software developers
·         Overcoming barriers to formal method adoption
·         Reducing human effort in applying formal methods
·         Cost/benefit analysis of formal methods use
·         New approaches to automation in formal methods
·         Formal methods in software specification, design, implementation 
and testing
·         Formal methods in distributed systems and networks
·         New approaches to formal methods
·         Education and training in formal methods

***************************************************************

Important Deadlines:

June 15: Submit full manuscripts for review. The review is double-blind; 
therefore this submission must be without author names.

Aug 15: Acceptance notices are emailed to authors by the Review System.
(Make sure your server accepts the address.) At least one author of each
accepted paper must immediately make plans to attend the conference,
including initiating fiscal, visa, or other travel guarantees.

Sept 15: Accepted authors submit Final Paper. At least one author of
each paper should register by this date. This is the Early Registration
fee deadline.

Oct 15: Papers without at least one registered author will be deleted
from the Proceedings; authors will be so notified by the Conference Office.

***************************************************************

Minitrack co-chairs

Mark Pleszkoch
Software Engineering Institute
Carnegie Mellon University
Pittsburgh, PA
mpleszko AT cert.org

Durward McDonell, Yanni Kouskoulas
Johns Hopkins Applied Physics Laboratory
Laurel, MD
yanni.kouskoulas AT jhuapl.edu
durward.mcdonell AT jhuapl.edu

For more information, contact the co-chairs, or go to one of
these sites:

http://hicssformalmethods.com/
http://www.hicss.hawaii.edu/hicss_44/apahome44.htm