Two Faces of Complexity
In recent years there have been several approaches to the automated analysis of the complexity of programs. Mostly these approaches have been developed independently and use a variety of different techniques. This workshop aims to bring together the leading researchers working in this area. In particular we are interested in a transfer of knowledge between researchers working on model-checking and on rewriting. While these communities essentially solve the same problems the techniques (and sometimes even the terminology) used is quite different.
The goal is to advance the state-of-the-art in the automated analysis of the complexity of programs by cross-community interaction.
More information can be found here.
- Georg Moser, University of Innsbruck, Austria
- Andrey Rybalchenko, Technische Universität München, Germany