Two Faces of Complexity 2011
Sunday, May 29, 2011, Novi Sad, Serbia
Part of RDP'11
The goal of this workshop is to advance the state-of-the-art in the automated analysis of the complexity of programs by cross-community interaction. We want to build a bridge between model-checking (in the large) and rewriting (in the large).
In order to provide the best possible interaction between the different concerned communities, the workshop is centred around invited presentations: two tutorial and 6 technical invited talks. In addition to these, we will invite contributed papers by early researches.
We will soon publish a call for papers from early researchers. Here we look for short papers by early researchers (aka Phd students). The emphasis lies on orginality and interdisplinarity. The papers will be reviewed and accepted papers can be presented in a short slot of 10-15 minutes.
Important Dates
Please register for the workshop via the RDP site.
Andrey Rybalchenko