The D-CON is drawing closer. It is a conference about distributed computing organized by the chair i7 (essentially, us; specifically, Stefan Jaax and Philipp Meyer) from the 14th to the 15th of March. The two invited talks are by Filip Mazowiecki about the reachability problem for Petri nets being not Read more…
We are very happy to announce the acceptance of the paper “Computing the Expected Execution Time of Probabilistic Workflow Nets” by Philipp Meyer, Philip Offtermatt and Javier Esparza at the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’19) of the European Joint Conferences on Read more…
We just published version 0.1 of our tool peregrine with new features. There even is an online demo for you to try out so you can simulate and verify population protocols in your browser!
The PaVeS-Group is very happy to welcome Mikhail Raskin in its midst! He has diverse previous experience (both theoretical and applied), and often uses combinatorial and probabilistic constructions to prove theoretical CS statements.
The PaVeS-Group is happy to announce two talks by Blaise Genest: the first one is held today (22nd November 2018) at 16:00 in the room 00.09.038 and bears the title Controlling a Population. The second one is held at the 26th November 2018 at 14:00 in the room 00.12.019 and Read more…
The PaVeS-Group is very happy to announce that Javier Esparza is member of the Program Committe for Petri Nets ’19 as well as Verification, Model Checking, and Abstract Interpretation ’19.
Today the PaVeS group founded the tradition of regular meetings. Additionally, we are very happy to officially welcome our student assistants Philip and Martin in PaVeS whom will acompany us through this research-adventure! To the latter we already owe this very webpage.
The D-CON meeting 2019 will take place at the TUM in Garching from March 14-15, 2019.
29 October 2018, 2 PM
TUM MI 00.12.019
Program Invariants
(more…)
10 October 2018, 4 PM
Mendel Museum in Brno
Black Ninjas in the Dark: Analyzing Population Protocols
(more…)