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/

Programme

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