Conference
D-CON 2019
The D-CON meeting 2019 will take place at the TUM in Garching from March 14-15, 2019.
Talk
Talk by Joël Ouaknine on Program Invariants at TUM
29 October 2018, 2 PM
TUM MI 00.12.019
Program Invariants
(more…)
Talk
Talk by Prof. Javier Esparza in Brno on Population Protocols
10 October 2018, 4 PM
Mendel Museum in Brno
Black Ninjas in the Dark: Analyzing Population Protocols
(more…)
Team
New people in PaVeS
We welcome 5 new Ph.D. students in the PaVeS team: Stefan Jaax, Philipp Meyer, Christian Müller, Chana Weil-Kennedy, and Christoph Welzel.