LICS

LICS 公式サイト ↗

Programming Languages & Formal Methods

2025 · 66 papers

このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。

1. 2025 · LICS

   #P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?

   Max Bannach, Erik D. Demaine, Timothy Gomez, Markus Hecher

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

2. 2025 · LICS

   3D-grids are not transducible from planar graphs

   Jakub Gajarský, Michał Pilipczuk, Filip Pokrývka

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

3. 2025 · LICS

   A Complexity Dichotomy for Semilinear Target Sets in Automata with One Counter

   Yousef Shakiba, Henry Sinclair-Banks, Georg Zetzsche

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

4. 2025 · LICS

   Algebraic and algorithmic synergies between promise and infinite-domain CSPs

   Antoine Mottet

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

5. 2025 · LICS

   Alternating Nominal Automata with Name Allocation

   Florian Frank, Daniel Hausmann, Stefan Milius, Lutz Schröder, Henning Urbat

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

6. 2025 · LICS

   Approximate Evaluation of Quantitative Second Order Queries

   Jan Dreier, Robert Ganian, Thekla Hamm

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

7. 2025 · LICS

   Behavioural Conformances based on Lax Couplings

   Paul Wild, Lutz Schröder

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

8. 2025 · LICS

   Binary symmetries of tractable non-rigid structures

   Paolo Marimon, Michael Pinsker

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

9. 2025 · LICS

   Characterization and Decidability of FC-Definable Regular Languages

   Sam M. Thompson, Nicole Schweikardt, Dominik D. Freydenberger

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

10. 2025 · LICS

    Classical Simulation of Quantum CSP Strategies

    Demian Banakh, Lorenzo Ciardo, Marcin Kozik, Jan Tułowiecki

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

11. 2025 · LICS

    Closure and Complexity of Temporal Causality

    Mishel Carelli, Bernd Finkbeiner, Julian Siber

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

12. 2025 · LICS

    Complete Quantum Relational Hoare Logics from Optimal Transport Duality

    Gilles Barthe, Minbo Gao, Theo Wang, Li Zhou

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

13. 2025 · LICS

    Completing Gordon’s Higher-Order Logic

    Andrei Popescu

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

14. 2025 · LICS

    Compositional Taylor expansion in cartesian differential categories

    A. Walch

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

15. 2025 · LICS

    Conformance Games for Graded Semantics

    Jonas Forster, Lutz Schröder, Paul Wild

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

16. 2025 · LICS

    Convergence Laws for Extensions of First-Order Logic with Averaging

    Sam Adam-Day, Michael Benedikt, Alberto Larrauri

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

17. 2025 · LICS

    Effectful Mealy Machines: Bisimulation and Trace

    Filippo Bonchi, Elena Di Lavore, Mario Román

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

18. 2025 · LICS

    Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs

    Aleksei Tiurin, Chris Barrett, Dan R. Ghica, Nick Hu

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

19. 2025 · LICS

    Flipping and Forking

    Wojciech Przybyszewski, Szymon Toruńczyk

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

20. 2025 · LICS

    Functional Stream Semantics for a Synchronous Block-Diagram Compiler

    Timothy Bourke, Paul Jeanmaire, Marc Pouzet

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

21. 2025 · LICS

    Graphs of unbounded linear cliquewidth must transduce all trees

    Mikołaj Bojanczyk, Pierre Ohlmann

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

22. 2025 · LICS

    Group Order Logic

    Anatole Dahan

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

23. 2025 · LICS

    Hofmann-Streicher lifting of fibred categories : Dedicated to the memory of Thomas Streicher (1958-2025)

    Andrew Slattery, Jonathan Sterling

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

24. 2025 · LICS

    Homological Invariants of Higher-Order Equational Theories

    Mirai Ikebuchi

    Programming Languages & Formal Methods

    日本大学: 京都大学

25. 2025 · LICS

    If At First You Don’t Succeed: Extended Monitorability through Multiple Executions

    Antonis Achilleos, Adrian Francalanza, Jasmine Xuereb

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

26. 2025 · LICS

    Initial Algebra Correspondence under Reachability Conditions

    Mayuko Kori, Kazuki Watanabe, Jurriaan Rot

    Programming Languages & Formal Methods

    日本大学: 京都大学 / 総合研究大学院大学

27. 2025 · LICS

    Interpolation for the two-way modal μ-calculus

    Johannes Kloibhofer, Yde Venema

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

28. 2025 · LICS

    Learning Deterministic One-Counter Automata in Polynomial Time

    Prince Mathew, Vincent Penelle, A. V. Sreejith

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

29. 2025 · LICS

    Learning Weighted Automata over Number Rings, Concretely and Categorically

    Quentin Aristote, Sam van Gool, Daniela Petrişan, Mahsa Shirmohammadi

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

30. 2025 · LICS

    Logical relations for call-by-push-value models, via internal fibrations in a 2-category

    Pedro H. Azevedo de Amorim, Satoshi Kura, Philip Saville

    Programming Languages & Formal Methods

    日本大学: 早稲田大学

31. 2025 · LICS

    Minimal History-Deterministic Co-Büchi Automata: Congruences and Passive Learning

    Christof Löding, Igor Walukiewicz

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

32. 2025 · LICS

    Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity

    Qiaolan Meng, Juhua Pu, Hongting Niu, Yuyi Wang, Yuanhong Wang, Ondřej Kuželka

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

33. 2025 · LICS

    Multiple Reachability in Linear Dynamical Systems

    Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

34. 2025 · LICS

    Multiplicative Rewards in Markovian Models

    Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

35. 2025 · LICS

    Naturality for higher-dimensional path types

    Thibaut Benjamin, Ioannis Markakis, Wilfred Offord, Chiara Sarti, Jamie Vicary

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

36. 2025 · LICS

    Navigational hierarchies of regular languages

    Thomas Place, Marc Zeitoun

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

37. 2025 · LICS

    On the denotation of circular and non-wellfounded proofs in linear logic with fixed points

    Thomas Ehrhard, Farzad Jafarrahmani, Alexis Saurin

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

38. 2025 · LICS

    Operator Spaces, Linear Logic and the Heisenberg-Schrödinger Duality of Quantum Theory

    Bert Lindenhovius, Vladimir Zamdzhiev

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

39. 2025 · LICS

    Ordinal Exponentiation in Homotopy Type Theory

    Tom De Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

40. 2025 · LICS

    Probabilistic Strategies: Definability and the Tensor Completeness Problem

    Nathan Bowler, Sergey Goncharov, Paul Blain Levy

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

41. 2025 · LICS

    Proof Compression via Subatomic Logic and Guarded Substitutions

    Victoria Barrett, Alessio Guglielmi, Benjamin Ralph, Lutz Straßburger

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

42. 2025 · LICS

    Pushdown Model Checking above the Cubic Bottleneck

    A. R. Balasubramanian, Dmitry Chistikov, Rupak Majumdar

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

43. 2025 · LICS

    Quantifier Elimination for Regular Integer Linear-Exponential Programming

    Mikhail R. Starchak

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

44. 2025 · LICS

    Random Variables, Conditional Independence and Categories of Abstract Sample Spaces

    Dario Stein

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

45. 2025 · LICS

    Reachability Types, Traces and Full Abstraction

    Benedict Bunting, Andrzej S. Murawski

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

46. 2025 · LICS

    Reachability and Related Problems in Vector Addition Systems with Nested Zero Tests

    Roland Guttenberg, Wojciech Czerwiński, Sławomir Lasota

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

47. 2025 · LICS

    Recognisability Equals Definability for Finitely Representable Matroids of Bounded Path-Width

    Rutger Campbell, Bruno Guillon, Mamadou Moustapha Kanté, Eun Jung Kim, Sang-il Oum

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

48. 2025 · LICS

    Regular Grammars for Sets of Graphs of Tree-Width 2

    Marius Bozga, Radu Iosif, Florian Zuleger

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

49. 2025 · LICS

    Relators and Notions of Simulation Revisited

    Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

50. 2025 · LICS

    Risk-aware Markov Decision Processes Using Cumulative Prospect Theory

    Thomas Brihaye, Krishnendu Chatterjee, Stefanie Mohr, Maximilian Weininger

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

51. 2025 · LICS

    Semantical Analysis of Intuitionistic Modal Logics between CK and IK

    Jim De Groot, Ian Shillito, Ranald Clouston

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

52. 2025 · LICS

    Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting

    Louwe Kuijer, Tony Tan, Frank Wolter, Michael Zakharyaschev

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

53. 2025 · LICS

    Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games

    Marta Grobelna, Jan Křetínský, Maximilian Weininger

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

54. 2025 · LICS

    Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution

    Marcelo Fiore, Sanjiv Ranchod

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

55. 2025 · LICS

    Syntactic Effectful Realizability in Higher-Order Logic

    Liron Cohen, Ariel Grunfeld, Dominik Kirst, Étienne Miquey

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

56. 2025 · LICS

    The Blurred Drinker Paradox: Constructive Reverse Mathematics of the Downward Löwenheim-Skolem Theorem

    Dominik Kirst, Haoyi Zeng

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

57. 2025 · LICS

    The Identity Problem in virtually solvable matrix groups over algebraic numbers

    Corentin Bodart, Ruiwen Dong

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

58. 2025 · LICS

    The Qualitative Collapse of Concurrent Games

    Pierre Clairambault

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

59. 2025 · LICS

    The Steenrod squares via unordered joins

    Axel Ljungström, David Wärn

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

60. 2025 · LICS

    The Yoneda embedding in simplicial type theory

    Daniel Gratzer, Jonathan Weinberger, Ulrik Buchholtz

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

61. 2025 · LICS

    The commutativity problem for effective varieties of formal series, and applications

    Lorenzo Clemente

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

62. 2025 · LICS

    The internal languages of univalent categories

    Niels van der Weide

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

63. 2025 · LICS

    The sorrows of a smooth digraph: the first hardness criterion for infinite directed graph-colouring problems

    Johanna Brunar, Marcin Kozik, Tomáš Nagy, Michael Pinsker

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

64. 2025 · LICS

    Thin Coalgebraic Behaviours Are Inductive

    Anton Chernev, Corina Cîrstea, Helle Hvid Hansen, Clemens Kupke

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

65. 2025 · LICS

    Transductions of Graph Classes Admitting Product Structure

    Petr Hliněný, Jan Jedelský

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

66. 2025 · LICS

    When is the partial map classifier a Sierpiński cone?

    Leoni Pugh, Jonathan Sterling

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）