General
Karp Distinguished Lectures
At March, 31st 2021 Javier Esparza held a Richard M. Karp Distinguished Lecture titled Back to the Future: A Fresh Look at Linear Temporal Logic.
Conference
Marijana Lazić in the Program Committee of CAV’21
The PaVeS group is proud to announce that our member Marijana Lazić is part of the Program Committee of CAV’21.
Conference
PaVeS at RP’20
The PaVeS group; namely, Chana Weil-Kennedy and Mikhail Raskin, published in RP’20 their paper Efficient Restrictions of Immediate Observation Petri Nets.
Conference
PaVeS at FoSSaCS
The PaVeS group contributes to three papers in FoSSaCS’21: Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy by A. R. Balasubramanian, Javier Esparza and Mikhail Raskin, Runtime Analysis of Broadcast Consensus Protocols by Stefan Jaax and Philipp Czerner Certifying Inexpressibility by Orna Kupermann and Salomon Sickert
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“.
Conference
Accepted paper at VMCAI’2021
The PaVeS group is happy to announce that the joint work of Marijana Lazić with Nathalie Bertrand and Josef Widder “A Reduction Theorem for Randomized Distributed Algorithms under Weak Adversaries” was accepted at VMCAI’2021.
Team
New PaVeS team member: Philipp Czerner
We are very happy to welcome our newest PhD student Philipp Czerner to the PaVeS team.
Conference
Marijana Lazić organizes FRIDA workshop
The PaVeS group is proud to announce that our member Marijana Lazić organizes the FRIDA’20 workshop which is part of QONFEST’20.
Conference
Publication of CAV’20 contribution
The paper “Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling” by Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kučera and Philipp J. Meyer is now published in the proceedings of CAV’20.
Conference
PaVeS at CONCUR
The PaVeS project contributes to CONCUR’20 with three articles: “Flatness and Complexity of Immediate Observation Petri Nets” by Chana Weil-Kennedy, Javier Esparza and Mikhail Raskin, “A Classification of Weak Asynchronous Models of Distributed Computing” by Fabian Reiter and Javier Esparza, and “Characterizing consensus in the Heard-of model” by Balasubramanian A. Read more…
