From cortesi@dsi.unive.it Tue Jul 20 18:09:33 1999 Date: Mon, 19 Jul 1999 09:15:11 PDT From: Agostino Cortesi Reply-To: Theory-A - TheoryNet World-Wide Events , Agostino Cortesi To: THEORYNT@LISTSERV.NODAK.EDU ............................................................................ CALL FOR PARTICIPATION ............................................................................ SAS and LOPSTR 99 Joint International Symposia 6th Int.Static Analysis Symposium 9th Int. Workshop on Logic-based Program Synthesis and Transformations Venice, Italy, 22-24 September 1999 http://www.dsi.unive.it/~sas99/ http://www.dsi.unive.it/~lopstr99/ ........................................................................... Registration: It is now time to register for SAS and LOPSTR '99. See the above mentioned WWW pages for details. Early registration ends on August 1, 1999. Invited Talks: Daniel Weise (Microsoft Research) David McAllester (AT&T Labs-Research) Dennis Volpano (Naval Postgraduate School) Don Sannella (Univ. of Edinburgh) Tutorials: David Schmidt (Kansas State University) Mary Lou Soffa University of Pittsburg) Craig Chambers (University of Washington) Mirelle Ducasse' (IRISA/INSA, Rennes) Laurent Fribourg (Ecole Normale Superieure de Cachan) SAS'99 Program chair: Gilberto File' (University of Padova) LOPSTR'99 Program chair: Annalisa Bossi (Ca' Foscari University, Venezia) Organization: Dipartimento di Informatica Universita' Ca' Foscari, Venezia. _______________________________________________________________________ agostino cortesi sas-lopstr'99 conference chair dipartimento di informatica tel: +39 041 290.8450 universita' ca' foscari, venezia fax: +39 041 290.8419 via torino 155 url: http://www.dsi.unive.it/~cortesi 30170 mestre-venezia (italy) email: cortesi@dsi.unive.it