[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

International Conference on Certified Programs and Proofs (CPP)

Venue statistics

records by year

document access 

    frequent authors

      CPP 2024: London, UK

      CPP 2023: Boston, MA, USA

      CPP 2022: Philadelphia, PA, USA

      CPP 2021: Virtual Event, Denmark

      CPP 2020: New Orleans, LA, USA

      CPP 2019: Cascais, Portugal

      CPP 2018: Los Angeles, CA, USA

      CPP 2017: Paris, France

      CPP 2016: Saint Petersburg, FL, USA

      CPP 2015: Mumbai, India

      CPP 2013: Melbourne, Victoria, Australia

      CPP 2012: Kyoto, Japan

      CPP 2011: Kenting, Taiwan