LICS

LICS 公式サイト ↗

Programming Languages & Formal Methods

2024 · 72 papers

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

1. 2024 · LICS

   1-in-3 vs. Not-All-Equal: Dichotomy of a broken promise

   Lorenzo Ciardo, Marcin Kozik, Andrei Krokhin, Tamio-Vesa Nakajima, Stanislav Živný

   Programming Languages & Formal Methods

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

2. 2024 · LICS

   A Cartesian Closed Category for Random Variables

   Pietro Di Gianantonio, Abbas Edalat

   Programming Languages & Formal Methods

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

3. 2024 · LICS

   A Characterisation Theorem for Two-Way Bisimulation-Invariant Monadic Least Fixpoint Logic Over Finite Structures

   Maximilian Pflueger, Johannes Marti, Egor V. Kostylev

   Programming Languages & Formal Methods

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

4. 2024 · LICS

   A Completeness Theorem for Probabilistic Regular Expressions

   Wojciech Różowski, Alexandra Silva

   Programming Languages & Formal Methods

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

5. 2024 · LICS

   A Nominal Approach to Probabilistic Separation Logic

   John M. Li, Jon Aytac, Philip Johnson-Freyd, Amal Ahmed, Steven Holtzen

   Programming Languages & Formal Methods

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

6. 2024 · LICS

   A Profunctorial Semantics for Quantum Supermaps

   James Hefford, Matt Wilson

   Programming Languages & Formal Methods

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

7. 2024 · LICS

   A Syntax for Strictly Associative and Unital ∞-Categories

   Eric Finster, Alex Rice, Jamie Vicary

   Programming Languages & Formal Methods

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

8. 2024 · LICS

   A proof theory of right-linear (ω-)grammars via cyclic proofs

   Anupam Das, Abhishek De

   Programming Languages & Formal Methods

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

9. 2024 · LICS

   Algebraic Approach to Approximation

   Libor Barto, Silvia Butti, Alexandr Kazda, Caterina Viola, Stanislav Živný

   Programming Languages & Formal Methods

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

10. 2024 · LICS

    An Analysis of Symmetry in Quantitative Semantics

    Pierre Clairambault, Simon Forest

    Programming Languages & Formal Methods

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

11. 2024 · LICS

    An expressively complete local past propositional dynamic logic over Mazurkiewicz traces and its applications

    Bharat Adsul, Paul Gastin, Shantanu Kulkarni, Pascal Weil

    Programming Languages & Formal Methods

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

12. 2024 · LICS

    Are Targeted Messages More Effective?

    Martin Grohe, Eran Rosenbluth

    Programming Languages & Formal Methods

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

13. 2024 · LICS

    Bialgebraic Reasoning on Higher-order Program Equivalence

    Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat

    Programming Languages & Formal Methods

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

14. 2024 · LICS

    Bounded-Memory Strategies in Partial-Information Games

    Sougata Bose, Rasmus Ibsen-Jensen, Patrick Totzke

    Programming Languages & Formal Methods

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

15. 2024 · LICS

    Bounding the Weisfeiler-Leman Dimension via a Depth Analysis of I/R-Trees

    Sandra Kiefer, Daniel Neuen

    Programming Languages & Formal Methods

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

16. 2024 · LICS

    Braids, Twists, Trace and Duality in Combinatory Algebras

    Masahito Hasegawa, Serge Lechenne

    Programming Languages & Formal Methods

    日本大学: 京都大学

17. 2024 · LICS

    Combining fixpoint and differentiation theory

    Zeinab Galal, Jean-Simon Pacaud Lemay

    Programming Languages & Formal Methods

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

18. 2024 · LICS

    Complete Game Logic with Sabotage

    Noah Abou El Wafa, André Platzer

    Programming Languages & Formal Methods

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

19. 2024 · LICS

    Composing Codensity Bisimulations

    Mayuko Kori, Kazuki Watanabe, Jurriaan Rot, Shin-Ya Katsumata

    Programming Languages & Formal Methods

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

20. 2024 · LICS

    Concurrent Games over Relational Structures: The Origin of Game Comonads

    Yoàv Montacute, Glynn Winskel

    Programming Languages & Formal Methods

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

21. 2024 · LICS

    Contextual Equivalence for State and Control via Nested Data

    Benedict Bunting, Andrzej Murawski

    Programming Languages & Formal Methods

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

22. 2024 · LICS

    Decidability and Complexity of Decision Problems for Affine Continuous VASS

    A. R. Balasubramanian

    Programming Languages & Formal Methods

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

23. 2024 · LICS

    Decidability of Quasi-Dense Modal Logics

    Tim Lyon, Piotr Ostropolski-Nalewaja

    Programming Languages & Formal Methods

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

24. 2024 · LICS

    Declassification Policy for Program Complexity Analysis

    Emmanuel Hainry, Bruce Kapron, Jean-Yves Marion, Romain Péchoux

    Programming Languages & Formal Methods

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

25. 2024 · LICS

    Defining algorithmically presented structures in first order logic

    Nadim Kasymov, Nadira Karimova, Bakh Khoussainov

    Programming Languages & Formal Methods

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

26. 2024 · LICS

    Delooping cyclic groups with lens spaces in homotopy type theory

    Samuel Mimram, Emile Oleon

    Programming Languages & Formal Methods

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

27. 2024 · LICS

    Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata

    Ismaël Jecker, Filip Mazowiecki, David Purser

    Programming Languages & Formal Methods

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

28. 2024 · LICS

    Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights

    Ali Asadi, Krishnendu Chatterjee, Jakub Svoboda, Raimundo Saona Urmeneta

    Programming Languages & Formal Methods

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

29. 2024 · LICS

    Diagrammatic Algebra of First Order Logic

    Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski

    Programming Languages & Formal Methods

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

30. 2024 · LICS

    Discounted-Sum Automata with Real-Valued Discount Factors

    Udi Boker

    Programming Languages & Formal Methods

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

31. 2024 · LICS

    Dot-depth three, return of the J-class

    Thomas Place, Marc Zeitoun

    Programming Languages & Formal Methods

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

32. 2024 · LICS

    Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads

    Hugo Paquet, Philip Saville

    Programming Languages & Formal Methods

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

33. 2024 · LICS

    Element-free probability distributions and random partitions

    Victor Blanchi, Hugo Paquet

    Programming Languages & Formal Methods

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

34. 2024 · LICS

    Elementary first-order model checking for sparse graphs

    Jakub Gajarský, Michał Pilipczuk, Marek Sokołowski, Giannos Stamoulis, Szymon Toruńczyk

    Programming Languages & Formal Methods

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

35. 2024 · LICS

    Equivalence and Conditional Independence in Atomic Sheaf Logic

    Alex Simpson

    Programming Languages & Formal Methods

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

36. 2024 · LICS

    Equivariant ideals of polynomials

    Arka Ghosh, Sławomir Lasota

    Programming Languages & Formal Methods

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

37. 2024 · LICS

    Finite-valued Streaming String Transducers

    Emmanuel Filiot, Ismaël Jecker, Christof Löding, Anca Muscholl, Gabriele Puppis, Sarah Winter

    Programming Languages & Formal Methods

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

38. 2024 · LICS

    First order complexity of finite random structures

    Danila Demin, Maksim Zhukovskii

    Programming Languages & Formal Methods

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

39. 2024 · LICS

    First order distinguishability of sparse random graphs

    Tal Hershko, Maksim Zhukovskii

    Programming Languages & Formal Methods

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

40. 2024 · LICS

    From Quantifier Depth to Quantifier Number: Separating Structures with k Variables

    Harry Vinall-Smeeth

    Programming Languages & Formal Methods

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

41. 2024 · LICS

    Genericity Through Stratification

    Victor Arrial, Giulio Guerrieri, Delia Kesner

    Programming Languages & Formal Methods

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

42. 2024 · LICS

    Initial Algebras Unchained - A Novel Initial Algebra Construction Formalized in Agda

    Thorsten Wißmann, Stefan Milius

    Programming Languages & Formal Methods

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

43. 2024 · LICS

    Injective hardness condition for PCSPs

    Demian Banakh, Marcin Kozik

    Programming Languages & Formal Methods

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

44. 2024 · LICS

    Linear Termination is Undecidable

    Fabian Mitterwallner, Aart Middeldorp, René Thiemann

    Programming Languages & Formal Methods

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

45. 2024 · LICS

    Local consistency as a reduction between constraint satisfaction problems

    Víctor Dalmau, Jakub Opršal

    Programming Languages & Formal Methods

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

46. 2024 · LICS

    Minimal Equational Theories for Quantum Circuits

    Alexandre Clément, Noé Delorme, Simon Perdrix

    Programming Languages & Formal Methods

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

47. 2024 · LICS

    Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes

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

    Programming Languages & Formal Methods

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

48. 2024 · LICS

    Natural numbers from integers

    Christian Sattler, David Wärn

    Programming Languages & Formal Methods

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

49. 2024 · LICS

    No Go Theorems: Directed Containers That Do Not Distribute Over Distribution Monads

    Amin Karamlou, Nihil Shah

    Programming Languages & Formal Methods

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

50. 2024 · LICS

    Non-Elementary Compression of First-Order Proofs in Deep Inference Using Epsilon-Terms

    Cameron Allett

    Programming Languages & Formal Methods

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

51. 2024 · LICS

    On symmetries of spheres in univalent foundations

    Pierre Cagne, Ulrik Torben Buchholtz, Nicolai Kraus, Marc Bezem

    Programming Languages & Formal Methods

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

52. 2024 · LICS

    On the Completeness of Interpolation Algorithms

    Stefan Hetzl, Raheleh Jalali

    Programming Languages & Formal Methods

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

53. 2024 · LICS

    On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates

    Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell

    Programming Languages & Formal Methods

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

54. 2024 · LICS

    On the Separability Problem of VASS Reachability Languages

    Eren Keskin, Roland Meyer

    Programming Languages & Formal Methods

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

55. 2024 · LICS

    On the complexity of Maslov's class K̅

    Oskar Fiuk, Emanuel Kieronski, Vincent Michielini

    Programming Languages & Formal Methods

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

56. 2024 · LICS

    Positional ω-regular languages

    Antonio Casares, Pierre Ohlmann

    Programming Languages & Formal Methods

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

57. 2024 · LICS

    Primitive Recursive Dependent Type Theory

    Ulrik Torben Buchholtz, Johannes Schipp von Branitz

    Programming Languages & Formal Methods

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

58. 2024 · LICS

    Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence

    Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos

    Programming Languages & Formal Methods

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

59. 2024 · LICS

    Quantum advantage and CSP complexity

    Lorenzo Ciardo

    Programming Languages & Formal Methods

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

60. 2024 · LICS

    Rank-decreasing transductions

    Mikołaj Bojańczyk, Pierre Ohlmann

    Programming Languages & Formal Methods

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

61. 2024 · LICS

    Relevant S is Undecidable

    Søren Brinck Knudstorp

    Programming Languages & Formal Methods

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

62. 2024 · LICS

    Separating Markov's Principles

    Liron Cohen, Yannick Forster, Dominik Kirst, Bruno Da Rocha Paiva, Vincent Rahli

    Programming Languages & Formal Methods

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

63. 2024 · LICS

    Separation and Encodability in Mixed Choice Multiparty Sessions

    Kirstin Peters, Nobuko Yoshida

    Programming Languages & Formal Methods

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

64. 2024 · LICS

    Slice closures of indexed languages and word equations with counting constraints

    Laura Ciobanu, Georg Zetzsche

    Programming Languages & Formal Methods

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

65. 2024 · LICS

    Soundness of reset workflow nets

    Michael Blondin, Alain Finkel, Piotr Hofman, Filip Mazowiecki, Philip Offtermatt

    Programming Languages & Formal Methods

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

66. 2024 · LICS

    The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems

    Manuel Bodirsky, Žaneta Semanišinová, Carsten Lutz

    Programming Languages & Formal Methods

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

67. 2024 · LICS

    The Finite Satisfiability Problem for PCTL is Undecidable

    Miroslav Chodil, Antonín Kučera

    Programming Languages & Formal Methods

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

68. 2024 · LICS

    The Relational Machine Calculus

    Chris Barrett, Daniel Castle, Willem Heijltjes

    Programming Languages & Formal Methods

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

69. 2024 · LICS

    Uniformisation of Regular Relations in First-Order Logic with Two Variables

    Nathan Lhote, Vincent Michielini, Michał Skrzypczak

    Programming Languages & Formal Methods

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

70. 2024 · LICS

    Verifying Unboundedness via Amalgamation

    Ashwani Anand, Sylvain Schmitz, Lia Schütze, Georg Zetzsche

    Programming Languages & Formal Methods

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

71. 2024 · LICS

    δ is for Dialectica

    Marie Morgane Kerjean, Pierre-Marie Pédrot

    Programming Languages & Formal Methods

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

72. 2024 · LICS

    “Upon This Quote I Will Build My Church Thesis”

    Pierre-Marie Pédrot

    Programming Languages & Formal Methods

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