The PaVeS group is proud to announce that our member Marijana Lazić organizes the FRIDA’20 workshop which is part of QONFEST’20.
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“.
