LICS Test-of-Time Award

E239159

academic award computer science award theoretical computer science award

The LICS Test-of-Time Award is a prestigious honor in theoretical computer science that recognizes papers presented at the Logic in Computer Science (LICS) symposium which have had a lasting and significant impact on the field.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (2)

Label	Occurrences
LICS Test-of-Time Award canonical	4
LICS ToT Award	1

Statements (32)

Predicate	Object
instanceOf	academic award ⓘ computer science award ⓘ theoretical computer science award ⓘ
associatedWith	Proceedings of the IEEE Symposium on Logic in Computer Science ⓘ surface form: IEEE Symposium on Logic in Computer Science Proceedings of the IEEE Symposium on Logic in Computer Science ⓘ surface form: Logic in Computer Science symposium
awardedFor	outstanding LICS conference paper with long-term influence ⓘ
country	international ⓘ
criteria	influence on subsequent research in logic in computer science ⓘ lasting impact on the field ⓘ significant technical contribution ⓘ
domain	automata theory ⓘ computational complexity theory ⓘ formal verification ⓘ logic ⓘ semantics of programming languages ⓘ type theory ⓘ
eligibility	papers presented at previous LICS symposia ⓘ
field	logic in computer science ⓘ theoretical computer science ⓘ
frequency	annual ⓘ
inception	2006 ⓘ
notableType	test-of-time award ⓘ
presentedAt	Proceedings of the IEEE Symposium on Logic in Computer Science ⓘ surface form: Annual IEEE Symposium on Logic in Computer Science
purpose	to recognize papers from past LICS conferences with lasting impact ⓘ
recognizes	enduring relevance of LICS papers ⓘ long-term significance of research results ⓘ
selectionMethod	committee review ⓘ
shortName	LICS Test-of-Time Award self-linksurface differs ⓘ surface form: LICS ToT Award
sponsor	IEEE Computer Society ⓘ IEEE Technical Committee on Mathematical Foundations of Computing ⓘ
typicalTimeLag	at least 10 years after original publication ⓘ
website	https://lics.siglog.org ⓘ

Referenced by (5)

Full triples — surface form annotated when it differs from this entity's canonical label.

Edmund M. Clarke → awardReceived → LICS Test-of-Time Award ⓘ

Moshe Y. Vardi → awardReceived → LICS Test-of-Time Award ⓘ

LICS Test-of-Time Award → shortName → LICS Test-of-Time Award self-linksurface differs ⓘ

this entity surface form: LICS ToT Award

Dexter Kozen → awardReceived → LICS Test-of-Time Award ⓘ

Edmund Melson Clarke Jr. → awardReceived → LICS Test-of-Time Award ⓘ

subject surface form: Edmund M. Clarke