TAP: Tests and Proofs

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2023 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
TAP 2022 Tests and Proofs
Jul 4, 2022 - Jul 8, 2022 Nantes, France TBD
TAP 2021 Tests and Proofs
Jun 21, 2021 - Jun 25, 2021 Bergen, Norway Mar 8, 2021 (Mar 1, 2021)
TAP 2018 12th International Conference on Tests And Proofs
Jun 27, 2018 - Jun 29, 2018 Toulouse Mar 11, 2018 (Mar 5, 2018)
TAP 2016 Tests & Proofs
Jul 5, 2016 - Jul 7, 2016 Vienna, Austria Feb 5, 2016 (Jan 29, 2016)
TAP 2015 9th International Conference on Tests & Proofs TAP 2015
Jul 20, 2015 - Jul 24, 2015 L'Aquila, Italy Feb 20, 2015 (Feb 13, 2015)
TAP 2014 8th International Conference on Tests And Proofs
Jul 24, 2014 - Jul 25, 2014 York, United Kingdom Mar 1, 2014 (Feb 25, 2014)
TAP 2011 5th International Conference on Tests & Proofs
Jun 30, 2011 - Jul 1, 2011 Zurich Feb 11, 2011 (Feb 4, 2011)
 
 

Present CFP : 2022

[Empty]
 

Related Resources

IEEE DApps - ZKP 2022   IEEE DApps - Special Session “Verifiable Off-Chain Computations using Zero-Knowledge Proofs – A DApp Perspective”
CPP 2023   Certified Programs and Proofs 2023
PROOFS 2022   11th International Workshop on Security Proofs for Embedded Systems
Fashion AI 2022   CFP for IEEE AI Tests 2022 : CFP : The IEEE 8th International Conference On Artificial Intelligence Testing (AITest 2022)
CPP 2022   Certified Programs and Proofs (CPP) 2022