1st International Workshop on
Abstract Interpretation of Object-Oriented Languages

January 21, 2005
Paris, France

Goal

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. Participants are encouraged to present work in progress, overviews of more extensive work, reports of practical experiences and programmatic/position papers.

Topics

Topics include, but are not limited to:

Publication

The authors are invited to submit an extended abstract (up to 10 pages) of their work in the ENTCS format (available here). Publication of the Proceedings of the workshop in the series Electronic Notes in Theoretical Computer Science is anticipated. Submission must be done in postscript of pdf format to Francesco.Logozzo@Polytechnique.fr .

Location

The workshop will be hold in Paris, France, at "La Maison des Polytechniciens", as a satellite event of the 6th International Conference on Verification, Model Checking and Abstract Interpreation (VMCAI'05).

Dates

Submission: 20 November 2004
Acceptance Notification: 20 December 2004
Workshop: 21 January 2005

Program Committee


Last modified: Mon Oct 18 11:46:06 CEST 2004