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.
Research visit of Ahmed Bouajjani in June and July
The PaVeS people are excited to host Ahmed Bouajjani on a research visit to the Chair of theoretical computer science of the Technical University of Munich.