LICS

Publications

2024

Hugo Paquet, Philip Saville
Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads. LICS (2024)
Pietro Di Gianantonio, Abbas Edalat
A Cartesian Closed Category for Random Variables. LICS (2024)
Pierre Clairambault, Simon Forest
An Analysis of Symmetry in Quantitative Semantics. LICS (2024)
Ismaël Jecker, Filip Mazowiecki, David Purser
Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata. LICS (2024)
Miroslav Chodil, Antonín Kucera
The Finite Satisfiability Problem for PCTL is Undecidable. LICS (2024)
John M. Li, Jon Aytac, Philip Johnson-Freyd, Amal Ahmed, Steven Holtzen
A Nominal Approach to Probabilistic Separation Logic. LICS (2024)
Eren Keskin, Roland Meyer
On the Separability Problem of VASS Reachability Languages. LICS (2024)
Oskar Fiuk, Emanuel Kieronski, Vincent Michielini
On the complexity of Maslov's class K. LICS (2024)
Marie Morgane Kerjean, Pierre-Marie Pédrot
δ is for Dialectica. LICS (2024)
Arka Ghosh, Slawomir Lasota
Equivariant ideals of polynomials. LICS (2024)
Pierre Cagne, Ulrik Torben Buchholtz, Nicolai Kraus, Marc Bezem
On symmetries of spheres in univalent foundations. LICS (2024)
Danila Demin, Maksim Zhukovskii
First order complexity of finite random structures. LICS (2024)
Manuel Bodirsky, Zaneta Semanisinová, Carsten Lutz
The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems. LICS (2024)
Laura Ciobanu, Georg Zetzsche
Slice closures of indexed languages and word equations with counting constraints. LICS (2024)
Nicole Schirrmacher, Sebastian Siebertz, Giannos Stamoulis, Dimitrios M. Thilikos, Alexandre Vigny
Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes. LICS (2024)
Antonio Casares, Pierre Ohlmann
Positional ω-regular languages. LICS (2024)
Maximilian Pflueger, Johannes Marti, Egor V. Kostylev
A Characterisation Theorem for Two-Way Bisimulation-Invariant Monadic Least Fixpoint Logic Over Finite Structures. LICS (2024)
Jakub Gajarský, Michal Pilipczuk, Marek Sokolowski, Giannos Stamoulis, Szymon Torunczyk
Elementary first-order model checking for sparse graphs. LICS (2024)
Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat
Bialgebraic Reasoning on Higher-order Program Equivalence. LICS (2024)
James Hefford, Matthew Wilson
A Profunctorial Semantics for Quantum Supermaps. LICS (2024)
Thorsten Wißmann, Stefan Milius
Initial Algebras Unchained - A Novel Initial Algebra Construction Formalized in Agda. LICS (2024)
Demian Banakh, Marcin Kozik
Injective hardness condition for PCSPs. LICS (2024)
Mikolaj Bojanczyk, Pierre Ohlmann
Rank-decreasing transductions. LICS (2024)
Victor Arrial, Giulio Guerrieri, Delia Kesner
Genericity Through Stratification. LICS (2024)
Emmanuel Filiot, Ismaël Jecker, Christof Löding, Anca Muscholl, Gabriele Puppis, Sarah Winter
Finite-valued Streaming String Transducers. LICS (2024)
Udi Boker
Discounted-Sum Automata with Real-Valued Discount Factors. LICS (2024)
Sougata Bose, Rasmus Ibsen-Jensen, Patrick Totzke
Bounded-Memory Strategies in Partial-Information Games. LICS (2024)
Kirstin Peters, Nobuko Yoshida
Separation and Encodability in Mixed Choice Multiparty Sessions. LICS (2024)
Chris Barrett, Daniel Castle, Willem Heijltjes
The Relational Machine Calculus. LICS (2024)
Amin Karamlou, Nihil Shah
No Go Theorems: Directed Containers That Do Not Distribute Over Distribution Monads. LICS (2024)
Alexandre Clément, Noé Delorme, Simon Perdrix
Minimal Equational Theories for Quantum Circuits. LICS (2024)
Zeinab Galal, Jean-Simon Pacaud Lemay
Combining fixpoint and differentiation theory. LICS (2024)
Harry Vinall-Smeeth
From Quantifier Depth to Quantifier Number: Separating Structures with k Variables. LICS (2024)
A. R. Balasubramanian
Decidability and Complexity of Decision Problems for Affine Continuous VASS. LICS (2024)
Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos
Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence. LICS (2024)
Liron Cohen, Yannick Forster, Dominik Kirst, Bruno da Rocha Paiva, Vincent Rahli
Separating Markov's Principles. LICS (2024)
Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell
On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates. LICS (2024)
Noah Abou El Wafa, André Platzer
Complete Game Logic with Sabotage. LICS (2024)
Emmanuel Hainry, Bruce M. Kapron, Jean-Yves Marion, Romain Péchoux
Declassification Policy for Program Complexity Analysis. LICS (2024)
Alex Simpson
Equivalence and Conditional Independence in Atomic Sheaf Logic. LICS (2024)
Thomas Place, Marc Zeitoun
Dot-depth three, return of the J-class. LICS (2024)
Wojciech Rozowski, Alexandra Silva
A Completeness Theorem for Probabilistic Regular Expressions. LICS (2024)
Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski
Diagrammatic Algebra of First Order Logic. LICS (2024)
Cameron Allett
Non-Elementary Compression of First-Order Proofs in Deep Inference Using Epsilon-Terms. LICS (2024)
Tim Lyon, Piotr Ostropolski-Nalewaja
Decidability of Quasi-Dense Modal Logics. LICS (2024)
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024, Tallinn, Estonia, July 8-11, 2024 LICS (2024)
Benedict Bunting, Andrzej S. Murawski
Contextual Equivalence for State and Control via Nested Data. LICS (2024)
Sandra Kiefer, Daniel Neuen
Bounding the Weisfeiler-Leman Dimension via a Depth Analysis of I/R-Trees. LICS (2024)
Lorenzo Ciardo
Quantum advantage and CSP complexity. LICS (2024)
Victor Blanchi, Hugo Paquet
Element-free probability distributions and random partitions. LICS (2024)