[plt-scheme] Workshop on Testing, Analysis and Verification of Web Services

Please consider submitting your work!  Topics such as test harnesses,
contracts, etc. would all be within scope.

Shriram

----------------------------------------------------------------------
			     TAV-WEB 2004
    Workshop on Testing, Analysis and Verification of Web Services

		    In conjunction with ISSTA 2004
	       (ISSTA 2004 is co-located with CAV 2004)
	      Boston, Massachusetts, USA, July 11, 2004

	       http://www.cs.ucsb.edu/~bultan/tav-web/

Topics of interest:
 Testing, analysis and verification techniques and tools for web 
 services that address the demands created by this new domain including
 * XML-based messaging, asynchronous communication,
 * Web service descriptions,
 * coordination and composition of Web services,
 * interaction and choreography among Web services,
 * performance measurement and reasoning about resource usage,
 * principled techniques for optimizing performance, and
 * formal models for describing and reasoning about Web services.

Important Dates:
 * Papers and Abstracts Due: April 16, 2004 (Tentative)
 * Author Notification: May 14, 2004 (Tentative)
 * TAV-WEB Workshop: Sunday, July 11, 2004

Program Committee:
 Thomas Ball, Microsoft Research 
 Tevfik Bultan, University of California, Santa Barbara 
 Luca de Alfaro, University of California, Santa Cruz 
 Wim De Pauw, IBM Research 
 Richard Hull, Bell Laboratories, Lucent Technologies 
 Shriram Krishnamurthi, Brown University 
 A. Jefferson Offutt, George Mason University 
 Michael I. Schwartzbach, University of Aarhus, BRICS

Organizers:
 Tevfik Bultan (bultan at cs.ucsb.edu)
 Shriram Krishnamurthi (sk at cs.brown.edu)