LICS

Keyphrases

Publications

2023

Faraz Ghahremani, Edon Kelmendi, Joël Ouaknine
Reachability in Injective Piecewise Affine Maps. LICS (2023)
Éric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum
Semi-Simplicial Set Models for Distributed Knowledge. LICS (2023)
Azadeh Farzan
Commutativity in Automated Verification. LICS (2023)
Agata Ciabattoni, Timo Lang, Revantha Ramanayake
Cut-Restriction: From Cuts to Analytic Cuts. LICS (2023)
Damian Niwinski, Pawel Parys, Michal Skrzypczak
. LICS (2023)
Georgios Argyris, Alberto Lluch-Lafuente, Alexander Leguizamon-Robayo, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Minimization of Dynamical Systems over Monoids. LICS (2023)
Tamio-Vesa Nakajima, Stanislav Zivný
Boolean symmetric vs. functional PCSP dichotomy. LICS (2023)
Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
Set-Theoretic and Type-Theoretic Ordinals Coincide. LICS (2023)
Mikolaj Bojanczyk
Folding interpretations. LICS (2023)
Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger
Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives. LICS (2023)
Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger
Intuitionistic S4 is decidable. LICS (2023)
Titouan Carette, Louis Lemonnier, Vladimir Zamdzhiev
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages. LICS (2023)
38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023, Boston, MA, USA, June 26-29, 2023 LICS (2023)
Toghrul Karimov, Edon Kelmendi, Joris Nieuwveld, Joël Ouaknine, James Worrell
The Power of Positivity. LICS (2023)
Yue Niu, Robert Harper
A Metalanguage for Cost-Aware Denotational Semantics. LICS (2023)
Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron
Quantifying Over Trees in Monadic Second-Order Logic. LICS (2023)
Tomás Jakl, Dan Marsden, Nihil Shah
A categorical account of composition methods in logic. LICS (2023)
Yuanhong Wang, Juhua Pu, Yuyi Wang, Ondrej Kuzelka
On Exact Sampling in the Two-Variable Fragment of First-Order Logic. LICS (2023)
Diego Figueira, Santiago Figueira, Edwin Pin Baque
PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse. LICS (2023)
Dale Miller
A system of inference based on proof search: an extended abstract. LICS (2023)
Pierre Clairambault, Federico Olimpieri, Hugo Paquet
From Thin Concurrent Games to Generalized Species of Structures. LICS (2023)
Nikhil Balaji, Lorenzo Clemente, Klara Nosan, Mahsa Shirmohammadi, James Worrell
Multiplicity Problems on Algebraic Series and Context-Free Grammars. LICS (2023)
Boldizsár Poór, Quanlong Wang, Razin A. Shaikh, Lia Yeh, Richie Yeung, Bob Coecke
Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus. LICS (2023)
Laure Daviaud, David Purser
The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete). LICS (2023)
David Baelde, Adrien Koutsos, Joseph Lallemand
A Higher-Order Indistinguishability Logic for Cryptographic Reasoning. LICS (2023)
Thomas Colcombet, Gaëtan Douéneau-Tabot, Aliaume Lopez
ℤ-polyregular functions. LICS (2023)
Thomas Place, Marc Zeitoun
Group Separation Strikes Back. LICS (2023)
Ruiwen Dong
. LICS (2023)
Thomas Ehrhard, Aymeric Walch
Cartesian Coherent Differential Categories. LICS (2023)
Zeinab Galal
Fixpoint operators for 2-categorical structures. LICS (2023)
Francesco Gavazzo
Allegories of Symbolic Manipulations. LICS (2023)
Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder
Weak Similarity in Higher-Order Mathematical Operational Semantics. LICS (2023)
Michael Benedikt, Ehud Hrushovski
Embedded Finite Models beyond Restricted Quantifier Collapse. LICS (2023)
Pascal Bergsträßer, Moses Ganardi
Revisiting Membership Problems in Subclasses of Rational Relations. LICS (2023)
Ken Sakayori, Davide Sangiorgi
Extensional and Non-extensional Functions as Processes. LICS (2023)
Fredrik Dahlqvist, Alexandra Silva, William Smith
Deterministic stream-sampling for probabilistic programming: semantics and verification. LICS (2023)
Mathieu Huot, Alexander K. Lew, Vikash K. Mansinghka, Sam Staton
ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs. LICS (2023)
Adnan Darwiche
Logic for Explainable AI. LICS (2023)
Pierre Clairambault, Simon Forest
The Cartesian Closed Bicategory of Thin Spans of Groupoids. LICS (2023)
Jason P. Bell, Daniel Smertnig
Computing the linear hull: Deciding Deterministic? and Unambiguous? for weighted automata over fields. LICS (2023)
Glynn Winskel
Making Concurrency Functional. LICS (2023)
Yoshiki Nakamura
Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations. LICS (2023)
Jessie Grosen, David M. Kahn, Jan Hoffmann
Automatic Amortized Resource Analysis with Regular Recursive Types. LICS (2023)
Benedict Bunting, Andrzej S. Murawski
Operational Algorithmic Game Semantics. LICS (2023)
Amar Hadzihasanovic, Diana Kessler
Higher-Dimensional Subdiagram Matching. LICS (2023)
Jelle Hellings, Marc Gyssens, Jan Van den Bussche, Dirk Van Gucht
Expressive Completeness of Two-Variable First-Order Logic with Counting for First-Order Logic Queries on Rooted Unranked Trees. LICS (2023)
Gianluca Curzi, Anupam Das
Computational expressivity of (circular) proofs with fixed points. LICS (2023)
Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala
. LICS (2023)
Wojciech Przybyszewski
Distal Combinatorial Tools for Graphs of Bounded Twin-Width. LICS (2023)
David Fernández-Duque, Quentin Gougeon
Fixed Point Logics on Hemimetric Spaces. LICS (2023)