I have the pleasure to inform you that the paper
"Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library"
(by Roberto Bagnara, Elisa Ricci, Enea Zaffanella, and Patricia M. Hill)
has been accepted for presentation at SAS'02 (the 9th International Static
Analysis Symposium) and inclusion in its proceedings.
Congratulations to all those that have invested their time and energies.
The final version of the paper will soon appear on our Web site
(http://www.cs.unipr.it/ppl/). See http://clip.dia.fi.upm.es/SAS02/ for
more information about SAS'02.
All the best
Roberto
P.S. Watch out: the (revolutionary) release 0.4 of the PPL is imminent!
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it
