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@bugseng.com, and ppl-devel@bugseng.com.

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 .