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

T. van Dijk and S. Junges visit ISCAS

andreaDecember 30, 2015December 30, 2015 Visit

Tom van Dijk, from U.Twente, and Sebastian Junges, from RWTH, attend SETTA 2015 in Nanjing from Nov. 02 to Nov. 05, 2015; then they visit ISCAS until Nov. 15.

  • ← B. Braitling meets ISCAS peers at SETTA’15
  • Paper accepted in LATA’16 →

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