[TYPES] Call for Papers, AIOOL'05, Paris, 21 Jan 2005

[Francesco Logozzo]

 		   [ 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 at 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