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

January 21, 2005
Paris, France


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 include, but are not limited to:


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 .


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).


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