CAP Project

CAP Project

The CAP Sino-German Project

  • Home
  • Work Packages
    • WP1: Exploiting Modularity and Compositionality
    • WP2: Abstraction-Based Model Reduction
    • WP3: Approaches for Parametrized Systems
  • Partners & People
  • Announcements
  • Publications
  • Deliverables

Partners meet at ATVA’15

andreaDecember 30, 2015December 30, 2015 Uncategorized

Several partners from both Germany and China meet during ATVA 2015 held in Shanghai.

Among them there are J.-P. Katoen from RWTH, H. Hermanns from SAU and L. Zhang from ISCAS.

  • ← Yong Li from ISCAS visits Germany
  • CAP kickoff meeting →

Latest news

  • CAP Workshop in Beijing
  • Paper accepted in IJCAI’18
  • Paper accepted in PLDI’18
  • Paper accepted in VMCAI’18
  • SETTA’17 best paper award

Admin area

  • Log in
Copyright © 2025 CAP Project. Theme by Colorlib Powered by WordPress