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