Since 2021, the LICS program committee selects a number of accepted papers as distinguished papers.
List of all Distinguished Papers
-
LICS 2025, Singapore
A. R. Balasubramanian Dmitry Chistikov Rupak Majumdar
Pushdown Model Checking above the Cubic BottleneckMore Information...Corentin Bodart Ruiwen Dong
The Identity Problem in virtually solvable matrix groups over algebraic numbersMore Information...Filippo Bonchi Elena Di Lavore Mario Román
Effectful Mealy Machines: Bisimulation and TraceMore Information...Lorenzo Clemente
The commutativity problem for effective varieties of formal series, and applicationsMore Information...Daniel Gratzer Jonathan Weinberger Ulrik Buchholtz
The Yoneda embedding in simplicial type theoryMore Information...Tom de Jong Nicolai Kraus Fredrik Nordvall Forsberg Chuangjie Xu
Ordinal Exponentiation in Homotopy Type TheoryMore Information...Dominik Kirst Haoyi Zeng
The Blurred Drinker Paradox: Constructive Reverse Mathematics of the Downward Löwenheim-Skolem TheoremMore Information...Axel Ljungström David Wärn
The Steenrod squares via unordered joins [Kleene Award]More Information...Christof Löding Igor Walukiewicz
Minimal History-Deterministic Co-Büchi Automata: Congruences and Passive LearningMore Information...Sam M. Thompson Nicole Schweikardt Dominik D. Freydenberger
Characterization and Decidability of FC-Definable Regular LanguagesMore Information... -
LICS 2024, Tallinn, Estonia
Valérie Berthé Toghrul Karimov Joris Nieuwveld Joël Ouaknine Mihir Vahanwala James Worrell
On the Decidability of Monadic Second-Order Logic with Arithmetic PredicatesMore Information...Miroslav Chodil Antonín Kučera
The Finite Satisfiability Problem for PCTL is UndecidableMore Information...Eren Keskin Roland Meyer
On the Separability Problem of VASS Reachability LanguagesMore Information... -
LICS 2023, Boston, USA
Libor Barto Bertalan Bodor Marcin Kozik Antoine Mottet Michael Pinsker
Symmetries of Graphs and Structures that Fail to Interpret a Finite ThingMore Information...Mathieu Huot Alexander K. Lew Vikash K. Mansinghka Sam Staton
ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable ProgramsMore Information...Vasileios Koutavas Yu-Yang Lin Nikos Tzevelekos
Fully Abstract Normal Form Bisimulation for Call-by-Value PCFMore Information...Axel Ljungström Anders Mörtberg
Formalizing π4(S3) ≅Z/2Z and Computing a Brunerie Number in Cubical AgdaMore Information...Ken Sakayori Davide Sangiorgi
Extensional and Non-extensional Functions as ProcessesMore Information... -
LICS 2022, Haifa, Israel
Jakub Gajarský Michal Pilipczuk Szymon Toruńczyk
Stable graphs of bounded twin-widthMore Information...Edon Kelmendi
Computing the Density of the Positivity Set for Linear Recurrence SequencesMore Information...Elena Di Lavore Giovanni de Felice Mario Román
Monoidal Streams for Dataflow Programming [Kleene Award]More Information...Moritz Lichter Pascal Schweitzer
Choiceless Polynomial Time with Witnessed Symmetric ChoiceMore Information...Junyi Liu Li Zhou Gilles Barthe Mingsheng Ying
Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum ProgramsMore Information...Thomas Place
The amazing mixed polynomial closure and its applications to two-variable first-order logicMore Information... -
LICS 2021, Rome, Italy
Jan Dreier
Lacon- and Shrub-Decompositions: A New Characterization of First-Order Transductions of Bounded Expansion ClassesMore Information...Jamie Tucker-Foltz
Inapproximability of Unique Games in Fixed-Point Logic with Counting [Kleene Award]More Information...