Call for contributions: VAMP'09

[Christian Haack-2]

              Call for Contributions: VAMP 2009

           2nd Workshop on Verification and Analysis
             of Multi-threaded Java-like Programs

                     Part of ETAPS 2009

             York, United Kingdom, March 28, 2009

              http://www.cs.ru.nl/~chaack/VAMP09

SCOPE

The VAMP workshop provides a forum for researchers interested in
verification and analysis of multi-threaded Java-like programs. It
aims to bring together practically minded tool builders and
theoretically minded concurrency researchers who are interested in
verification and analysis techniques for Java-like languages. Topics
of interest include but are not limited to (where MJLL stands for
multi-threaded Java-like languages):

     * program logics for MJLL
     * automatic verification and static analysis techniques for MJLL
     * type-based verification for MJLL
     * software model checking for MJLL
     * specification techniques for MJLL
     * formal semantics for MJLL
     * formalizations of the Java memory model
     * race condition detection, deadlock detection, etc.
     * static analysis for bug discovery

CONTRIBUTIONS

We invite full papers of up to 15 pages in ENTCS-style format, and
short papers of up to 6 pages that raise interesting issues for
discussion. Papers should be submitted electronically following the
instructions on the workshop webpage. They will be refereed by the
program committee. We will prepare preliminary proceedings for the
workshop and, if there is a sufficient number of good submissions and
sufficient interest among the contributors, post-workshop proceedings
can be published in the Electronic Notes in Theoretical Computer
Science (ENTCS).

IMPORTANT DATES

Paper submission: Wednesday, 17 Dec, 2008
Notification date: Wednesday, 28 January, 2009
Version for the preliminary proceedings: Friday, 6 February, 2009
Workshop: Saturday, 28 March, 2009

PROGRAM COMMITTEE

David Aspinall      University of Edinburgh, U.K.
John Boyland        University of Wisconsin at Milwaukee, U.S.A.
Christian Haack     Radboud Universiteit Nijmegen, The Netherlands
Marieke Huisman     University of Twente, The Netherlands
Bart Jacobs         Katholieke Universiteit Leuven, Belgium
Joe Kiniry          University College Dublin, Ireland
Doug Lea            State University of New York at Oswego, U.S.A.
Matthew Parkinson   University of Cambridge, U.K.
Corina Pasareanu    NASA Ames, U.S.A.
Erik Poll           Radboud Universiteit Nijmegen, The Netherlands
Shaz Qadeer         Microsoft Research Redmond, U.S.A.
Martin Steffen      University of Oslo, Norway

ORGANIZERS

Christian Haack     Radboud Universiteit Nijmegen, The Netherlands
Marieke Huisman     University of Twente, The Netherlands
Joe Kiniry          University College Dublin, Ireland
Erik Poll           Radboud Universiteit Nijmegen, The Netherlands

If you have questions, please send e-mail to chaack@....

-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
Jmlspecs-interest mailing list
Jmlspecs-interest@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-interest