LICS

LICS 公式サイト ↗

Programming Languages & Formal Methods

2026 · 82 papers

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

1. 2026 · LICS

   A Cartesian Closed Fibration of Higher-Order Regular Languages

   Paul-André Melliès, Vincent Moreau

   Programming Languages & Formal Methods

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

2. 2026 · LICS

   A Categorical Account of the Metropolis-Hastings Algorithm

   Rob Cornish, Andi Q. Wang

   Programming Languages & Formal Methods

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

3. 2026 · LICS

   A Categorical Perspective on Constraint Satisfaction: The Wonderland of Adjunctions

   Maximilian Hadek, Tomáš Jakl, Jakub Opršal

   Programming Languages & Formal Methods

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

4. 2026 · LICS

   A Complete Equational Theory for Real-Clifford+CH Quantum Circuits

   Alexandre Clément

   Programming Languages & Formal Methods

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

5. 2026 · LICS

   A Complexity Bound for Determinisation of Min-Plus Weighted Automata

   Shaull Almagor, Guy Arbel, Sarai Sheinvald

   Programming Languages & Formal Methods

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

6. 2026 · LICS

   A Computer Formalisation of the Serre Finiteness Theorem

   Reid Barton, Axel Ljungström, Owen Milner, Anders Mörtberg

   Programming Languages & Formal Methods

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

7. 2026 · LICS

   A Convenient Fibration for Dependently-Typed Probability Theory

   Danel Ahman, Ohad Kammar, Rasmus Ejlers Møgelberg

   Programming Languages & Formal Methods

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

8. 2026 · LICS

   A Machine-Independent, Log-Sensitive Space-Cost Measure for the Weak Lambda-Calculus

   Thibaut Balabonski

   Programming Languages & Formal Methods

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

9. 2026 · LICS

   A Naturally-Colored Translation from LTL to Parity and COCOA

   Rüdiger Ehlers, Ayrat Khalimov

   Programming Languages & Formal Methods

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

10. 2026 · LICS

    A Unified Treatment of the Substitution Tensor for Presheaves, Nominal Sets, Renaming Sets, and so on

    Fabian Lenke, Stefan Milius, Henning Urbat

    Programming Languages & Formal Methods

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

11. 2026 · LICS

    An Algebraic Approach to Formal System Metatheory

    Francesco Gavazzo

    Programming Languages & Formal Methods

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

12. 2026 · LICS

    Automata for MSO over Infinite Trees with Quantification over Borel Sets of Branches

    Mikołaj Bojańczyk, Antonio Casares, Sven Manthe, Paweł Parys

    Programming Languages & Formal Methods

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

13. 2026 · LICS

    Axiomatizability of Alexandrov Dynamic Topological Logic

    Niels C. Vooijs, David Fernández-Duque

    Programming Languages & Formal Methods

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

14. 2026 · LICS

    Causality in Pure Quantum Computation with Quantum Control

    Kengo Hirata, Takeshi Tsukada

    Programming Languages & Formal Methods

    日本大学: 千葉大学 / 京都大学

15. 2026 · LICS

    Cellular Methods in Homotopy Type Theory

    Axel Ljungström, Loïc Pujet

    Programming Languages & Formal Methods

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

16. 2026 · LICS

    Checking History Determinism for Parity Automata Is in NP

    Karoliina Lehtinen, Keya Prakash, Michał Skrzypczak

    Programming Languages & Formal Methods

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

17. 2026 · LICS

    Classifying 2-Groups in Homotopy Type Theory

    Perry Hart, Owen Milner

    Programming Languages & Formal Methods

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

18. 2026 · LICS

    Commutative Algebras of Series

    Lorenzo Clemente

    Programming Languages & Formal Methods

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

19. 2026 · LICS

    Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions

    Gilles Barthe, Minbo Gao, Jam Kabeer Ali Khan, Matthijs Muis, Ivan Renison, Keiya Sakabe, Michael Walter, Yingte Xu, Tianshi Yu, Li Zhou

    Programming Languages & Formal Methods

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

20. 2026 · LICS

    Complete ω-Regular Supermartingale Certificates

    Alessandro Abate, Mirco Giacobbe, Sergey Ichtchenko, Diptarko Roy

    Programming Languages & Formal Methods

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

21. 2026 · LICS

    Complexity Classes Arising from Circuits over Finite Algebraic Structures

    Piotr Kawałek, Jacek Krzaczkowski

    Programming Languages & Formal Methods

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

22. 2026 · LICS

    Complexity of Satisfiability in Kochen-Specker Partial Boolean Algebras

    Anuj Dawar, Nihil Shah

    Programming Languages & Formal Methods

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

23. 2026 · LICS

    Computation and Size of Interpolants for Hybrid Modal Logics

    Jean Christoph Jung, Jędrzej Kołodziejski, Frank Wolter

    Programming Languages & Formal Methods

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

24. 2026 · LICS

    Constructing Small Monadic Decompositions in Presburger Arithmetic

    Moses Ganardi, Marin Ricros

    Programming Languages & Formal Methods

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

25. 2026 · LICS

    Constructive Higher Sheaf Models with Applications to Synthetic Mathematics

    Thierry Coquand, Jonas Höfer, Christian Sattler

    Programming Languages & Formal Methods

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

26. 2026 · LICS

    Contextual MetaML: Syntax and Full Abstraction

    Haoxuan Yin, Andrzej S. Murawski, C.-H. Luke Ong

    Programming Languages & Formal Methods

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

27. 2026 · LICS

    Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property

    Neta Elad, Sharon Shoham

    Programming Languages & Formal Methods

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

28. 2026 · LICS

    Decidability of Interpretability

    Roman Feller, Michael Pinsker

    Programming Languages & Formal Methods

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

29. 2026 · LICS

    Definitional Proof Irrelevance Made Accessible

    Thiago Felicissimo, Yann Leray, Loïc Pujet, Nicolas Tabareau, Éric Tanter, Théo Winterhalter

    Programming Languages & Formal Methods

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

30. 2026 · LICS

    Dicey Games: Shared Sources of Randomness in Distributed Systems

    Léonard Brice, Thomas A. Henzinger, K. S. Thejaswini

    Programming Languages & Formal Methods

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

31. 2026 · LICS

    Differential Tree Automata

    Rida Ait El Manssour, Vincent Cheval, Mahsa Shirmohammadi, James Worrell

    Programming Languages & Formal Methods

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

32. 2026 · LICS

    Distinguishing Graphs by Counting Homomorphisms from Sparse Graphs

    Daniel Neuen, Tim Seppelt

    Programming Languages & Formal Methods

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

33. 2026 · LICS

    Dynamic Planar Graph Isomorphism Is in DynFO

    Samir Datta, Asif Khan, Felix Tschirbs, Nils Vortmeier, Thomas Zeume

    Programming Languages & Formal Methods

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

34. 2026 · LICS

    Eliminating Reversals from Cubical Type Theories

    Evan Cavallo, Christian Sattler

    Programming Languages & Formal Methods

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

35. 2026 · LICS

    Existential Positive Transductions of Sparse Graphs

    Nikolas Mählmann, Sebastian Siebertz

    Programming Languages & Formal Methods

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

36. 2026 · LICS

    Fat Cell Structures and Generalized Algebraic Theories

    Xu Huang, Carlo Angiuli

    Programming Languages & Formal Methods

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

37. 2026 · LICS

    Fixed-Parameter Tractable Inference for Discrete Probabilistic Programs, via String Diagram Algebraisation

    Benedikt Peterseim, Milan Lopuhaä-Zwakenberg

    Programming Languages & Formal Methods

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

38. 2026 · LICS

    Forgetting Event Order in Higher-Dimensional Automata

    Safa Zouari

    Programming Languages & Formal Methods

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

39. 2026 · LICS

    From Co-Coverages to Radicals in Complete Lattices

    Daniel Misselbeck-Wessel

    Programming Languages & Formal Methods

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

40. 2026 · LICS

    Generalized Decidability via Brouwer Trees

    Tom de Jong, Nicolai Kraus, Aref Mohammadzadeh, Fredrik Nordvall Forsberg

    Programming Languages & Formal Methods

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

41. 2026 · LICS

    Graphical Algebraic Geometry: From Ideals and Varieties to Quantum Calculi

    Dichuan Gao, Razin A. Shaikh, Aleks Kissinger

    Programming Languages & Formal Methods

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

42. 2026 · LICS

    Guarded Negation Transitive Closure Logic

    Diego Figueira, Santiago Figueira, Yoshiki Nakamura

    Programming Languages & Formal Methods

    日本大学: 千葉大学

43. 2026 · LICS

    Hypersequent Calculi Have Ackermann Complexity

    A. R. Balasubramanian, Vitor Greati, Revantha Ramanayake

    Programming Languages & Formal Methods

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

44. 2026 · LICS

    Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability

    Giorgio Bacci, Rasmus Ejlers Møgelberg

    Programming Languages & Formal Methods

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

45. 2026 · LICS

    Interpreting De Finetti’s Theorem in the Category of Integrable Cones

    Raphaëlle Crubillé

    Programming Languages & Formal Methods

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

46. 2026 · LICS

    LFPL: Revisited and Mechanized

    Nathaniel Glover, Jan Hoffmann

    Programming Languages & Formal Methods

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

47. 2026 · LICS

    Layered Automata: A Canonical Model for Automata over Infinite Words

    Antonio Casares, Christof Löding, Igor Walukiewicz

    Programming Languages & Formal Methods

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

48. 2026 · LICS

    Lazy Intermediate Representations for Algebraic Effects

    Simon Castellan, Hugo Paquet

    Programming Languages & Formal Methods

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

49. 2026 · LICS

    Local Combinatorial Analogues for Bounded VC Dimension

    Olga Medrano Martín del Campo

    Programming Languages & Formal Methods

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

50. 2026 · LICS

    Low Rank MSO

    Mikołaj Bojańczyk, Michał Pilipczuk, Wojciech Przybyszewski, Marek Sokołowski, Giannos Stamoulis

    Programming Languages & Formal Methods

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

51. 2026 · LICS

    Meta-Mathematics of Algebraic Complexity

    Michal Garlík, Svyatolav Gryaznov, Jiaqi Lu, Rahul Santhanam, Iddo Tzameret

    Programming Languages & Formal Methods

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

52. 2026 · LICS

    Minimization of Streaming Transducers

    Christian Bianchini, Gabriele Puppis

    Programming Languages & Formal Methods

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

53. 2026 · LICS

    Mixing Any Cocktail with Limited Ingredients: On the Structure of Payoff Sets in Multi-Objective POMDPs and Its Impact on Randomised Strategies

    James C. A. Main, Mickael Randour

    Programming Languages & Formal Methods

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

54. 2026 · LICS

    Model Checking for Low Monodimensionality Fragments of CMSO on Topological-Minor-Free Graph Classes

    Ignasi Sau, Nicole Schirrmacher, Sebastian Siebertz, Giannos Stamoulis, Dimitrios M. Thilikos, Alexandre Vigny

    Programming Languages & Formal Methods

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

55. 2026 · LICS

    Monads and Distributive Laws in Substructural Contexts

    Soichiro Fujii, Yun Chen Tsai, Yoàv Montacute, Ichiro Hasuo

    Programming Languages & Formal Methods

    日本大学: 総合研究大学院大学

56. 2026 · LICS

    On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic

    Ugo Dal Lago, Guido Fiorillo, Paolo Pistone

    Programming Languages & Formal Methods

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

57. 2026 · LICS

    On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic

    Piotr Bacik, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, Madhavan Venkatesh, Emil Rugaard Wieser

    Programming Languages & Formal Methods

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

58. 2026 · LICS

    On the Computational Power of Extensional ESO

    Manuel Bodirsky, Santiago Guzmán-Pro

    Programming Languages & Formal Methods

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

59. 2026 · LICS

    On the Subspace Orbit Problem and the Simultaneous Skolem Problem

    Piotr Bacik, Anton Varonka

    Programming Languages & Formal Methods

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

60. 2026 · LICS

    One Rig to Control Them All

    Chris Heunen, Robin Kaarsgaard, Louis Lemonnier

    Programming Languages & Formal Methods

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

61. 2026 · LICS

    Oracles Just for Fan: A Robust Computational Interpretation of the Fan Theorem

    Titouan Leclercq, Étienne Miquey

    Programming Languages & Formal Methods

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

62. 2026 · LICS

    PVASS Reachability Is Decidable

    Roland Guttenberg, Eren Keskin, Roland Meyer

    Programming Languages & Formal Methods

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

63. 2026 · LICS

    Problems with Fixpoints of Polynomials of Polynomials

    Cécilia Pradic, Ian Price

    Programming Languages & Formal Methods

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

64. 2026 · LICS

    Quantum Control and General Recursion Beyond the Unitary Case

    Kathleen Barsse, Romain Péchoux, Simon Perdrix

    Programming Languages & Formal Methods

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

65. 2026 · LICS

    Randomness Extraction Fails for Finite-State Dimension

    Subin Pulari, Akhil S

    Programming Languages & Formal Methods

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

66. 2026 · LICS

    Reachability in VASS Extended with Integer Counters

    Clotilde Bizière, Wojciech Czerwiński, Roland Guttenberg, Jérôme Leroux, Vincent Michielini, Łukasz Orlikowski, Antoni Puch, Henry Sinclair-Banks

    Programming Languages & Formal Methods

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

67. 2026 · LICS

    Star Complexity of Parikh Images of Languages over Infinite Alphabets

    Yoav Danieli

    Programming Languages & Formal Methods

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

68. 2026 · LICS

    The Algebra of Iterative Constructions

    Kevin Batz, Benjamin Lucien Kaminski, Lucas Kehrer, Gerwin Klein, Todd Schmid, Henning Urbat

    Programming Languages & Formal Methods

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

69. 2026 · LICS

    The Complexity of Downward Closures of Indexed Languages

    Richard Mandel, Corto Mascle, Georg Zetzsche

    Programming Languages & Formal Methods

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

70. 2026 · LICS

    The Complexity of Nested Reset Counter Systems

    A. R. Balasubramanian, Franzisco Schmidt

    Programming Languages & Formal Methods

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

71. 2026 · LICS

    The Finite Length Property of the Rado Graph and Friends

    Jingjie Yang, Mikołaj Bojańczyk, Bartek Klin

    Programming Languages & Formal Methods

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

72. 2026 · LICS

    The Guarded Fragment with Nested Equivalences

    Oskar Fiuk

    Programming Languages & Formal Methods

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

73. 2026 · LICS

    The Logic of Bunched Implications Is Undecidable

    Nikolaos Galatos, Peter Jipsen, Søren Brinck Knudstorp, Revantha Ramanayake

    Programming Languages & Formal Methods

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

74. 2026 · LICS

    The Logic of Intersection Subtyping

    Olivier Laurent

    Programming Languages & Formal Methods

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

75. 2026 · LICS

    The Size of Interpolants in Modal Logics

    Balder ten Cate, Louwe B. Kuijer, Frank Wolter

    Programming Languages & Formal Methods

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

76. 2026 · LICS

    The Uniformisation of Monadic Second-Order Logic over Countable Ordinals

    Thomas Colcombet, Alexander Rabinovich

    Programming Languages & Formal Methods

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

77. 2026 · LICS

    The ∞-Category of ∞-Categories in Simplicial Type Theory

    Daniel Gratzer, Jonathan Weinberger, Ulrik Buchholtz

    Programming Languages & Formal Methods

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

78. 2026 · LICS

    Towards Infinite PCSP: A Dichotomy for Monochromatic Cliques

    Demian Banakh, Alexey Barsukov, Tamio-Vesa Nakajima

    Programming Languages & Formal Methods

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

79. 2026 · LICS

    Unbounded Data Nesting for Loops in Higher-Order Programs

    Adriana Baldacchino, Andrzej S. Murawski

    Programming Languages & Formal Methods

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

80. 2026 · LICS

    Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic

    Markus de Medeiros, Puming Liu, Kwing Hei Li, Alejandro Aguirre, Lars Birkedal, Joseph Tassarotti

    Programming Languages & Formal Methods

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

81. 2026 · LICS

    Well-Quasi-Ordered Classes of Bounded Clique-Width

    Maël Dumas, Aliaume Lopez

    Programming Languages & Formal Methods

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

82. 2026 · LICS

    Wiring the π-Calculus to Denotational Semantics

    Ken Sakayori, Davide Sangiorgi, Simon Castellan, Pierre Clairambault

    Programming Languages & Formal Methods

    日本大学: 東京大学