1st International Workshop on

Abstract Interpretation of Object-Oriented Languages

January 21, 2005   :   Paris, France

Maison des Polytechniciens
(The conference venue is a private place, only registered participants will have access to the conference.)

Aiool logo


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[point]Logozzo[arobase]polytechnique [point]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).


Abstract Submission: 20 November 2004
Complete Paper Submission: 27 November 2004
Acceptance Notification: 20 December 2004
Workshop: 21 January 2005

Program Committee

Panoram de Paris 360

Contact: Francesco[point]Logozzo[arobase]polytechnique [point]fr
Last modified: Friday December 17, 2004
Valid XHTML 1.1! Valid CSS!


Conference venue Invited speakers Invited tutorial Program Call for papers Committees Registration available Sponsors Publication LNCS 3385

Affiliated events

Industrial Day NSAD Workshop AiooL Workshop


Accommodations Subway (map, itinary,...) Weather Maps