Message-ID: <4E06A937DADC3842ACE4D3A1096A9EAC0392A8@JANUS.eecs.berkeley.edu> From: George Necula <necula@EECS.Berkeley.EDU> Subject: FW: SPIN 2003 Date: Mon, 22 Jul 2002 13:07:04 -0700 -----Original Message----- From: Tom Ball [mailto:tball@microsoft.com] Sent: Monday, July 22, 2002 12:56 PM To: avrunin@math.umass.edu; bodik@cs.wisc.edu; emc+@cs.cmu.edu; consel@irisa.fr; Manuvir Das; Rob DeLine; Alain.Deutsch@INRIA.FR; dill@cs.stanford.edu; engler@leland.stanford.edu; evans@cs.virginia.edu; Manuel Fahndrich; jfield@us.ibm.com; cormac.flanagan@compaq.com; mflatt@cs.utah.edu; god@research.bell-labs.com; Crispin Goswell; Yuri Gurevich; harel@wisdom.weizmann.ac.il; heitmeyer@itd.nrl.navy.mil; henglein@diku.dk; tah@eecs.berkeley.edu; leavens@cs.iastate.edu; Todd D Millstein; jgm@cs.cornell.edu; murphy@cs.ubc.ca; necula@cs.berkeley.edu; roc+@cs.cmu.edu; palsberg@cs.purdue.edu; Jon Pincus; podelski@mpi-sb.mpg.de; qadeer@pa.dec.com; Sriram Rajamani; Jakob Rehof; rushby@csl.sri.com; sagiv@math.tau.ac.il; Wolfram Schulte; stoller@cs.sunysb.edu; wvisser@ptolemy.arc.nasa.gov; jv@cs.purdue.edu; wing@cs.cmu.edu; Mark Seigle; Robby Fnu; Westley Weimer; Satyaki Das; Dan Geiger; Jonathan Aldrich Cc: Craig Chambers; Jim Larus Subject: SPIN 2003 Dear UW/MSR Summer Institute participant, It has been just about one year since the 2001 UW/MSR Summer Institute on Specifying and Checking Properties of Software (http://research.microsoft.com/specncheck/). Although we're not planning (yet) on doing another summer institute, I thought that you might like to know that Sriram Rajamani and I are co-chairing the SPIN 2003 (http://research.microsoft.com/projects/spin2003/) workshop on software model checking, to be held in Portland, OR in May 2003 (co-located with ICSE 2003). Guess what the theme of this SPIN is? "Specifying and Checking Properties of Software Systems". Well, we had to make at least one change ... Anyway, I encourage you to submit a paper to SPIN 2003 and tell your colleagues about this workshop. Thanks! -- Tom Ball
This archive was generated by hypermail 2b30 : 11/04/02 PST