Workshops

Co-Chairs: Neelam Gupta (ngupta@cs.arizona.edu)
University of Arizona, USA
http://www.cs.arizona.edu/~ngupta/

George Spanoudakis (gespan@soi.city.ac.uk)
City University London, UK
http://www.soi.city.ac.uk/~gespan/
W1: Workshop on Living with Uncertainties (IWLU)
Homepage: http://godzilla.cs.toronto.edu/IWLU/
Time: Monday, November 5, 2007
Location: Noble Ballroom II
Organizers: Marsha Chechik (University of Toronto, Canada)
Betty Cheng (Michigan State University, USA)
Alexander Egyed (Teknowledge Corporation, USA)
Alessandro Orso (Georgia Institute of Technology, USA)
Kevin Sullivan (University of Virginia, USA)
W2: Workshop on Automating Service Quality (WRASQ)
Homepage: http://www.cs.ua.edu/wrasq/Default.htm
Time: Tuesday, November 6, 2007
Location: Valencia III
Organizers: Aniruddha S. Gokhale (Vanderbilt University, USA)
Jeff Gray (University of Alabama at Birmingham, USA)
Randy K. Smith (University of Alabama, USA)
W3: Workshop on Automated Formal Methods with PVS, SAL and Yices (AFM)
Homepage: http://fm.csl.sri.com/AFM07/
Time: Tuesday, November 6, 2007
Location: Noble Ballroom I
Organizers: Bruno Dutertre (CSL, SRI International, USA)
Sam Owre (CSL, SRI International, USA)
John Rushby (CSL, SRI International, USA)
Natarajan Shankar (CSL, SRI International, USA)
Ashish Tiwari (CSL, SRI International, USA)
W4: Workshop on Random Testing (RT)
Homepage: http://www.mathematik.uni-ulm.de/sai/mayer/rt07/
Time: Tuesday, November 6, 2007
Location: Noble Ballroom II
Organizers: Marie-Claude Gaudel (LRI, Université de Paris-Sud, France)
Johannes Mayer (Ulm University, Germany)
Robert Merkel (Swinburne University of Technology, Australia)
W5: Workshop on Empirical Assessment of Automated Software Engineering Languages and Technologies (WEASELTech)
Homepage: http://ase-conference.org/workshops/WEASELTech07/
Time: Monday, November 5, 2007
Location: Noble Ballroom I
Organizers: Eileen T. Kraemer (University of Georgia, USA)
Jonathan Maletic (Kent State University, USA)