• The 16-th International Conference on Reachability Problems 2022 is hosted in Kaiserslautern.
    • RP2022
  • We started a new exciting seminar series cervera joint with Embedded Systems Group, ML Group, PL Group, and MPI.
  • (Oct'19) We thank Max-Planck Fellowship for starting their support for five years



Übergeordnete Seite: Automatic Reasoning Group
Homepage der Automatic Reasoning Group [mehr ...]
Feedback zu dieser Seite
Email an den Verantwortlichen dieser Seite (stan@informatik.uni-kl.de) [mehr ...]