Overview

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 protection, etc.

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.

Program

• FATES-RV program

Invited Speakers

• Tuesday, August 15th, 09:00‑10:00
  Wolfgang Grieskamp (Microsoft Research, USA)
  Multi-Paradigmatic Model-Based Testing [ppt]
• Wednesday, August 16th, 09:30‑10:30
  Oege de Moor (Oxford University, GB)
  Aspects for Trace Monitoring [pdf]

Important Dates

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)

Program Chairs

Program Committee

• Howard Barringer (Univ Manchester, UK) howard.barringer@manchester.ac.uk
• Saddek Bensalem (VERIMAG, France) Saddek.Bensalem@imag.fr
• Rachel Cardell-Oliver (Univ of Western Australia, Australia) rachel@csse.uwa.edu.au
• Ana Cavalli (Inst National de Telecommunication, France) Ana.Cavalli@int-evry.fr
• Doron Drusinsky (Naval Postgraduate School, USA) ddrusins@nps.edu
• Bernd Finkbeiner (Univ des Saarlandes, Germany) finkbeiner@cs.uni-sb.de
• Cormac Flanagan (Univ California, Santa Cruz, USA) cormac@cs.ucsc.edu
• Vijay Garg (Univ of Texas, Austin, USA) garg@ece.utexas.edu
• Jens Grabowski, (Univ of Goettingen, Germany) grabowski@informatik.uni-goettingen.de
• Wolfgang Grieskamp (Microsoft Research, USA) wrwg@microsoft.com
• Yuri Gurevich (Microsoft Research, USA) gurevich@microsoft.com
• 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) lee@central.cis.upenn.edu
• Michael Moeller (Univ of Oldenburg, Germany) Michael.Moeller@informatik.uni-oldenburg.de
• Brian Nielsen (Aalborg Univ, Denmark) bnielsen@cs.auc.dk
• Jeff Offutt (George Mason Univ, USA) offutt@ise.gmu.edu
• Doron Peled (Univ of Warwick, UK) doron.peled@gmail.com
• Alexandre Petrenko (Comp Research Inst of Montreal, Canada) Petrenko@crim.ca
• Ina Schieferdecker (Fraunhofer FOKUS, Germany) schieferdecker@fokus.fraunhofer.de
• Scott Stoller (State Univ of New York, Stony Brook, USA) stoller@cs.sunysb.edu
• Henny Sipma (Stanford Univ, USA) sipma@cs.stanford.edu
• Oleg Sokolsky (Univ of Pennsylvania, USA) sokolsky@cis.upenn.edu
• Serdar Tasiran (Koc Univ, Turkey) stasiran@ku.edu.tr
• Jan Tretmans (Radboud Univ Nijmegen, The Netherlands) tretmans@cs.ru.nl
• Umit Uyar, (City Univ of New York, USA) umit@ee-mail.engr.ccny.cuny.edu
• Carsten Weise, (Ericsson Research, Germany) carsten.weise@ericsson.com

Workshop History

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).

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 RV'05 in Edinburgh co-located with CAV'05 (June 2005).

Sponsors