skip to main content
research-article

2017 LICS test-of-time award

Published:28 July 2017Publication History
Skip Abstract Section

Abstract

To acknowledge the long-term, foundational nature of papers appearing in LICS, the Test-of-Time Award is now awarded every year to the paper or papers that were published in LICS twenty years ago and that have "stood the test of time." The Test-of-Time Award Committee consisting of Christel Baier, Amy Felty (chair), Andrew Pitts and Nicole Schweikardt made two awards in 2017 to honor outstanding papers from the 12th IEEE Symposium on Logic in Computer Science, held 1997 in Warsaw, Poland:

Recommendations

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Sign in

Full Access

  • Published in

    cover image ACM SIGLOG News
    ACM SIGLOG News  Volume 4, Issue 3
    July 2017
    79 pages
    EISSN:2372-3491
    DOI:10.1145/3129173
    Issue’s Table of Contents

    Copyright © 2017 Author

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 28 July 2017

    Check for updates

    Qualifiers

    • research-article
  • Article Metrics

    • Downloads (Last 12 months)2
    • Downloads (Last 6 weeks)0

    Other Metrics

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader