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

  • Early registration deadline: April 10, 2011
    Please register for the workshop via the RDP site.
  • Submission of student papers: April 30, 2011
  • Notification of acceptance: May 9, 2011
  • Registration deadline: May 10, 2011
  • Georg Moser
    Andrey Rybalchenko