ICLP7 Abstract Interpretation W'shop

Article View: comp.lang.prolog

Article #4254

#4254

From: Nevin Heintze
Date: Tue, 06 Mar 1990 22:56

24 lines
1368 bytes

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.

Technical Details

Message-ID: <8317@pt.cs.cmu.edu>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!tut.cis.ohio-state.edu!pt.cs.cmu.edu!PROOF.ERGO.CS.CMU.EDU!nch

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!tut.cis.ohio-state.edu!pt.cs.cmu.edu!PROOF.ERGO.CS.CMU.EDU!nch
From: nch@PROOF.ERGO.CS.CMU.EDU (Nevin Heintze)
Newsgroups: comp.lang.prolog
Subject: ICLP7 Abstract Interpretation W'shop
Message-ID: <8317@pt.cs.cmu.edu>
Date: 6 Mar 90 22:56:03 GMT
Reply-To: nch@proof.ergo.cs.cmu.edu (Nevin Heintze)
Organization: Carnegie-Mellon University, CS/RI
Lines: 24