Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

ACM SIGPLAN Workshop on Programming Languages meets Program Verification (PLPV)

> Home > Conferences and Workshops

Venue statistics

records by year

document access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

frequent authors

Venue Information

is part of (since 2009): ACM-SIGACT Symposium on Principles of Programming Languages (POPL)
is part of (2007): ACM SIGPLAN International Conference on Functional Programming (ICFP)
is part of (2006): International Joint Conference on Automated Reasoning (IJCAR)

PLPV 2014: San Diego, CA, USA

- view
- export record
  dblp key:
  - conf/plpv/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/2014
Nils Anders Danielsson, Bart Jacobs:
Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, PLPV 2014, January 21, 2014, San Diego, California, USA, Co-located with POPL '14. ACM 2014, ISBN 978-1-4503-2567-7 [contents]

7th PLPV@POPL 2013: Rome, Italy

- view
- export record
  dblp key:
  - conf/plpv/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/2013
Matthew Might, David Van Horn, Andreas Abel, Tim Sheard:
Proceedings of the 7th Workshop on Programming languages meets program verification, PLPV 2013, Rome, Italy, January 22, 2013. ACM 2013, ISBN 978-1-4503-1860-0 [contents]

6th PLPV@POPL 2012: Philadelphia, Pennsylvania, USA

- view
  - table of contents in dblp
  - no references & citations available
- export record
  dblp key:
  - conf/plpv/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/2012
Koen Claessen, Nikhil Swamy:
Proceedings of the sixth workshop on Programming Languages meets Program Verification, PLPV 2012, Philadelphia, PA, USA, January 24, 2012. ACM 2012, ISBN 978-1-4503-1125-0 [contents]

5th PLPV@POPL 2011: Austin, TX, USA

- view
  - table of contents in dblp
  - no references & citations available
- export record
  dblp key:
  - conf/plpv/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/2011
Ranjit Jhala, Wouter Swierstra:
Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, PLPV 2011, Austin, TX, USA, January 29, 2011. ACM 2011, ISBN 978-1-4503-0487-0 [contents]

4th PLPV@POPL 2010: Madrid, Spain

- view
  - table of contents in dblp
  - no references & citations available
- export record
  dblp key:
  - conf/plpv/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/2010
Jean-Christophe Filliâtre, Cormac Flanagan:
Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, PLPV 2010, Madrid, Spain, January 19, 2010. ACM 2010, ISBN 978-1-60558-890-2 [contents]

3rd PLPV@POPL 2009: Savannah, GA, USA

- view
  - table of contents in dblp
  - no references & citations available
- export record
  dblp key:
  - conf/plpv/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/2009
Thorsten Altenkirch, Todd D. Millstein:
Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009. ACM 2009, ISBN 978-1-60558-330-3 [contents]

PLPV@ICFP 2007: Freiburg, Germany

- view
  authority control:
- export record
  dblp key:
  - conf/plpv/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/2007
Aaron Stump, Hongwei Xi:
Proceedings of the ACM Workshop Programming Languages meets Program Verification, PLPV 2007, Freiburg, Germany, October 5, 2007. ACM 2007, ISBN 978-1-59593-677-6 [contents]

1st PLPV@IJCAR 2006: Seattle, WA, USA

- view
- export record
  dblp key:
  - conf/plpv/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/2006
Aaron Stump, Hongwei Xi:
Proceedings of the Programming Languages meets Program Verification, PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006. Electronic Notes in Theoretical Computer Science 174(7), Elsevier 2007 [contents]

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.