From honeydew.srv.cs.cmu.edu!das-news.harvard.edu!noc.near.net!howland.reston.ans.net!europa.eng.gtefsd.com!uunet!sparky!rick Thu Aug 26 19:50:53 EDT 1993 Article: 4610 of news.announce.conferences Xref: honeydew.srv.cs.cmu.edu news.announce.conferences:4610 Newsgroups: news.announce.conferences Path: honeydew.srv.cs.cmu.edu!das-news.harvard.edu!noc.near.net!howland.reston.ans.net!europa.eng.gtefsd.com!uunet!sparky!rick From: michele@goedel.unipd.it (Michele Bugliesi) Subject: Workshop on Static Analysis (WSA'93) -- CALL FOR PARTICIPATION & ADVANCE PROGRAM Message-ID: <1993Aug26.224319.16990@sparky.sterling.com> Sender: rick@sparky.sterling.com (Richard Ohnemus) Organization: Universita` di Padova Date: Thu, 26 Aug 1993 22:43:19 GMT Approved: rick@sparky.sterling.com Expires: Sat, 25 Sep 1993 08:00:00 GMT Lines: 27 X-Md4-Signature: f8db08f71b410c20397e35bc4c42c97e WSA'93 Workshop on Static Analysis Padova, Italy September 22-24 The Third International Workshop on Static Analysis is held in Padova, Italy, from 22-24 September 1993. The WSA'93 workshop is the third, after Jtaspefl and WSA'92, which took place in Bordeaux (France). This Workshop is devoted to theoretical and practical aspects of static analysis. The intended audience includes researchers in the field of static analysis, abstract interpretation, partial evaluation, program transformation in logic, equational, functional, imperative, object-oriented and constraint programming, both for sequential and concurrent languages. The workshop's advance program & hotel info are available via anonymous ftp from: zenone.unipd.it:/pub/wsa93/wsaprogr.ps.Z :/pub/wsa93/hotel.ps.Z Cheers, -- michele bugliesi (organizing committee).