LICS

LICS 公式サイト ↗

Programming Languages & Formal Methods

2022 · 63 papers

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

1. 2022 · LICS

   A Functorial Excursion Between Algebraic Geometry and Linear Logic

   Paul-André Melliès

   Programming Languages & Formal Methods

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

2. 2022 · LICS

   A Type Theory for Strictly Unital ∞-Categories

   Eric Finster, David Reutter, Jamie Vicary, Alex Rice

   Programming Languages & Formal Methods

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

3. 2022 · LICS

   A direct computational interpretation of second-order arithmetic via update recursion

   Valentin Blot

   Programming Languages & Formal Methods

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

4. 2022 · LICS

   A first-order completeness result about characteristic Boolean algebras in classical realizability

   Guillaume Geoffroy

   Programming Languages & Formal Methods

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

5. 2022 · LICS

   Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods

   R. Govind, Frédéric Herbreteau, Srivathsan, Igor Walukiewicz

   Programming Languages & Formal Methods

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

6. 2022 · LICS

   Active learning for sound negotiations✱

   Anca Muscholl, Igor Walukiewicz

   Programming Languages & Formal Methods

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

7. 2022 · LICS

   Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning

   Matteo Mio, Ralph Sarkis, Valeria Vignudelli

   Programming Languages & Formal Methods

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

8. 2022 · LICS

   Bouncing Threads for Circular and Non-Wellfounded Proofs

   David Baelde, Amina Doumane, Denis Kuperberg, Alexis Saurin

   Programming Languages & Formal Methods

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

9. 2022 · LICS

   Characterizing Positionality in Games of Infinite Duration over Infinite Graphs

   Pierre Ohlmann

   Programming Languages & Formal Methods

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

10. 2022 · LICS

    Choiceless Polynomial Time with Witnessed Symmetric Choice

    Moritz Lichter, Pascal Schweitzer

    Programming Languages & Formal Methods

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

11. 2022 · LICS

    Complexity of Modular Circuits

    Paweł M. Idziak, Piotr Kawałek, Jacek Krzaczkowski

    Programming Languages & Formal Methods

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

12. 2022 · LICS

    Computable PAC Learning of Continuous Features

    Nathanael Ackerman, Julian Asilis, Jieqi Di, Cameron Freer, Jean-Baptiste Tristan

    Programming Languages & Formal Methods

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

13. 2022 · LICS

    Computing the Density of the Positivity Set for Linear Recurrence Sequences

    Edon Kelmendi

    Programming Languages & Formal Methods

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

14. 2022 · LICS

    Concrete categories and higher-order recursion

    Cristina Matache, Sean Moss, Sam Staton

    Programming Languages & Formal Methods

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

15. 2022 · LICS

    Curry and Howard Meet Borel

    Melissa Antonelli, Ugo Dal Lago, Paolo Pistone

    Programming Languages & Formal Methods

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

16. 2022 · LICS

    Cyclic Implicit Complexity

    Gianluca Curzi, Anupam Das

    Programming Languages & Formal Methods

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

17. 2022 · LICS

    Deciding Hyperproperties Combined with Functional Specifications

    Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch

    Programming Languages & Formal Methods

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

18. 2022 · LICS

    Efficient Construction of Reversible Transducers from Regular Transducer Expressions

    Luc Dartois, Paul Gastin, Govind, Krishna

    Programming Languages & Formal Methods

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

19. 2022 · LICS

    Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic

    Beniamino Accattoli

    Programming Languages & Formal Methods

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

20. 2022 · LICS

    Geometric decision procedures and the VC dimension of linear arithmetic theories

    Dmitry Chistikov, Christoph Haase, Alessio Mansutti

    Programming Languages & Formal Methods

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

21. 2022 · LICS

    Graded Monads and Behavioural Equivalence Games

    Chase Ford, Stefan Milius, Lutz Schröder, Harsh Beohar, Barbara König

    Programming Languages & Formal Methods

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

22. 2022 · LICS

    Greatest HITs: Higher inductive types in coinductive definitions via induction under clocks

    Magnus Baunsgaard Kristensen, Rasmus Ejlers Mogelberg, Andrea Vezzosi

    Programming Languages & Formal Methods

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

23. 2022 · LICS

    Identity Testing for Radical Expressions

    Nikhil Balaji, Klara Nosan, Mahsa Shirmohammadi, James Worrell

    Programming Languages & Formal Methods

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

24. 2022 · LICS

    Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱

    Takeshi Tsukada, Kazuyuki Asada

    Programming Languages & Formal Methods

    日本大学: 千葉大学 / 東北大学

25. 2022 · LICS

    Logical Foundations of Quantitative Equality

    Francesco Dagnino, Fabio Pasquali

    Programming Languages & Formal Methods

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

26. 2022 · LICS

    Lower Bounds for the Reachability Problem in Fixed Dimensional VASSes

    Wojciech Czerwinski, Lukasz Orlikowski

    Programming Languages & Formal Methods

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

27. 2022 · LICS

    Milner’s Proof System for Regular Expressions Modulo Bisimilarity is Complete

    Clemens Armin Grabmayer

    Programming Languages & Formal Methods

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

28. 2022 · LICS

    Model Checking on Interpretations of Classes of Bounded Local Cliquewidth

    Édouard Bonnet, Jan Dreier, Jakub Gajarský, Stephan Kreutzer, Nikolas Mählmann, Pierre Simon, Szymon Toruńczyk

    Programming Languages & Formal Methods

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

29. 2022 · LICS

    Monoidal Streams for Dataflow Programming

    Elena Di Lavore, Giovanni de Felice, Mario Román

    Programming Languages & Formal Methods

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

30. 2022 · LICS

    Normalization for Multimodal Type Theory

    Daniel Gratzer

    Programming Languages & Formal Methods

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

31. 2022 · LICS

    On Almost-Uniform Generation of SAT Solutions: The power of 3-wise independent hashing

    Remi Delannoy, Kuldeep S. Meel

    Programming Languages & Formal Methods

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

32. 2022 · LICS

    On the Satisfiability of Context-free String Constraints with Subword-Ordering

    C. Aiswarya, Soumodev Mal, Prakash Saivasan

    Programming Languages & Formal Methods

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

33. 2022 · LICS

    On the Skolem Problem and the Skolem Conjecture

    Richard Lipton, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell

    Programming Languages & Formal Methods

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

34. 2022 · LICS

    On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems

    Ilario Bonacina, Maria Luisa Bonet

    Programming Languages & Formal Methods

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

35. 2022 · LICS

    Partitions and Ewens Distributions in element-free Probability Theory

    Bart Jacobs

    Programming Languages & Formal Methods

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

36. 2022 · LICS

    Probabilistic Verification Beyond Context-Freeness

    Guanyan Li, Andrzej Murawski, Luke Ong

    Programming Languages & Formal Methods

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

37. 2022 · LICS

    Probability monads with submonads of deterministic states

    Sean Moss, Paolo Perrone

    Programming Languages & Formal Methods

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

38. 2022 · LICS

    Quantum Expectation Transformers for Cost Analysis

    Martin Avanzini, Georg Moser, Romain Pechoux, Simon Perdrix, Vladimir Zamdzhiev

    Programming Languages & Formal Methods

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

39. 2022 · LICS

    Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs

    Junyi Liu, Li Zhou, Gilles Barthe, Mingsheng Ying

    Programming Languages & Formal Methods

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

40. 2022 · LICS

    Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification

    Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche

    Programming Languages & Formal Methods

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

41. 2022 · LICS

    Reasonable Space for the λ-Calculus, Logarithmically

    Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni

    Programming Languages & Formal Methods

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

42. 2022 · LICS

    Reasoning on Data Words over Numeric Domains

    Diego Figueira, Anthony Widjaja Lin

    Programming Languages & Formal Methods

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

43. 2022 · LICS

    Resource approximation for the λμ-calculus

    Davide Barbarossa

    Programming Languages & Formal Methods

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

44. 2022 · LICS

    Semantics for two-dimensional type theory

    Benedikt Ahrens, Paige Randall North, Niels van der Weide

    Programming Languages & Formal Methods

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

45. 2022 · LICS

    Separating LREC from LFP

    Anuj Dawar, Felipe Ferreira Santos

    Programming Languages & Formal Methods

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

46. 2022 · LICS

    Size measures and alphabetic equivalence in the μ-calculus

    Clemens Kupke, Johannes Marti, Yde Venema

    Programming Languages & Formal Methods

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

47. 2022 · LICS

    Smooth approximations and CSPs over finitely bounded homogeneous structures

    Antoine Mottet, Michael Pinsker

    Programming Languages & Formal Methods

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

48. 2022 · LICS

    Solvability of orbit-finite systems of linear equations

    Arka Ghosh, Piotr Hofman, Slawomir Lasota

    Programming Languages & Formal Methods

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

49. 2022 · LICS

    Stable graphs of bounded twin-width

    Jakub Gajarský, Michał Pilipczuk, Szymon Toruńczyk

    Programming Languages & Formal Methods

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

50. 2022 · LICS

    Stochastic Games with Synchronizing Objectives

    Laurent Doyen

    Programming Languages & Formal Methods

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

51. 2022 · LICS

    Syllepsis in Homotopy Type Theory

    Kristina Sojakova, G. A. Kavvos

    Programming Languages & Formal Methods

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

52. 2022 · LICS

    Temporal Team Semantics Revisited

    Jens Oliver Gutsfeld, Arne Meier, Christoph Ohrem, Jonni Virtema

    Programming Languages & Formal Methods

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

53. 2022 · LICS

    The Complexity of Bidirected Reachability in Valence Systems

    Moses Ganardi, Rupak Majumdar, Georg Zetzsche

    Programming Languages & Formal Methods

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

54. 2022 · LICS

    The Pebble-Relation Comonad in Finite Model Theory

    Yoàv Montacute, Nihil Shah

    Programming Languages & Formal Methods

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

55. 2022 · LICS

    The Regular Languages of First-Order Logic with One Alternation

    Corentin Barloy, Michael Cadilhac, Charles Paperman, Thomas Zeume

    Programming Languages & Formal Methods

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

56. 2022 · LICS

    The amazing mixed polynomial closure and its applications to two-variable first-order logic

    Thomas Place

    Programming Languages & Formal Methods

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

57. 2022 · LICS

    The boundedness and zero isolation problems for weighted automata over nonnegative rationals

    Wojciech Czerwiński, Engel Lefaucheux, Filip Mazowiecki, David Purser, Markus Whiteland

    Programming Languages & Formal Methods

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

58. 2022 · LICS

    The complexity of soundness in workflow nets

    Michael Blondin, Filip Mazowiecki, Philip Offtermatt

    Programming Languages & Formal Methods

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

59. 2022 · LICS

    Treelike Decompositions for Transductions of Sparse Graphs

    Jan Dreier, Jakub Gajarský, Sandra Kiefer, Michał Pilipczuk, Szymon Toruńczyk

    Programming Languages & Formal Methods

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

60. 2022 · LICS

    Varieties of Quantitative Algebras and Their Monads

    Jiri Adamek

    Programming Languages & Formal Methods

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

61. 2022 · LICS

    When Locality Meets Preservation

    Aliaume Lopez

    Programming Languages & Formal Methods

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

62. 2022 · LICS

    Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics

    Erich Grädel, Hayyan Helal, Matthias Naaf, Richard Wilke

    Programming Languages & Formal Methods

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

63. 2022 · LICS

    Zigzag normalisation for associative n-categories

    Lukas Heidemann, David Reutter, Jamie Vicary

    Programming Languages & Formal Methods

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