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,
constraint resolution, static program analysis, abstract interpretation, Markov
chains, and various others. Formal approaches to runtime verification
use formal techniques to improve traditional ad-hoc monitoring
techniques used in testing, debugging, performance monitoring, fault
The joint workshop is based on the attempt to cross-fertilize
the established research communities behind FATES and RV; FATES/RV is
the fifth resp. sixth incarnation of a previous series of workshops.
The post-conference proceedings will be published in Springer LNCS.
Deadline for submissions : May 31st, 2006
Notification of acceptance: July 5th, 2006
Workshop-proceedings version: July 14th, 2006 (hard deadline!)
Workshop: August 15/16th, 2006
Camera Ready Copy: Sept. 15th (in Springer LNCS Format)
- Howard Barringer (Univ Manchester, UK) firstname.lastname@example.org
- Saddek Bensalem (VERIMAG, France) Saddek.Bensalem@imag.fr
- Rachel Cardell-Oliver (Univ of Western Australia, Australia) email@example.com
- Ana Cavalli (Inst National de Telecommunication, France) Ana.Cavalli@int-evry.fr
- Doron Drusinsky (Naval Postgraduate School, USA) firstname.lastname@example.org
- Bernd Finkbeiner (Univ des Saarlandes, Germany) email@example.com
- Cormac Flanagan (Univ California, Santa Cruz, USA) firstname.lastname@example.org
- Vijay Garg (Univ of Texas, Austin, USA) email@example.com
- Jens Grabowski, (Univ of Goettingen, Germany) firstname.lastname@example.org
- Wolfgang Grieskamp (Microsoft Research, USA) email@example.com
- Yuri Gurevich (Microsoft Research, USA) firstname.lastname@example.org
- Robert M. Hierons (Brunel Univ, UK) Rob.Hierons@brunel.ac.uk
- Gerard Holzmann (JPL, USA) Gerard.J.Holzmann@jpl.nasa.gov
- Insup Lee (Univ of Pennsylvania, USA) email@example.com
- Michael Moeller (Univ of Oldenburg, Germany) Michael.Moeller@informatik.uni-oldenburg.de
- Brian Nielsen (Aalborg Univ, Denmark) firstname.lastname@example.org
- Jeff Offutt (George Mason Univ, USA) email@example.com
- Doron Peled (Univ of Warwick, UK) firstname.lastname@example.org
- Alexandre Petrenko (Comp Research Inst of Montreal, Canada) Petrenko@crim.ca
- Ina Schieferdecker (Fraunhofer FOKUS, Germany) email@example.com
- Scott Stoller (State Univ of New York, Stony Brook, USA) firstname.lastname@example.org
- Henny Sipma (Stanford Univ, USA) email@example.com
- Oleg Sokolsky (Univ of Pennsylvania, USA) firstname.lastname@example.org
- Serdar Tasiran (Koc Univ, Turkey) email@example.com
- Jan Tretmans (Radboud Univ Nijmegen, The Netherlands) firstname.lastname@example.org
- Umit Uyar, (City Univ of New York, USA) email@example.com
- Carsten Weise, (Ericsson Research, Germany) firstname.lastname@example.org
The FATES'01 was held in
affiliation with CONCUR 2001 in Aalborg, Denmark, the FATES'02 in affiliation with CONCUR 2002 in Brno, Czech Republic.
In 2003, FATES'03 was held in affiliation with ASE in Montreal, Canada,
and in 2004 again with ASE in Linz, Austria. In 2005, FATES was co-located with CAV in Edinburgh.
Since 2003, the FATES workshop proceedings are published by Springer (LNCS series).
FATES/RV'06 is sponsored by Microsoft Research.
In parallel, the first Workshop on Runtime Verification RV'01 was held in Paris, July 2001, in affiliation with CAV'01, followed by
RV'02 in Copenhagen (July 2002, again affiliated with CAV'02), RV'03 in Boulder (July 2003, again with CAV'03), RV'04 in Barcelona (April 2004) affiliated with TACAS'04 and finally
in Edinburgh co-located with CAV'05 (June 2005).
Microsoft is a
registered trademark of Microsoft Corporation.