2017 Kleene award
Abstract
The LICS conference presents the Kleene Award annually to the best student paper or papers accepted for presentation at LICS that year. This year there were five eligible student papers accepted to LICS 2017. The program committee selected Amina Doumane for the 2017 Kleene Award for her paper "Constructive completeness for the linear-time mu-calculus".
Recommendations
2017 M&SOM Meritorious Service Award
The continued success of Manufacturing & Service Operations ManagementM&SOM depends on the volunteer work of many professionals who take their precious time to provide careful and constructive reviews of the manuscripts submitted to the journal in a ...
Outstanding Service Award
SIGGRAPH '18: ACM SIGGRAPH 2018 AwardsFor his long-term, visionary, and dedicated service ACM SIGGRAPH recognizes Scott Owen with the 2018 Outstanding Service Award. He has been a Director on the Executive Committee, SIGGRAPH Conference Chair, SIGGRAPH Conference Advisory Group (CAG) Chair, ...
Comments
Information & Contributors
Information
Published In
July 2017
79 pages
Copyright © 2017 Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 28 July 2017
Published in SIGLOG Volume 4, Issue 3
Check for updates
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 30Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Reflects downloads up to 25 Feb 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in