Dear colleagues,
We would like to cordially invite you to submit a paper to Formal
Methods Letters (FML), a new publication whose goal is to address the
need in the formal methods community for a publication outlet with a
rapid turn-around time for short papers.
FML will publish papers of just a few pages describing recent research
advances, as a quarterly special section of the journal Software Tools
for Technology Transfer. FML papers will be electronically available
as soon as they are ready for publication, and freely accessible to
all. They will subsequently appear in the paper version of the
journal. Thus, space limitations in the paper journal will not be a
barrier to rapid publication.
FML is intended to provide a channel for fast publication of new and
original ideas. It will provide a venue for quickly disseminating
theoretical and experimental results, and also a means of publishing
new approaches that are sound and of interest to the community, but
may not yet be fully supported by implementation and experiment. In
addition, it will offer a chance to publish new work without traveling
great distances to deliver it.
Unlike other venues for short papers, FML will be targeted solely at
the formal methods community. By targeting a specific audience, we
hope to build a regular readership that will check the website
frequently for newly accepted papers.
Topics of interest for FML include but are not limited to:
Deductive Verification
Model Checking
Run-Time and Compiler Verification
Decision Procedures
Static Analysis Techniques
Abstract Interpretation
Theorem Proving
Compositional and Refinement-Based Methodologies
Infinite-State Methods
In addition to research articles, FML welcomes short case studies and
reports on practical or industrial application, as well as short
resumes of new projects and tools that may be of interest to the
community.
More information on FML, including information on electronic
submissions can be found at
http://www.cs.nyu.edu/fml/call-for-papers.html
If you have any questions about the journal's policies or procedures,
please feel free to contact the editors.
FML is intended as a resource for the formal methods community,
allowing the rapid exchange of ideas via electronic media, while at
the same time establishing priority for authors in an archived
journal. If you have new ideas or results that could benefit from
rapid dissemination, we hope that you will consider publishing them in
FML.
Best regards,
Ken McMillan and Lenore Zuck
Editors in chief
--
***
(un)subscribe the verimag-news mailing list by sending a mail to [log in to unmask]
with the following subject
- for subscribing : sub verimag-news
- for unsubscribing : uns verimag-news your-email-to-be-unsubscribed
- for getting help : help
|