Menu
▾
▴
[Hol-info] Final Call for Papers: FATES/RV'06
|
From: Klaus H. <hav...@gm...> - 2006-05-18 08:01:04
|
FINAL CALL FOR PAPERS
FATES/RV 2006
1st Joint International Workshop on
FORMAL ASPECTS OF TESTING AND RUNTIME VERIFICATION
Seattle, Washington, USA, August 15/16, 2006
In affiliation with the 2006 Federated Logic Conference (FLoC 2006)
http://www.fatesrv06.inf.ethz.ch
Sponsored by Microsoft Research
SUBMISSION DEADLINE : MAY 24
INVITED SPEAKERS
Wolfgang Grieskamp (Microsoft Research, USA)
"Model-based testing with Spec Exlorer,
with focus on model composition".
http://research.microsoft.com/projects/specexplorer/.
Oege de Moor (Oxford University, GB)
"Aspect oriented programming with the abc compiler,
with focus on runtime verification extensions."
http://abc.comlab.ox.ac.uk/.
OBJECTIVE AND SCOPE
Software validation is one of the most cost-intensive tasks in mo-
dern software production processes. The objective of FATES/RV'06
is to bring scientists from both academia and industry together to
discuss formal approaches to test and analyse programs and monitor
and guide their executions. Formal approaches to test may cover
techniques from areas like theorem proving, model checking, con-
straint resolution, static program analysis, abstract interpreta-
tion, Markov chains, and various others. Formal approaches to run-
time verification use formal techniques to improve traditional
ad-hoc monitoring techniques used in testing, debugging, perfor-
mance monitoring, fault protection, etc.
The aim of the FATES/RV workshop is to be a forum for
researchers and developers to discuss the state of the art in
theory, application, tools and industrialization of formal
approaches to testing and runtime verification.
With formal approaches to testing and runtime verfication becoming
more mature, the focus of the workshop is not only on research
approaches, but also on the application and industrialization
of formal testing methodologies. Thus, in addition to research papers,
FATES/RV 2006 invites experience reports, industrial applications
and work-in-progress paper submissions. Experience reports should
address medium size case studies and their analysis with a tool
(preferably not ones own), which describe validation methodologies
with a clear outline of the theoretical background.
Industrial applications should report on large scale case studies
and their adoption in an industrial setting, preferably with
an analysis of the existing acceptance problems.
SUBMISSIONS
Each submission must explain the contribution and novelty in the
field making clear the current status of the work. The following
types of contributions to FATES/RV 2006 are solicited:
* Research papers (up to 15 pages)
* Experience reports (up to 15 pages)
* Application and industrialization studies (up to 15 pages)
* Work-in-progress or position papers (up to 8 pages)
If a submission is not a research paper, its kind (i.e., experience
report, application study, work-in-progress paper) has to be stated
explicitly before the title on the first page of the document.
All contributions will be reviewed by the Program Committee for
technical quality and for compliance with the workshop objectives.
All articles have to be submitted electronically in PDF format
(http://research.microsoft.com/floc06/) and have to follow the
Springer LNCS paper format (www.springer.de/comp/lncs/authors.html).
For the submission please ensure that your papers have page numbers.
Accepted papers will be published in post-workshop proceedings
by Springer in the LNCS series
(see http://www.springer.de/comp/lncs/authors.html), as well
as in preliminary proceedings to be handed out at the workshop.
IMPORTANT DATES
* Deadline for submissions : May 24, 2006
* Notification of acceptance : June 28, 2006
* Workshop Proceeding-Version : July 7, 2006 (hard deadline!)
* Workshop : August 15/16, 2006
* Camera-ready Copy : Sept. 15, 2006
The workshop proceeding version and the final versions must comply
to the Springer LNCS format (see
http://www.springer.de/comp/lncs/authors.html).
PROGRAM COMMITTEE CO-CHAIRS
Klaus Havelund Kestrel Technology
e-mail: hav...@ke...
home page: http://www.havelund.com
Manuel Nunez Universidad Complutense de Madrid
e-mail: mn...@si...
home page:
http://dalila.sip.ucm.es/~manolo/<http://dalila.sip.ucm.es/%7Emanolo/>
Grigore Rosu University of Illinois at Urbana-Champaign
e-mail: gr...@cs...
home page:
http://fsl.cs.uiuc.edu/~grosu/<http://fsl.cs.uiuc.edu/%7Egrosu/>
Burkhart Wolff Eidgenoessische Technische Hochschule Zuerich
e-mail: bw...@in...
home page: www.infsec.ethz.ch/people/wolffb
PROGRAM COMMITTEE
Howard Barringer (Univ Manchester, UK)
Saddek Bensalem (VERIMAG, France)
Rachel Cardell-Oliver (Univ of Western Australia, Australia)
Ana Cavalli (Inst National de Telecommunication, France)
Doron Drusinsky (Naval Postgraduate School, USA)
Bernd Finkbeiner (Saarland Univ, Germany)
Cormac Flanagan (Univ California, Santa Cruz, USA)
Vijay Garg (Univ of Texas, Austin, USA)
Jens Grabowski, (Univ of Goettingen, Germany)
Wolfgang Grieskamp (Microsoft Research, USA)
Yuri Gurevich (Microsoft Research, USA)
Robert M. Hierons (Brunel Univ, UK)
Gerard Holzmann (JPL, USA)
Insup Lee (Univ of Pennsylvania, USA)
Michael Moeller (Univ of Oldenburg, Germany)
Brian Nielsen (Aalborg University, Denmark)
Jeff Offutt (George Mason Univ, USA)
Doron Peled (University of Warwick, UK)
Alexandre Petrenko (Comp Research Inst of Montreal, Canada)
Ina Schieferdecker (Fraunhofer FOKUS, Germany)
Scott Stoller (State Univ of New York, Stony Brook, USA)
Henny Sipma (Stanford Univ, USA)
Oleg Sokolsky (Univ of Pennsylvania, USA)
Serdar Tasiran (Koc Univ, Turkey)
Jan Tretmans (Radboud Univ Nijmegen, The Netherlands)
Umit Uyar (City Univ of New York, USA)
Carsten Weise (Ericsson Research and Development, Germany)
FURTHER INFORMATION
For further information see the FATES/RV 2006 Web site
(http://www.fatesrv06.inf.ethz.ch/), the FLoC 2006
Web site (http://research.microsoft.com/floc06/), or contact directly one o=
f
the chairs.
|
