SPIN 2005 Call for Papers 12th International SPIN Workshop on Model Checking of Software August 22-24, 2005, San Francisco, USA (Co-located with CONCUR 2005) http://cm.bell-labs.com/cm/cs/what/spin2005/index.html SPIN 2005 solicits previously unpublished, currently unsubmitted, original contributions addressing theoretical, experimental and applied problems in model checking of software artifacts. Particular topics include: * model-checking based tools, tool extensions and comparative studies * theoretical and algorithmic foundations of model-checking based analysis * combination of model-checking techniques with other analysis techniques * model checking of programming languages and code analysis * techniques for analyzing and testing large and infinite state systems * model checking in the system life-cycle * innovative applications of model checking, including o model checking of object-oriented and component based systems o model checking of security systems o model checking of real-time systems * engineering of model-checking tools and platforms * convincing case studies which apply model-checking to real software systems Submissions will be judged on originality, significance, correctness, and clarity. A submitted paper should clearly express the contribution of the work, both in general and in technical terms. It is essential to identify what was accomplished, describe the significance of the work, and explain how the paper compares with, and improves upon, previous work. Although authors are encouraged to compare their work with existing model checkers such as SPIN, the scope of the workshop is not limited to topics directly related to the SPIN system. We solicit submissions of two categories of papers: Full papers: submissions are limited to 15 pages, and should adhere to Springer Verlag's LNCS format, preferably using LaTeX. The format of the submissions should be either pdf or postscript. Authors who feel it is absolutely necessary to include additional material may place it in a well-marked appendix after page 15, but committee members are under no obligation to review this material. Tool presentations: SPIN 2005 solicits proposals for the demonstration of tools pertinent to the technical objective of this workshop. Proposals should be submitted as a summary of up to 5 pages (using Springer Verlag's LNCS format) which will be included in the workshop proceedings. The title of the summary should clearly indicate that this is a tool demonstration summary. Longer tool-related contributions should be submitted as full papers. Accepted contributions will be included in the workshop proceedings which will be published by Springer Verlag in the Lecture Notes in Computer Science series. Important Dates =============== April 1, 2005 Submission deadline for Abstracts April 8, 2005 Submission deadline for Papers May 16, 2005 Notification of acceptance June 13, 2005 Final version of papers due August 22-24, 2005 SPIN 2005 in San Francisco Invited Speakers: Rajeev Alur (University of Pennsylvania) Dawson Engler (Stanford University) David Wagner (UC Berkeley) Invited Tutorials: Modex/Feaver by Gerard Holzmann and Theo Ruys BLAST by Tom Henzinger, Ranjit Jhala and Rupak Majumdar Java PathFinder by Willem Visser SPIN 2005 web-site: http://cm.bell-labs.com/cm/cs/what/spin2005/index.html Program Chair: Patrice Godefroid (Bell Laboratories, Lucent Technologies) Program Committee: George Avrunin (U. Mass. Amherst, USA) Dennis Dams (Bell Labs, USA) Stefan Edelkamp (U. Dortmund, Germany) Cormac Flanagan (UC Santa Cruz, USA) Jaco Geldenhuys (Tampere U., Finland) Patrice Godefroid (Bell Labs, USA; chair) Susanne Graf (Verimag, France) Gerard Holzmann (NASA JPL, USA) Sarfraz Khurshid (UT Austin, USA) Stefan Leue (U. Konstanz, Germany) Rupak Majumdar (UCLA, USA) Laurent Mounier (Verimag, France) Shaz Qadeer (Microsoft, USA) Theo Ruys (U. Twente, the Netherlands) Willem Visser (NASA Ames, USA) Pierre Wolper (U. Liege, Belgium) Advisory Committee: Gerard Holzmann (NASA JPL, USA; chair) Amir Pnueli (Weizmann Inst., Israel) Steering Committee: Thomas Ball (Microsoft, USA) Susanne Graf (Verimag, France) Stefan Leue (U. Konstanz, Germany) Moshe Vardi (Rice U., USA) Pierre Wolper (U. Liege, Belgium; chair) -- ------------------------------------------------------------------------ Susanne Graf | tel : (+33) (0)4 56 52 03 52 VERIMAG | fax : (+33) (0)4 56 52 03 44 2, avenue de Vignate | http://www-verimag.imag.fr/~graf/ F - 38610 Gieres | e-mail: Susanne.Graf@imag.fr ------------------------------------------------------------------------ 26-Dec-2004 12:18:15 -0400,919;000000000000-00000000