[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