NASA Logo, National Aeronautics and Space Administration
Intelligent Systems Division Banner

pocket knife

The Java Pathfinder Workshop 2013

November 12, 2013
in conjunction with ASE 2013 Crown Plaza Canbana in Palo Alto.


Call for Submissions

We solicit submissions for existing research, applications, work in progress, and position papers on topics related to JPF or its extensions. If the underlying research idea has been published in another venue the paper needs to clarify the novel aspects that are being presented in the paper. We also solicit comparative analysis papers that evaluate algorithms in JPF or its extensions with relevant tools. The goal of the workshop is to encourage the flow of ideas relevant to JPF. The papers should be at most 5 pages long in the ACM Proceedings format.
Accepted papers will be published in the Software Engineering Notes (SEN) and the ACM digital library.

Important Dates

  • Abstract Submission Deadline: Aug 28, 2013
  • Full Paper Submission Deadline: Sept 15, 2013 extended
  • Notification of Acceptance: Oct 1, 2012
  • Final Version Submission: Oct 15, 2012

Submission site

Papers can be submitted through easychair .


Program Chairs:
Peter Mehlitz, NASA Ames
Neha Rungta, NASA Ames
Willem Visser, U. Stellenbosch

Program Committee
Cyrille Artho
Marcelo D'Amorim
Dimitra Giannakopoulou
Falk Howar
Eric Mercer
Pavel Parizek
Suzette Person
Franco Raimondi
Nastaran Shafiei
Oksana Tkachuk
Frank Van Breugel
Guowei Yang

First Gov logo
NASA Logo -