ETAPS 2005
First Workshop on Bytecode Semantics, Verification, Analysis and Transformation
(BYTECODE)
April 9, 2005 - Edinburgh, Scotland, UK          
BYTECODE    2005
   
Workshop
Scope
Call for Papers
  Instructions for Authors
Proceedings
Important Dates
Programme
Contact Information
Committee and Invited Speaker
Venue
Related Events
CC 2005
ESOP 2005
FASE 2005
FOSSACS 2005
TACAS 2005

Instructions for Authors

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@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 here). Thus, adhering to that style already in the submission phase is strongly encouraged.