Two Faces of Complexity
2FC 2011
Sunday, May 29, 2011, Novi Sad, Serbia
Part of RDP'11
http://cl-informatik.uibk.ac.at/events/2fc11/
Overview
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.
Program Chairs
- Georg Moser, University of Innsbruck, Austria
- Andrey Rybalchenko, Technische Universität München, Germany