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
