nch@PROOF.ERGO.CS.CMU.EDU (Nevin Heintze) (03/07/90)
Abstract Interpretation Workshop (ICLP7, Jerusalem, Israel) Kim Marriot and I are organizing a workshop on theoretical and practical aspects of abstract interpretation, program analysis and related areas for this year's ICLP. Our intention is to have somewhere between 5 and 10 presentations, each about half an hour in length followed by time for questions. If you are interested in giving a presentation, please send us a very brief description/abstract. We would also like to hear from people who are interested in attending this workshop. We welcome suggestions and comments, particularly for possible discussion topics. Workshops for this year's ICLP are to be held in Eilat (Israel) on June 14-15, preceeding the conference. Please send all correspondence to: Kim Marriot (kimbal@ibm.com) IBM T.J. Watson Research Center P.O. Box 704 Yorktown Heights, NY 10598 U.S.A. Nevin Heintze and Kim Marriot.