[pypy-dev] [Fwd: CfP: Bytecode05, Edinburgh, Scotland, UK, April 9, 2005]

Grégoire Dooms dooms at info.ucl.ac.be
Tue Oct 5 14:32:31 CEST 2004

                           Call for Papers

                         The first Workshop on
     Bytecode Semantics, Verification, Analysis and Transformation

     April 9, 2005, Edinburgh, Scotland (co-located with ETAPS'05)

- Aims and Scope of the Workshop:

Bytecode, such as produced by e.g. Java and .NET compilers, has become a
topic of interest, both for industry and academia. The industrial
interest mainly stems from the fact that bytecode is typically used in
critical environments, such as the Internet and smart cards. Moreover,
an important characteristic for bytecode is that it is
device-independent and allows dynamic loading of classes. For
researchers that wish to apply formal methods to bytecode, this dynamic
nature of bytecode provides an extra challenge. In addition, also the
unstructuredness of the code and the pervasive presence of the stack
provide extra challenges for the analysis of bytecode.
This workshop will focus on the latest developments in the semantics,
verification, analysis and transformation of bytecode. Both new
theoretical results and tool demonstrations are welcome.

- Program Committee:

* Frederic Besson, IRISA, France
* Etienne Gagnon, Universite du Quebec a Montreal, Canada
* Marieke Huisman, INRIA Sophia Antipolis, France
* Fausto Spoto, Universita di Verona, Italy (chair)
* Don Syme, Microsoft Research, UK

- Invited Speaker:

* Xavier Leroy, INRIA Rocquencourt & Trusted Logic, France

- Important Dates:

* December 19, 2004: Paper submissions
* January 16, 2005: Notifications to authors
* January 30, 2005: Camera-ready
* April 9, 2005: Workshop

- Paper Submissions:

Submissions will be evaluated by the Program Committee for inclusion
in the proceedings, which will be available at the time of the workshop.
Papers should be no longer than 15 pages. They must contain original
contributions, be written in English and be unpublished and not
submitted simultaneously for publication elsewhere. They should be
submitted electronically, preferably as postscript or PDF files, to
fausto.spoto at univr.it providing also a text-only abstract, and detailed
contact information of the corresponding author. Proceedings are
intended to be published in the ENTCS series (information for authors
can be found at
Thus, adhering to that style already in the submission phase is strongly

- Venue:

The workshop will be held in Edinburgh, Scotland, UK, and co-located
with ETAPS'05.

mozart-users mailing list                               mozart-users at ps.uni-sb.de

     You are invited to The 2nd International Mozart/Oz Conference (MOZ 2004)
Charleroi, Belgium, Oct. 7-8, 2004                    http://www.cetic.be/moz2004

More information about the Pypy-dev mailing list