| 2021 | 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021 |
| 2021 | A Bunched Logic for Conditional Independence. Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva |
| 2021 | A Complete Axiomatisation for Divergence Preserving Branching Congruence of Finite-State Behaviours. Xinxin Liu, Tingting Yu |
| 2021 | A Compositional Cost Model for the λ-calculus. James Laird |
| 2021 | A Constructive Logic with Classical Proofs and Refutations. Pablo Barenbaum, Teodoro Freund |
| 2021 | A Logic for Locally Complete Abstract Interpretations. Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato |
| 2021 | A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis. Preey Shah, Aman Bansal, S. Akshay, Supratik Chakraborty |
| 2021 | A Quantum Interpretation of Bunched Logic & Quantum Separation Logic. Li Zhou, Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu |
| 2021 | A Relational Theory of Monadic Rewriting Systems, Part I. Francesco Gavazzo, Claudia Faggian |
| 2021 | A distributed operational view of Reversible Prime Event Structures. Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna |
| 2021 | Abstraction in Data Integration. Gianluca Cima, Marco Console, Maurizio Lenzerini, Antonella Poggi |
| 2021 | Alignment Completeness for Relational Hoare Logics. Ramana Nagasamudram, David A. Naumann |
| 2021 | An Algebraic Characterisation of First-Order Logic with Neighbour. Amaldev Manuel, Dhruv Nevatia |
| 2021 | Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. Rob van Glabbeek, Peter Höfner, Ross Horne |
| 2021 | Asynchronous Extensions of HyperLTL. Laura Bozzelli, Adriano Peron, César Sánchez |
| 2021 | Asynchronous Template Games and the Gray Tensor Product of 2-Categories. Paul-André Melliès |
| 2021 | Axiomatizations and Computability of Weighted Monadic Second-Order Logic. Antonis Achilleos, Mathias Ruggaard Pedersen |
| 2021 | Behavioural Preorders via Graded Monads. Chase Ford, Stefan Milius, Lutz Schröder |
| 2021 | Canonical Polymorphisms of Ramsey Structures and the Unique Interpolation Property. Manuel Bodirsky, Bertalan Bodor |
| 2021 | Categorical models of Linear Logic with fixed points of formulas. Thomas Ehrhard, Farzad Jafarrahmani |
| 2021 | Categories of Nets. John C. Baez, Fabrizio Genovese, Jade Master, Michael Shulman |
| 2021 | Combinatorial Proofs and Decomposition Theorems for First-order Logic. Dominic J. D. Hughes, Lutz Straßburger, Jui-Hsuan Wu |
| 2021 | Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning. Matteo Mio, Ralph Sarkis, Valeria Vignudelli |
| 2021 | Commutative Monads for Probabilistic Programming Languages. Xiaodong Jia, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev |
| 2021 | Comonadic semantics for guarded fragments. Samson Abramsky, Dan Marsden |
| 2021 | Complexity Lower Bounds from Algorithm Design. R. Ryan Williams |
| 2021 | Compositional Semantics for Probabilistic Programs with Exact Conditioning. Dario Stein, Sam Staton |
| 2021 | Compositional relational reasoning via operational game semantics. Guilhem Jaber, Andrzej S. Murawski |
| 2021 | Constraint Satisfaction Problems over Finite Structures. Libor Barto, William J. DeMeo, Antoine Mottet |
| 2021 | Continuous One-Counter Automata. Michael Blondin, Tim Leys, Filip Mazowiecki, Philip Offtermatt, Guillermo A. Pérez |
| 2021 | Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics. A. R. Balasubramanian, Timo Lang, Revantha Ramanayake |
| 2021 | Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition. Robin Hirsch, Jas Semrl |
| 2021 | Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2021 | Evidenced Frames: A Unifying Framework Broadening Realizability Models. Liron Cohen, Étienne Miquey, Ross Tate |
| 2021 | Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation. Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo |
| 2021 | Finite Model Theory of the Triguarded Fragment and Related Logics. Emanuel Kieronski, Sebastian Rudolph |
| 2021 | First-Order Reasoning and Efficient Semi-Algebraic Proofs. Fedor Part, Neil Thapen, Iddo Tzameret |
| 2021 | Fixed-Points for Quantitative Equational Logics. Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
| 2021 | Forbidden Induced Subgraphs and the Łoś-Tarski Theorem. Yijia Chen, Jörg Flum |
| 2021 | From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata. Elisabet Burjons, Fabian Frei, Martin Raszyk |
| 2021 | From Multisets over Distributions to Distributions over Multisets. Bart Jacobs |
| 2021 | Fusible numbers and Peano Arithmetic. Jeff Erickson, Gabriel Nivasch, Junyan Xu |
| 2021 | Global Optimisation with Constructive Reals. Dan R. Ghica, Todd Waugh Ambridge |
| 2021 | Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory. Titouan Carette, Marc de Visme, Simon Perdrix |
| 2021 | Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication. Jim de Groot, Tadeusz Litak, Dirk Pattinson |
| 2021 | Higher Lenses. Paolo Capriotti, Nils Anders Danielsson, Andrea Vezzosi |
| 2021 | In search of lost time: Axiomatising parallel composition in process algebras. Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik |
| 2021 | Inapproximability of Unique Games in Fixed-Point Logic with Counting. Jamie Tucker-Foltz |
| 2021 | Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses. Toby Cathcart Burn, Luke Ong, Steven J. Ramsay, Dominik Wagner |
| 2021 | Internal ∞-Categorical Models of Dependent Type Theory : Towards 2LTT Eating HoTT. Nicolai Kraus |
| 2021 | Intersection Type Distributors. Federico Olimpieri |
| 2021 | Lacon- and Shrub-Decompositions: A New Characterization of First-Order Transductions of Bounded Expansion Classes. Jan Dreier |
| 2021 | Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments. Jean Christoph Jung, Frank Wolter |
| 2021 | Lovász-Type Theorems and Game Comonads. Anuj Dawar, Tomas Jakl, Luca Reggio |
| 2021 | Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP. Libor Barto, Zarathustra Brady, Andrei Bulatov, Marcin Kozik, Dmitriy Zhuk |
| 2021 | Monomial size vs. Bit-complexity in Sums-of-Squares and Polynomial Calculus. Tuomas Hakoniemi |
| 2021 | Multi-Structural Games and Number of Quantifiers. Ronald Fagin, Jonathan Lenchner, Kenneth W. Regan, Nikhil Vyas |
| 2021 | No-Rainbow Problem and the Surjective Constraint Satisfaction Problem. Dmitriy Zhuk |
| 2021 | Normalization for Cubical Type Theory. Jonathan Sterling, Carlo Angiuli |
| 2021 | On Generalized Metric Spaces for the Simply Typed Lambda-Calculus. Paolo Pistone |
| 2021 | On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs. Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2021 | On Logics and Homomorphism Closure. Manuel Bodirsky, Thomas Feller, Simon Knäuer, Sebastian Rudolph |
| 2021 | On sequentiality and well-bracketing in the π-calculus. Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi |
| 2021 | On the Expressive Power of Homomorphism Counts. Albert Atserias, Phokion G. Kolaitis, Wei-Lin Wu |
| 2021 | On the logical structure of choice and bar induction principles. Nuria Brede, Hugo Herbelin |
| 2021 | Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata. Mikolaj Bojanczyk, Bartek Klin, Joshua Moerman |
| 2021 | PTAS for Sparse General-Valued CSPs. Balázs F. Mezei, Marcin Wrochna, Stanislav Zivný |
| 2021 | Parameterized Complexity of Elimination Distance to First-Order Logic Properties. Fedor V. Fomin, Petr A. Golovach, Dimitrios M. Thilikos |
| 2021 | Parametricity and Semi-Cubical Types. Hugo Moeneclaey |
| 2021 | Parikh's theorem for infinite alphabets. Piotr Hofman, Marta Juzepczuk, Slawomir Lasota, Mohnish Pattathurajan |
| 2021 | Perspective Multi-Player Games. Orna Kupferman, Noam Shenwald |
| 2021 | Positive First-order Logic on Words. Denis Kuperberg |
| 2021 | Quantitative and Approximate Monitoring. Thomas A. Henzinger, N. Ege Saraç |
| 2021 | Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics. Maciej Gazda, Robert M. Hierons |
| 2021 | Responsibility and verification: Importance value in temporal logics. Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer |
| 2021 | SD-Regular Transducer Expressions for Aperiodic Transformations. Luc Dartois, Paul Gastin, Shankara Narayanan Krishna |
| 2021 | Separating Rank Logic from Polynomial Time. Moritz Lichter |
| 2021 | Session Logical Relations for Noninterference. Farzaneh Derakhshan, Stephanie Balzer, Limin Jia |
| 2021 | Smart Choices and the Selection Monad. Martín Abadi, Gordon D. Plotkin |
| 2021 | Some constructive variants of S4 with the finite model property. Philippe Balbiani, Martín Diéguez, David Fernández-Duque |
| 2021 | Stochastic Processes with Expected Stopping Time. Krishnendu Chatterjee, Laurent Doyen |
| 2021 | Strong Call-by-Value is Reasonable, Implosively. Beniamino Accattoli, Andrea Condoluci, Claudio Sacerdoti Coen |
| 2021 | Supermartingales, Ranking Functions and Probabilistic Lambda Calculus. Andrew Kenyon-Roberts, C.-H. Luke Ong |
| 2021 | Symbolic Time and Space Tradeoffs for Probabilistic Verification. Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil |
| 2021 | The Laplace Mechanism has optimal utility for differential privacy over continuous queries. Natasha Fernandes, Annabelle McIver, Carroll Morgan |
| 2021 | The Logic of Graph Neural Networks. Martin Grohe |
| 2021 | The Smash Product of Monoidal Theories. Amar Hadzihasanovic |
| 2021 | The Space of Interaction. Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni |
| 2021 | The Topological Mu-Calculus: completeness and decidability. Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque |
| 2021 | The Undecidability of System F Typability and Type Checking for Reductionists. Andrej Dudenhefner |
| 2021 | Towards a more efficient approach for the satisfiability of two-variable logic. Ting-Wei Lin, Chia-Hsuan Lu, Tony Tan |
| 2021 | Types Are Internal ∞-Groupoids. Eric Finster, Antoine Allioux, Matthieu Sozeau |
| 2021 | Universal Semantics for the Stochastic λ-Calculus. Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts |
| 2021 | Universal Skolem Sets. Florian Luca, Joël Ouaknine, James Worrell |
| 2021 | Verifying higher-order concurrency with data automata. Alex Dixon, Ranko Lazic, Andrzej S. Murawski, Igor Walukiewicz |
| 2021 | Zero-one laws for provability logic: Axiomatizing validity in almost all models and almost all frames. Rineke Verbrugge |