Redirecting you to http://eatcs.org/index.php/component/content/article/1-news/1243-presburger-award-2012