default search action

combined dblp search
author search
venue search
publication search

ask others

International Workshop on Proof Exchange for Theorem Proving (PxTP)

> 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

7th PxTP@CADE 2021: Virtual Event

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2107-01544
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-01544
Chantal Keller, Mathias Fleury:
Proceedings Seventh Workshop on Proof eXchange for Theorem Proving, PxTP 2021, Pittsburg, PA, USA, July 11, 2021. EPTCS 336, 2021 [contents]

6th PxTP@CADE 2019: Natal, Brazil

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1908-08639
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-08639
Giselle Reis, Haniel Barbosa:
Proceedings Sixth Workshop on Proof eXchange for Theorem Proving, PxTP 2019, Natal, Brazil, August 26, 2019. EPTCS 301, 2019 [contents]

5th PxTP 2017: Brasília, Brazil

- view
- export record
  dblp key:
  - journals/corr/abs-1712-00898
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1712-00898
Catherine Dubois, Bruno Woltzenlogel Paleo:
Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving, PxTP 2017, Brasília, Brazil, 23-24 September 2017. EPTCS 262, 2017 [contents]

4th PxTP@CADE 2015: Berlin, Germany

- view
  authority control:
- export record
  dblp key:
  - journals/corr/KaliszykP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KaliszykP15
Cezary Kaliszyk, Andrei Paskevich:
Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, PxTP 2015, Berlin, Germany, August 2-3, 2015. EPTCS 186, 2015 [contents]

3rd PxTP@CADE 2013: Lake Placid, NY, USA

- view
- export record
  dblp key:
  - conf/cade/2013pxtp
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/2013pxtp
Jasmin Christian Blanchette, Josef Urban:
Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013. EPiC Series in Computing 14, EasyChair 2013 [contents]

2nd PxTP@IJCAR 2012: Manchester, UK

- view
- export record
  dblp key:
  - conf/pxtp/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pxtp/2012
David Pichardie, Tjark Weber:
Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, PxTP 2012, Manchester, UK, June 30, 2012. CEUR Workshop Proceedings 878, CEUR-WS.org 2012 [contents]

1st PxTP@CADE 2011: Wrocław, Poland

- view
- export record
  dblp key:
  - conf/pxtp/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pxtp/2011
Pascal Fontaine, Aaron Stump:
PxTP 2011: First International Workshop on Proof eXchange for Theorem Proving, Wrocław, Poland, August 1, 2011. 2011 [contents]

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.