• 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



Superordinated page: Automatic Reasoning Group
Homepage of the Automatic Reasoning Group [more ...]
Feedback for this Page
Email to the person in charge of this page (stan@informatik.uni-kl.de) [more ...]