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“.
We are very happy to welcome our newest PhD student Philipp Czerner to the PaVeS team.
The PaVeS group is proud to announce that our member Marijana Lazić organizes the FRIDA’20 workshop which is part of QONFEST’20.
There are good news to be announced for the 1st quarter of 2020: The paper “An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata” by Salomon Sickert and Javier Esparza was Read more…