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

B. Braitling meets ISCAS peers at SETTA’15

Bettina Braitling, from ALU, meets several peers from ISCAS during SETTA 2015, held in Nanjing from Nov. 02 to Nov. 05, 2015.

andreaDecember 30, 2015December 30, 2015 Uncategorized
Read more

H. Hermanns from SAU visits ISCAS

Holger Hermanns, from SAU, visits ISCAS after the CAP kickoff meeting.

andreaDecember 30, 2015December 30, 2015 Visit
Read more

CAP kickoff meeting

Chinese and German partners meet together for the CAP project kickoff meeting on Oct. 19, 2015.

andreaDecember 30, 2015December 30, 2015 Meeting
Read more

Partners meet at ATVA’15

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.

andreaDecember 30, 2015December 30, 2015 Uncategorized
Read more

Yong Li from ISCAS visits Germany

Yong Li is visiting RWTH and SAU for an intership from Oct. 17, 2015 to Feb. 15, 2016.

andreaDecember 30, 2015 Visit
Read more
  • Next »

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