PaVeS
  • Home
  • News
  • Publications
    • Publication List
    • Previous Work
  • Tools
    • Peregrine
      • Demo
  • Team
    • Former Team Members
  • Internal
  • Contact

Social

General

Heinz Schwärtzel award for Dr. Salomon Sickert

The PaVeS group is very proud to announce that Dr. Salomon Sickert will receive the Heinz Schwärtzel Award for his PhD thesis “A Unified Translation of Linear Temporal Logic to ω-Automata“.

By Christoph Welzel, 3 months3 months ago
General

Erfolg auch in Kaffeepausen

Today, as for the last several Tuesdays, the chairs i2 and i7 celebrated a joint coffee break. This time Chana took this picture of the cake present which we are proud to present!

By Christoph Welzel, 1 year1 year ago
News
  • Marijana Lazić in the Program Committee of CAV’21 February 25, 2021
  • PaVeS at RP’20 February 8, 2021
  • PaVeS at FoSSaCS February 8, 2021
Archives
Categories
  • Home
  • News
  • Publications
  • Tools
  • Internal
  • Contact
Hestia | Developed by ThemeIsle