{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreiekeptl5u6plpiaepdqb54syl22i2odx3ng4v65nc5psxmktv2yoi",
    "uri": "at://did:plc:4rgrdigiftglskeax4wvmsev/app.bsky.feed.post/3mjxjau2kru42"
  },
  "path": "/2026/04/concur-test-of-time-awards-2026.html",
  "publishedAt": "2026-04-20T21:36:00.000Z",
  "site": "http://processalgebra.blogspot.com",
  "tags": [
    "CONCUR 2026 website",
    "A New Type System for Deadlock-Free Processes",
    "Naoki Kobayashi",
    "Strategy Logic",
    "Krishnendu Chatterjee",
    "Thomas A. Henzinger",
    "Nir Piterman"
  ],
  "textContent": "As annoounced on the CONCUR 2026 website, the 2026 CONCUR Test-of-Time Award Committee, consisting of Anca Muscholl (chair), Javier Esparza and Prakash Panangaden, has selected the following two papers for the 2006-2009 ToT award.\n\n  * CONCUR 2006: \"A New Type System for Deadlock-Free Processes\" by Naoki Kobayashi, and\n  * CONCUR 2007: \"Strategy Logic\" by Krishnendu Chatterjee, Thomas A. Henzinger and Nir Piterman.\n\n\n\nCongratulations to the award recipients and to the CONCUR community as a whole! The award committee made a truly wonderful choice.\n\nBy Luca Aceto",
  "title": "CONCUR Test-of-Time Awards 2026"
}