[TYPES/announce] CFP: Verification and Analysis of Multi-threaded Java-like Programs

Christian Haack C.Haack at cs.ru.nl
Mon Apr 30 10:04:05 EDT 2007


              Call for Contributions: Vamp 2007

           1st Workshop on Verification and Analysis
             of Multi-threaded Java-like Programs

             A satellite workshop at Concur 2007

             Lisbon, Portugal, September 3, 2007

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

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 papers of up to 12 pages in ENTCS-style format. Papers must
be submitted electronically following the instructions on the workshop
webpage. The papers 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, post-workshop proceedings will
be published in the Electronic Notes in Theoretical Computer Science
(ENTCS). We also invite short papers of up to 6 pages that may raise
interesting issues for discussion. These will not be included in the
post-proceedings.

IMPORTANT DATES

Paper submission: Friday, 1 June
Notification date: Friday, 6 July
Submission of version for the preliminary proceedings: Friday, 13 July
Submission of final version for ENTCS: Friday, 28 September

PROGRAM COMMITTEE

Stephen Freund		Williams College, U.S.A.
Christian Haack		Radboud Universiteit Nijmegen, The Netherlands
Marieke Huisman		INRIA Sophia Antipolis, France
Bart Jacobs		Katholieke Universiteit Leuven, Belgium
Joe Kiniry		University College Dublin, Ireland
Alexander Knapp		Ludwig-Maximilians-Universität München, Germany
Erik Poll		Radboud Universiteit Nijmegen, The Netherlands
Robby			Kansas State University, U.S.A.

ORGANIZERS

Christian Haack		Radboud Universiteit Nijmegen, The Netherlands
Marieke Huisman		INRIA Sophia Antipolis, France
Joe Kiniry		University College Dublin, Ireland
Erik Poll		Radboud Universiteit Nijmegen, The Netherlands

If you have questions, please send e-mail to chaack at cs.ru.nl.



More information about the Types-announce mailing list