Two Faces of Complexity

2FC 2011

Sunday, May 29, 2011, Novi Sad, Serbia
Part of RDP'11



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