JPF Workshops

Jump to bottom

Reed Milewicz edited this page May 8, 2018 · 4 revisions

JPF Workshop

The JPF workshop is an annual conference for the presentation of existing research, applications, work in progress, and position papers on topics related to JPF or its extensions. The 2017 JPF workshop will be held in conjunction with the ASE 2017 conference in Urbana-Champaign, IL, on November 3, 2017.

History

2018 JPF Workshop in Lake Buena Vista, FL.

2017 JPF Workshop in Urbana-Champaign, IL.

2016 JPF Workshop in Seattle, WA.

2015 JPF Workshop in Lincoln, NE.

2014 JPF Workshop in Salt Lake City, UT.

2013 JPF Workshop in Palo Alto, CA.

2012 JPF Workshop in Cary, NC.

2011 JPF Workshop in Lawrence, KS.

2008 JPF Workshop in Sunnyvale, CA.

Want to contribute to this Wiki?

Please contact us by creating an issue. We are trying to fix the process below, which no longer works.

Fork it and send a pull request.