[PPL-announce] A cycle of seminars on convex polyhedra and applications
Roberto Bagnara
bagnara at cs.unipr.it
Tue Nov 4 17:29:40 CET 2003
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 at cs.unipr.it
More information about the PPL-announce
mailing list