 |
Information
Starts: 21.12.2005 00:00
Ends: 21.12.2005 00:00
Location:
Paris
France
Promoter
| Name | Not available | |
| Website | www.stix.polytechnique.fr |
Description
Contact Person : Agostino Cortesi; Last Date for the submission of abstract : Not Available ; Description : The goal of AIOOL is to bring together
researchers interested in the application of
abstract intepretation techniques to the
analysis, the optimization and the verification
of object-oriented languages.