1st International Workshop on
January 21, 2005
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.
TopicsTopics 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|