| 2019 | 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019 |
| 2019 | A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness. Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart |
| 2019 | A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics. Renaud Vilmart |
| 2019 | A Probabilistic and Non-Deterministic Call-by-Push-Value Language. Jean Goubault-Larrecq |
| 2019 | A Sequent Calculus for Opetopes. Cédric Ho Thanh, Pierre-Louis Curien, Samuel Mimram |
| 2019 | A Type Theory for Defining Logics and Proofs. Brigitte Pientka, David Thibodeau, Andreas Abel, Francisco Ferreira, Rébecca Zucchini |
| 2019 | A comonadic view of simulation and quantum resources. Samson Abramsky, Rui Soares Barbosa, Martti Karvonen, Shane Mansfield |
| 2019 | A short story of the CSP dichotomy conjecture. Andrei A. Bulatov |
| 2019 | A type theory for cartesian closed bicategories (Extended Abstract). Marcelo Fiore, Philip Saville |
| 2019 | Algorithmic barriers to representing conditional independence. Nathanael L. Ackerman, Jeremy Avigad, Cameron E. Freer, Daniel M. Roy, Jason M. Rute |
| 2019 | Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy. Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata |
| 2019 | Backprop as Functor: A compositional perspective on supervised learning. Brendan Fong, David I. Spivak, Rémy Tuyéras |
| 2019 | Bisimulation Equivalence of First-Order Grammars is ACKERMANN-Complete. Petr Jancar, Sylvain Schmitz |
| 2019 | Block products for algebras over countable words and applications to logic. Bharat Adsul, Saptarshi Sarkar, A. V. Sreejith |
| 2019 | Canonisation and Definability for Graphs of Bounded Rank Width. Martin Grohe, Daniel Neuen |
| 2019 | Categorical Semantics for Time Travel. Nicola Pinzani, Stefano Gogioso, Bob Coecke |
| 2019 | Codensity Games for Bisimilarity. Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro Hasuo |
| 2019 | Completeness for Game Logic. Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema |
| 2019 | Describing free $\omega$ -categories. Simon Forest, Samuel Mimram |
| 2019 | Descriptive complexity for minimal time of cellular automata. Etienne Grandjean, Théo Grente |
| 2019 | Differentiable Causal Computations via Delayed Trace. David Sprunger, Shin-ya Katsumata |
| 2019 | Graph Planning with Expected Finite Horizon. Krishnendu Chatterjee, Laurent Doyen |
| 2019 | Graphical Affine Algebra. Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi |
| 2019 | High-level methods for homotopy construction in associative n-categories. David Reutter, Jamie Vicary |
| 2019 | Higher-Kinded Data Types: Syntax and Semantics. Patricia Johann, Andrew Polonsky |
| 2019 | History-Dependent Nominal μ-Calculus. Clovis Eberhart, Bartek Klin |
| 2019 | HoCHC: A Refutationally Complete and Semantically Invariant System of Higher-order Logic Modulo Theories. C.-H. Luke Ong, Dominik Wagner |
| 2019 | Intuitionistic proofs without syntax. Willem B. Heijltjes, Dominic J. D. Hughes, Lutz Straßburger |
| 2019 | Lambda Calculus and Probabilistic Computation. Claudia Faggian, Simona Ronchi Della Rocca |
| 2019 | Lambda Y-Calculus With Priorities. Igor Walukiewicz |
| 2019 | Learning Concepts Definable in First-Order Logic with Counting. Steffen van Bergerem |
| 2019 | Local normal forms and their use in algorithmic meta theorems (Invited Talk). Nicole Schweikardt |
| 2019 | Long-run Satisfaction of Path Properties. Christel Baier, Nathalie Bertrand, Jakob Piribauer, Ocan Sankur |
| 2019 | MSO+∇ is undecidable. Mikolaj Bojanczyk, Edon Kelmendi, Michal Skrzypczak |
| 2019 | Matching μ-Logic. Xiaohong Chen, Grigore Rosu |
| 2019 | Model Comparison Games for Horn Description Logics. Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev |
| 2019 | No-Go Theorems for Distributive Laws. Maaike Zwart, Dan Marsden |
| 2019 | On the Existential Theories of Büchi Arithmetic and Linear p-adic Fields. Florent Guépin, Christoph Haase, James Worrell |
| 2019 | On the Power of Symmetric Linear Programs. Albert Atserias, Anuj Dawar, Joanna Ochremiak |
| 2019 | On the Termination Problem for Probabilistic Higher-Order Recursive Programs. Naoki Kobayashi, Ugo Dal Lago, Charles Grellois |
| 2019 | Path Spaces of Higher Inductive Types in Homotopy Type Theory. Nicolai Kraus, Jakob von Raumer |
| 2019 | Perspective Games. Orna Kupferman, Gal Vardi |
| 2019 | Point-width and Max-CSPs. Clément Carbonnel, Miguel Romero, Stanislav Zivný |
| 2019 | Presburger arithmetic with stars, rational subsets of graph groups, and nested zero tests. Christoph Haase, Georg Zetzsche |
| 2019 | Probabilistic Relational Reasoning via Metrics. Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata |
| 2019 | Promises Make Finite (Constraint Satisfaction) Problems Infinitary. Libor Barto |
| 2019 | Quantum Hoare Logic with Ghost Variables. Dominique Unruh |
| 2019 | Quantum channels as a categorical completion. Mathieu Huot, Sam Staton |
| 2019 | Reachability in Vector Addition Systems is Primitive-Recursive in Fixed Dimension. Jérôme Leroux, Sylvain Schmitz |
| 2019 | Realizability in the Unitary Sphere. Alejandro Díaz-Caro, Mauricio Guillermo, Alexandre Miquel, Benoît Valiron |
| 2019 | Separation and covering for group based concatenation hierarchies. Thomas Place, Marc Zeitoun |
| 2019 | Template games and differential linear logic. Paul-André Melliès |
| 2019 | The Geometry of Bayesian Programming. Ugo Dal Lago, Naohiko Hoshino |
| 2019 | The Hierarchy of Hyperlogics. Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann |
| 2019 | The Logic of Action Lattices is Undecidable. Stepan L. Kuznetsov |
| 2019 | The Theory of Traces for Systems with Nondeterminism and Probability. Filippo Bonchi, Ana Sokolova, Valeria Vignudelli |
| 2019 | The convex hull of finitely generable subsets and its predicate transformer. Mohammad-Javad Davari, Abbas Edalat, André Lieutier |
| 2019 | Timed Systems through the Lens of Logic. S. Akshay, Paul Gastin, Vincent Jugé, Shankara Narayanan Krishna |
| 2019 | Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems). Manuel Bodirsky, Antoine Mottet, Miroslav Olsák, Jakub Oprsal, Michael Pinsker, Ross Willard |
| 2019 | Type-Based Complexity Analysis of Probabilistic Functional Programs. Martin Avanzini, Ugo Dal Lago, Alexis Ghyselen |
| 2019 | Walk refinement, walk logic, and the iteration number of the Weisfeiler-Leman algorithm. Moritz Lichter, Ilia Ponomarenko, Pascal Schweitzer |
| 2019 | When is Ontology-Mediated Querying Efficient? Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris |
| 2019 | Why Propositional Quantification Makes Modal Logics on Trees Robustly Hard? Bartosz Bednarczyk, Stéphane Demri |