[ We apologize for multiple copies ] Call for Papers First International Workshop on Abstract Interpretation of Object-oriented Languages (AIOOL'05) Paris, 21st January 2005 (http://www.stix.polytechnique.fr/~logozzo/WEB/Aiool.html) * 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: * Abstract Interpretation * Abstract Domains for the analysis of Object-oriented Languages * Bytecode Analysis and Optimization * Semantics of Object-oriented Languages * Static Analysis of Object-oriented Languages * Verification * Publications 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 or pdf format to Francesco.Logozzo@Polytechnique.fr * Location The workshop will be held in Paris, France, at "La Maison des Polytechniciens" (http://www.maison-des-x.com/), as a satellite event of the 6th International Conference on Verification, Model Checking and Abstract Interpreation (http://www.stix.polytechnique.fr/~rcousot/vmcai05/). * Dates Submission 20 November 2004 Acceptance Notification 20 December 2004 Workshop 21 January 2005 * Program Committee * Bruno Blanchet, CNRS/ENS, Paris, France * Bor-Yuh Evan Chang, University of California, Berkeley, USA * Agostino Cortesi (co-chair), Universit� Ca' Foscari, Venice, Italy * Thomas Jensen, IRISA/CNRS, Rennes, France * K. Rustan M. Leino, Microsoft, Redmond, USA * Francesco Logozzo (co-chair), Ecole Polytechnique/ENS, Palaiseau, France * Jens Palsberg, University of California, Los Angeles, USA * Isabelle Pollet, University of Namur, Namur, Belgium * Michael I. Schwartzbach, University of �rhus, �rhus, Denmark * Jan Vitek, Purdue University, Purdue, USA