🏠
홈
📊
트렌드
🏆
논문
👤
마이
💬 문의
CS-
Pedia
Trends
Best Papers
Best Papers
/
LICS
LICS Best Papers
ACM/IEEE Symposium on Logic in Computer Science
17 papers · 2020–2026
← LICS Conference Info
🏆
2026
(11)
Best Student Paper Award
Star Complexity of Parikh Images of Languages over Infinite Alphabets
Yoav Danieli
Distinguished Paper Award
A Complexity Bound for Determinisation of Min-Plus Weighted Automata
Shaull Almagor; Guy Arbel; Sarai Sheinvald
Distinguished Paper Award
PVASS Reachability Is Decidable
Roland Guttenberg; Eren Keskin; Roland Meyer
Distinguished Paper Award
Existential Positive Transductions of Sparse Graphs
Nikolas Mählmann; Sebastian Siebertz
Distinguished Paper Award
The Logic of Bunched Implications Is Undecidable
Nikolaos Galatos; Peter Jipsen; Søren Brinck Knudstorp; Revantha Ramanayake
Distinguished Paper Award
Quantum Control and General Recursion Beyond the Unitary Case
Kathleen Barsse; Romain Péchoux; Simon Perdrix
Distinguished Paper Award
Wiring the π-Calculus to Denotational Semantics
Ken Sakayori; Davide Sangiorgi; Simon Castellan; Pierre Clairambault
Distinguished Paper Award
The ∞-Category of ∞-Categories in Simplicial Type Theory
Daniel Gratzer; Jonathan Weinberger; Ulrik Buchholtz
Distinguished Paper Award
Dynamic Planar Graph Isomorphism Is in DynFO
Samir Datta; Asif Khan; Felix Tschirbs; Nils Vortmeier; Thomas Zeume
Test of Time Award
On Model-Checking Trees Generated by Higher-Order Recursion Schemes
Chih-Hao Luke Ong
Test of Time Award
From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata
Nir Piterman
🏆
2025
(1)
Best Student Paper Award
The Steenrod squares via unordered joins
Axel Ljungstrom, David Warn
Topology
🏆
2024
(1)
Best Student Paper Award
Relevant S is Undecidable
Soren Brinck Knudstorp
Logic
🏆
2023
(1)
Best Student Paper Award
The Identity Problem in the special affine group of Z^2
Ruiwen Dong
Algebra
🏆
2022
(1)
Best Student Paper Award
Monoidal Streams for Dataflow Programming
Elena Di Lavore
Dataflow
🏆
2021
(1)
Best Student Paper Award
Separating Rank Logic from Polynomial Time
Moritz Lichter
Logic
🏆
2020
(1)
Best Student Paper Award
Successor-Invariant First-Order Logic on Classes of Bounded Degree
Julien Grange
Logic