In the coming months, we will have a very interesting cycle of seminars on convex polyhedra for the analysis and verification of hardware and software systems. This will be a nice occasion to get (prospective) developers and (potential) users together and to discuss the current and future developments. If you are interested, please bookmark the page http://www.cs.unipr.it/ppl/seminars_2003_2004 which will be used to communicate all the details and updates (no further messages on this subject will be sent to the PPL mailing lists). All the best, Roberto Bagnara -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it