Parma Seminars on Convex Polyhedra: 2003-2004
The Computer Science Group at the University
of Parma is organizing a cycle of seminars with topics related to the
theory that underpins the Parma Polyhedra Library. The seminars
advertised here as well as on the Computer Science Group’s Seminars
page will be announced by means of
the mailing lists
ppl-announce@cs.unipr.it,
ppl-devel@cs.unipr.it,
and
seminars@cs.unipr.it.
If you need further information about the seminars, advice about travelling to Parma, information about accomodation in Parma, or if you are working on related topics and would like to contribute by giving a seminar, please contact us.
Material for self-study will be made available for students and other interested people. Final exams and/or projects on the topics covered in the seminars can be provided on request. Contact us for details.
Seminars Schedule
November 18, 2003
: Dr. Fabio Torrisi
Inner and Outer Approximations of Polytopes Using
Boxes .
November 18, 2003
: Dr. Fabio Torrisi
Convexity Recognition of the Union of Polyhedra .
November 19, 2003
: Dr. Patricia M. Hill
Discrete Numerical Domains for the Analysis of
Software .
December 10, 2003
: Dr. Fausto Spoto
JULIA: A Static Analyser for the Java
Bytecode .
December 11, 2003
: Prof. Roberto Bagnara
Convex Polyhedra for the Analysis and Verification of Hardware
and Software Systems: the “Parma Polyhedra Library” .
December 11, 2003
: Dr. Enea Zaffanella
New Widening Operators for Convex Polyhedra .
February 26, 2004
: Prof. Roberto Bagnara
Representation and Manipulation of Not Necessarily Closed Convex Polyhedra .
February 26, 2004
: Dr. Enea Zaffanella
Widenings for Powerset Domains with Applications to Finite Sets of Polyhedra .