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

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

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!
ACM

VMCAI'05

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

Paris

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

Links

VMCAI'04VMCAI'03
EAPLS