[isabelle] BYTECODE09: 1st Call for Papers

        ********************************************************
        *                 1st Call for Papers                  *
        *                                                      *
        *         Fourth Workshop on Bytecode Semantics,       *
        *       Verification, Analysis and Transformation      *
        *                                                      *
        *     York, UK, 29th March 2009, part of ETAPS 2009    *
        *                                                      *
        *           Venue:   The University of York            *
        *                                                      *
        * http://www.clip.dia.fi.upm.es/Conferences/BYTECODE09 *
        *                                                      *
        ********************************************************


Important Dates
===============

Paper Submission 	December 21, 2008
Notification 	   	January 25, 2009
Final Version 	   	February 8, 2009
Workshop 	   	March 29, 2009

Workshop Description
====================

Bytecode, such as produced by e.g. .Net and Java compilers, has become
an important  topic of interest,  both for industry and  academia. The
industrial  interest stems from  the fact  that bytecode  is typically