International Workshop on Proof Exchange for Theorem Proving (PxTP)

Venue statistics

records by year

document access 

    frequent authors

      7th PxTP@CADE 2021: Virtual Event

      6th PxTP@CADE 2019: Natal, Brazil

      5th PxTP 2017: Brasília, Brazil

      4th PxTP@CADE 2015: Berlin, Germany

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

      2nd PxTP@IJCAR 2012: Manchester, UK

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

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics