LICS 2025 Distinguished Paper Award

Nordvall Forsberg, Fredrik (Recipient), de Jong, Tom (Recipient), Kraus, Nicolai (Recipient) & Xu, Chuangjie (Recipient)

Computer And Information Sciences
SICSA
Mathematically Structured Programming

Prize: Prize (including medals and awards)

Description

"Around 10% of accepted papers will be selected as distinguished papers. These are papers that, in the view of the LICS program committee, make exceptionally strong contribution to the field and should be read by a broad audience due their relevance, originality, significance and clarity."

Awarded date	6 Jun 2025
Degree of recognition	International

Awarded at event

Event title	40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '25)
Location	Singapore, Singapore, SingaporeShow on map
Period	23 Jun 2025 → 26 Jun 2025

LICS 2025 Distinguished Paper Award

Description

Awarded at event

Related content

Research output

Ordinal exponentiation in homotopy type theory