Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/lics/lics2024.bht:"
download as .bib file
@inproceedings{DBLP:conf/lics/00010KPR24,
author = {Liron Cohen and
Yannick Forster and
Dominik Kirst and
Bruno da Rocha Paiva and
Vincent Rahli},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Separating Markov's Principles},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {28:1--28:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662104},
doi = {10.1145/3661814.3662104},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/00010KPR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/0001M0U24,
author = {Sergey Goncharov and
Stefan Milius and
Stelios Tsampas and
Henning Urbat},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Bialgebraic Reasoning on Higher-order Program Equivalence},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {39:1--39:15},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662099},
doi = {10.1145/3661814.3662099},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/0001M0U24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/0002024,
author = {Arka Ghosh and
Slawomir Lasota},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Equivariant ideals of polynomials},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {38:1--38:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662074},
doi = {10.1145/3661814.3662074},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/0002024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AdsulGKW24,
author = {Bharat Adsul and
Paul Gastin and
Shantanu Kulkarni and
Pascal Weil},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {An expressively complete local past propositional dynamic logic over
Mazurkiewicz traces and its applications},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {2:1--2:13},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662110},
doi = {10.1145/3661814.3662110},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/AdsulGKW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Allett24,
author = {Cameron Allett},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Non-Elementary Compression of First-Order Proofs in Deep Inference
Using Epsilon-Terms},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {3:1--3:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662101},
doi = {10.1145/3661814.3662101},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Allett24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AnandSSZ24,
author = {Ashwani Anand and
Sylvain Schmitz and
Lia Sch{\"{u}}tze and
Georg Zetzsche},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Verifying Unboundedness via Amalgamation},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {4:1--4:15},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662133},
doi = {10.1145/3661814.3662133},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/AnandSSZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ArrialGK24,
author = {Victor Arrial and
Giulio Guerrieri and
Delia Kesner},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Genericity Through Stratification},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {5:1--5:15},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662113},
doi = {10.1145/3661814.3662113},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/ArrialGK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AsadiCSU24,
author = {Ali Asadi and
Krishnendu Chatterjee and
Jakub Svoboda and
Raimundo Saona Urmeneta},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Deterministic Sub-exponential Algorithm for Discounted-sum Games with
Unary Weights},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {6:1--6:12},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662080},
doi = {10.1145/3661814.3662080},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/AsadiCSU24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Balasubramanian24,
author = {A. R. Balasubramanian},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Decidability and Complexity of Decision Problems for Affine Continuous
{VASS}},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {7:1--7:13},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662124},
doi = {10.1145/3661814.3662124},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Balasubramanian24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BanakhK24,
author = {Demian Banakh and
Marcin Kozik},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Injective hardness condition for PCSPs},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {8:1--8:10},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662072},
doi = {10.1145/3661814.3662072},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BanakhK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BarrettCH24,
author = {Chris Barrett and
Daniel Castle and
Willem Heijltjes},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {The Relational Machine Calculus},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {9:1--9:15},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662091},
doi = {10.1145/3661814.3662091},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BarrettCH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BartoBKVZ24,
author = {Libor Barto and
Silvia Butti and
Alexandr Kazda and
Caterina Viola and
Stanislav Zivn{\'{y}}},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Algebraic Approach to Approximation},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {10:1--10:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662076},
doi = {10.1145/3661814.3662076},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BartoBKVZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BertheKNOV024,
author = {Val{\'{e}}rie Berth{\'{e}} and
Toghrul Karimov and
Joris Nieuwveld and
Jo{\"{e}}l Ouaknine and
Mihir Vahanwala and
James Worrell},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {On the Decidability of Monadic Second-Order Logic with Arithmetic
Predicates},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {11:1--11:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662119},
doi = {10.1145/3661814.3662119},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BertheKNOV024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BlanchiP24,
author = {Victor Blanchi and
Hugo Paquet},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Element-free probability distributions and random partitions},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {12:1--12:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662131},
doi = {10.1145/3661814.3662131},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BlanchiP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BlondinFHMO24,
author = {Michael Blondin and
Alain Finkel and
Piotr Hofman and
Filip Mazowiecki and
Philip Offtermatt},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Soundness of reset workflow nets},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {13:1--13:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662086},
doi = {10.1145/3661814.3662086},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BlondinFHMO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BodirskySL24,
author = {Manuel Bodirsky and
Zaneta Semanisinov{\'{a}} and
Carsten Lutz},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {The Complexity of Resilience Problems via Valued Constraint Satisfaction
Problems},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {14:1--14:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662071},
doi = {10.1145/3661814.3662071},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BodirskySL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BojanczykO24,
author = {Mikolaj Bojanczyk and
Pierre Ohlmann},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Rank-decreasing transductions},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {59:1--59:13},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662083},
doi = {10.1145/3661814.3662083},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BojanczykO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Boker24,
author = {Udi Boker},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Discounted-Sum Automata with Real-Valued Discount Factors},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {15:1--15:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662090},
doi = {10.1145/3661814.3662090},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Boker24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Bonchi0H024,
author = {Filippo Bonchi and
Alessandro Di Giorgio and
Nathan Haydon and
Pawel Sobocinski},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Diagrammatic Algebra of First Order Logic},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {16:1--16:15},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662078},
doi = {10.1145/3661814.3662078},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Bonchi0H024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BoseIT24,
author = {Sougata Bose and
Rasmus Ibsen{-}Jensen and
Patrick Totzke},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Bounded-Memory Strategies in Partial-Information Games},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {17:1--17:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662096},
doi = {10.1145/3661814.3662096},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BoseIT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BuchholtzB24,
author = {Ulrik Torben Buchholtz and
Johannes Schipp von Branitz},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Primitive Recursive Dependent Type Theory},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {18:1--18:12},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662136},
doi = {10.1145/3661814.3662136},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BuchholtzB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BuntingM24,
author = {Benedict Bunting and
Andrzej S. Murawski},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Contextual Equivalence for State and Control via Nested Data},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {19:1--19:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662109},
doi = {10.1145/3661814.3662109},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BuntingM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CagneBKB24,
author = {Pierre Cagne and
Ulrik Torben Buchholtz and
Nicolai Kraus and
Marc Bezem},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {On symmetries of spheres in univalent foundations},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {20:1--20:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662115},
doi = {10.1145/3661814.3662115},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/CagneBKB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CasaresO24,
author = {Antonio Casares and
Pierre Ohlmann},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Positional {\(\omega\)}-regular languages},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {21:1--21:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662087},
doi = {10.1145/3661814.3662087},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/CasaresO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Chodil024,
author = {Miroslav Chodil and
Anton{\'{\i}}n Kucera},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {The Finite Satisfiability Problem for {PCTL} is Undecidable},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {22:1--22:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662145},
doi = {10.1145/3661814.3662145},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Chodil024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Ciardo24,
author = {Lorenzo Ciardo},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Quantum advantage and {CSP} complexity},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {23:1--23:15},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662118},
doi = {10.1145/3661814.3662118},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Ciardo24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CiardoKKNZ24,
author = {Lorenzo Ciardo and
Marcin Kozik and
Andrei A. Krokhin and
Tamio{-}Vesa Nakajima and
Stanislav Zivn{\'{y}}},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {1-in-3 vs. Not-All-Equal: Dichotomy of a broken promise},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {24:1--24:12},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662069},
doi = {10.1145/3661814.3662069},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/CiardoKKNZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CiobanuZ24,
author = {Laura Ciobanu and
Georg Zetzsche},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Slice closures of indexed languages and word equations with counting
constraints},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {25:1--25:12},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662134},
doi = {10.1145/3661814.3662134},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/CiobanuZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ClairambaultF24,
author = {Pierre Clairambault and
Simon Forest},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {An Analysis of Symmetry in Quantitative Semantics},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {26:1--26:13},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662092},
doi = {10.1145/3661814.3662092},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/ClairambaultF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ClementDP24,
author = {Alexandre Cl{\'{e}}ment and
No{\'{e}} Delorme and
Simon Perdrix},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Minimal Equational Theories for Quantum Circuits},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {27:1--27:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662088},
doi = {10.1145/3661814.3662088},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/ClementDP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DalmauO24,
author = {V{\'{\i}}ctor Dalmau and
Jakub Oprsal},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Local consistency as a reduction between constraint satisfaction problems},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {29:1--29:15},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662068},
doi = {10.1145/3661814.3662068},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/DalmauO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Das024,
author = {Anupam Das and
Abhishek De},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {A proof theory of right-linear ({\(\omega\)}-)grammars via cyclic
proofs},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {30:1--30:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662138},
doi = {10.1145/3661814.3662138},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Das024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DeminZ24,
author = {Danila Demin and
Maksim Zhukovskii},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {First order complexity of finite random structures},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {31:1--31:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662127},
doi = {10.1145/3661814.3662127},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/DeminZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FiliotJLMPW24,
author = {Emmanuel Filiot and
Isma{\"{e}}l Jecker and
Christof L{\"{o}}ding and
Anca Muscholl and
Gabriele Puppis and
Sarah Winter},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Finite-valued Streaming String Transducers},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {33:1--33:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662095},
doi = {10.1145/3661814.3662095},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/FiliotJLMPW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FinsterRV24,
author = {Eric Finster and
Alex Rice and
Jamie Vicary},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {A Syntax for Strictly Associative and Unital {\(\infty\)}-Categories},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {34:1--34:13},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662102},
doi = {10.1145/3661814.3662102},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/FinsterRV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FiukKM24,
author = {Oskar Fiuk and
Emanuel Kieronski and
Vincent Michielini},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {On the complexity of Maslov's class {K}},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {35:1--35:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662097},
doi = {10.1145/3661814.3662097},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/FiukKM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GajarskyP0ST24,
author = {Jakub Gajarsk{\'{y}} and
Michal Pilipczuk and
Marek Sokolowski and
Giannos Stamoulis and
Szymon Torunczyk},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Elementary first-order model checking for sparse graphs},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {36:1--36:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662094},
doi = {10.1145/3661814.3662094},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/GajarskyP0ST24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GalalL24,
author = {Zeinab Galal and
Jean{-}Simon Pacaud Lemay},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Combining fixpoint and differentiation theory},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {37:1--37:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662108},
doi = {10.1145/3661814.3662108},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/GalalL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GianantonioE24,
author = {Pietro Di Gianantonio and
Abbas Edalat},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {A Cartesian Closed Category for Random Variables},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {32:1--32:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662126},
doi = {10.1145/3661814.3662126},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/GianantonioE24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GroheR24,
author = {Martin Grohe and
Eran Rosenbluth},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Are Targeted Messages More Effective?},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {40:1--40:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662093},
doi = {10.1145/3661814.3662093},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/GroheR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HainryKMP24,
author = {Emmanuel Hainry and
Bruce M. Kapron and
Jean{-}Yves Marion and
Romain P{\'{e}}choux},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Declassification Policy for Program Complexity Analysis},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {41:1--41:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662100},
doi = {10.1145/3661814.3662100},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/HainryKMP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HasegawaL24,
author = {Masahito Hasegawa and
Serge Lechenne},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Braids, Twists, Trace and Duality in Combinatory Algebras},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {42:1--42:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662098},
doi = {10.1145/3661814.3662098},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/HasegawaL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HeffordW24,
author = {James Hefford and
Matthew Wilson},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {A Profunctorial Semantics for Quantum Supermaps},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {43:1--43:15},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662123},
doi = {10.1145/3661814.3662123},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/HeffordW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HershkoZ24,
author = {Tal Hershko and
Maksim Zhukovskii},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {First order distinguishability of sparse random graphs},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {44:1--44:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662117},
doi = {10.1145/3661814.3662117},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/HershkoZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HetzlJ24,
author = {Stefan Hetzl and
Raheleh Jalali},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {On the Completeness of Interpolation Algorithms},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {45:1--45:13},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662112},
doi = {10.1145/3661814.3662112},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/HetzlJ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/JeckerMP24,
author = {Isma{\"{e}}l Jecker and
Filip Mazowiecki and
David Purser},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Determinisation and Unambiguisation of Polynomially-Ambiguous Rational
Weighted Automata},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {46:1--46:13},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662073},
doi = {10.1145/3661814.3662073},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/JeckerMP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KaramlouS24,
author = {Amin Karamlou and
Nihil Shah},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {No Go Theorems: Directed Containers That Do Not Distribute Over Distribution
Monads},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {69:1--69:13},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662137},
doi = {10.1145/3661814.3662137},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/KaramlouS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KasymovKK24,
author = {Nadim Kasymov and
Nadira Karimova and
Bakh Khoussainov},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Defining algorithmically presented structures in first order logic},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {47:1--47:13},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662120},
doi = {10.1145/3661814.3662120},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/KasymovKK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KerjeanP24,
author = {Marie Morgane Kerjean and
Pierre{-}Marie P{\'{e}}drot},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {{\(\delta\)} is for Dialectica},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {48:1--48:13},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662106},
doi = {10.1145/3661814.3662106},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/KerjeanP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Keskin024,
author = {Eren Keskin and
Roland Meyer},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {On the Separability Problem of {VASS} Reachability Languages},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {49:1--49:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662116},
doi = {10.1145/3661814.3662116},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Keskin024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KieferN24,
author = {Sandra Kiefer and
Daniel Neuen},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Bounding the Weisfeiler-Leman Dimension via a Depth Analysis of I/R-Trees},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {50:1--50:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662122},
doi = {10.1145/3661814.3662122},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/KieferN24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Knudstorp24,
author = {S{\o}ren Brinck Knudstorp},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Relevant {S} is Undecidable},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {51:1--51:8},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662128},
doi = {10.1145/3661814.3662128},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Knudstorp24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Kori0RK24,
author = {Mayuko Kori and
Kazuki Watanabe and
Jurriaan Rot and
Shin{-}ya Katsumata},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Composing Codensity Bisimulations},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {52:1--52:13},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662139},
doi = {10.1145/3661814.3662139},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Kori0RK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KoutavasLT24,
author = {Vasileios Koutavas and
Yu{-}Yang Lin and
Nikos Tzevelekos},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Pushdown Normal-Form Bisimulation: {A} Nominal Context-Free Approach
to Program Equivalence},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {53:1--53:15},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662103},
doi = {10.1145/3661814.3662103},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/KoutavasLT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/LhoteMS24,
author = {Nathan Lhote and
Vincent Michielini and
Michal Skrzypczak},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Uniformisation of Regular Relations in First-Order Logic with Two
Variables},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {54:1--54:13},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662114},
doi = {10.1145/3661814.3662114},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/LhoteMS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/LiAJ0H24,
author = {John M. Li and
Jon Aytac and
Philip Johnson{-}Freyd and
Amal Ahmed and
Steven Holtzen},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {A Nominal Approach to Probabilistic Separation Logic},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {55:1--55:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662135},
doi = {10.1145/3661814.3662135},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/LiAJ0H24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/LyonO24,
author = {Tim Lyon and
Piotr Ostropolski{-}Nalewaja},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Decidability of Quasi-Dense Modal Logics},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {60:1--60:8},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662111},
doi = {10.1145/3661814.3662111},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/LyonO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MimramO24,
author = {Samuel Mimram and
{\'{E}}mile Oleon},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Delooping cyclic groups with lens spaces in homotopy type theory},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {56:1--56:15},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662077},
doi = {10.1145/3661814.3662077},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/MimramO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MitterwallnerMT24,
author = {Fabian Mitterwallner and
Aart Middeldorp and
Ren{\'{e}} Thiemann},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Linear Termination is Undecidable},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {57:1--57:12},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662081},
doi = {10.1145/3661814.3662081},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/MitterwallnerMT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MontacuteW24,
author = {Yo{\`{a}}v Montacute and
Glynn Winskel},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Concurrent Games over Relational Structures: The Origin of Game Comonads},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {58:1--58:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662075},
doi = {10.1145/3661814.3662075},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/MontacuteW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PaquetS24,
author = {Hugo Paquet and
Philip Saville},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Effectful semantics in bicategories: strong, commutative, and concurrent
pseudomonads},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {61:1--61:15},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662130},
doi = {10.1145/3661814.3662130},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/PaquetS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Pedrot24,
author = {Pierre{-}Marie P{\'{e}}drot},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {"Upon This Quote {I} Will Build My Church Thesis"},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {65:1--65:12},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662070},
doi = {10.1145/3661814.3662070},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Pedrot24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PetersY24,
author = {Kirstin Peters and
Nobuko Yoshida},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Separation and Encodability in Mixed Choice Multiparty Sessions},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {62:1--62:15},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662085},
doi = {10.1145/3661814.3662085},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/PetersY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PfluegerMK24,
author = {Maximilian Pflueger and
Johannes Marti and
Egor V. Kostylev},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {A Characterisation Theorem for Two-Way Bisimulation-Invariant Monadic
Least Fixpoint Logic Over Finite Structures},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {63:1--63:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662107},
doi = {10.1145/3661814.3662107},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/PfluegerMK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PlaceZ24,
author = {Thomas Place and
Marc Zeitoun},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Dot-depth three, return of the J-class},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {64:1--64:15},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662082},
doi = {10.1145/3661814.3662082},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/PlaceZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/RozowskiS24,
author = {Wojciech Rozowski and
Alexandra Silva},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {A Completeness Theorem for Probabilistic Regular Expressions},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {66:1--66:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662084},
doi = {10.1145/3661814.3662084},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/RozowskiS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/SattlerW24,
author = {Christian Sattler and
David W{\"{a}}rn},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Natural numbers from integers},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {67:1--67:9},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662129},
doi = {10.1145/3661814.3662129},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/SattlerW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/SchirrmacherSST24,
author = {Nicole Schirrmacher and
Sebastian Siebertz and
Giannos Stamoulis and
Dimitrios M. Thilikos and
Alexandre Vigny},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph
Classes},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {68:1--68:12},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662089},
doi = {10.1145/3661814.3662089},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/SchirrmacherSST24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Simpson24,
author = {Alex Simpson},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Equivalence and Conditional Independence in Atomic Sheaf Logic},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {70:1--70:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662132},
doi = {10.1145/3661814.3662132},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Simpson24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Vinall-Smeeth24,
author = {Harry Vinall{-}Smeeth},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {From Quantifier Depth to Quantifier Number: Separating Structures
with k Variables},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {71:1--71:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662125},
doi = {10.1145/3661814.3662125},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Vinall-Smeeth24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/WafaP24,
author = {Noah {Abou El Wafa} and
Andr{\'{e}} Platzer},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Complete Game Logic with Sabotage},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {1:1--1:15},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662121},
doi = {10.1145/3661814.3662121},
timestamp = {Tue, 16 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/WafaP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/WissmannM24,
author = {Thorsten Wi{\ss}mann and
Stefan Milius},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Initial Algebras Unchained - {A} Novel Initial Algebra Construction
Formalized in Agda},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {72:1--72:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662105},
doi = {10.1145/3661814.3662105},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/WissmannM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/2024,
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814},
doi = {10.1145/3661814},
timestamp = {Mon, 24 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-07-17 07:19 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
