Conference Calendar: Conference PxTP
|
|
PxTP 2019
Proof Exchange for Theorem Proving 25 Aug 2019 - 26 Aug 2019 (Natal, Brazil) | abstracts: 12 May 2019 | papers: 19 May 2019 | notification: 21 Jun 2019 | | |
|
|
|
PxTP 2013
Proof Exchange for Theorem Proving 10 Jun 2013 - 10 Jun 2013 (Lake Placid, New York) | papers: 11 Apr 2013 | notification: 02 May 2013 | |