[et_pb_section fb_built=”1″ next_background_color=”#ffffff” _builder_version=”4.4.6″ background_color=”#8c8c8c” top_divider_color=”#b53319″ bottom_divider_style=”arrow3″][et_pb_row _builder_version=”4.4.6″ custom_margin=”-26px|auto||auto||”][et_pb_column type=”4_4″ _builder_version=”4.4.6″][et_pb_text _builder_version=”4.4.6″ hover_enabled=”0″]<\/p>\n
[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”4.4.6″][et_pb_row _builder_version=”4.4.6″ width=”80.7%”][et_pb_column type=”4_4″ _builder_version=”4.4.6″][et_pb_text _builder_version=”4.4.6″ hover_enabled=”0″]<\/p>\n
Fusible numbers and Peano Arithmetic –<\/strong>\u00a0<\/span>Jeff Erickson<\/a>,\u00a0<\/span>Gabriel Nivasch<\/a>\u00a0and Junyan Xu.<\/span><\/p>\n Positive first-order logic on words –<\/strong>\u00a0Denis Kuperberg<\/a>.<\/p>\n Inapproximability of Unique Games in Fixed-Point Logic with Counting –<\/strong>\u00a0Jamie Tucker-Foltz<\/a>. (co-winner of Kleene Award for Best Student Paper)<\/p>\n Separating Rank Logic from Polynomial Time –<\/strong> Moritz Lichter<\/a>. (co-winner of Kleene Award for Best Student Paper)<\/p>\n Lacon- and Shrub-Decompositions: A New Characterization of First-Order Transductions of Bounded Expansion Classes –<\/strong> Jan Dreier<\/a>.<\/p>\n A Logic for Locally Complete Abstract Interpretations –<\/strong> Roberto Bruni<\/a>,\u00a0Roberto Giacobazzi<\/a>, Roberta Gori and Francesco Ranzato.<\/p>\n Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata –\u00a0<\/strong>Miko\u0142aj Boja\u0144czyk<\/a>,\u00a0Bartek Klin<\/a>\u00a0and Joshua Moerman.<\/p>\n Universal Skolem Sets –\u00a0<\/strong>Florian Luca,\u00a0Joel Ouaknine<\/a>\u00a0and\u00a0James Worrell<\/a>.<\/p>\n Compositional Semantics for Probabilistic Programs with Exact Conditioning –\u00a0<\/strong>Dario Stein and Sam Staton.<\/p>\n Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP –\u00a0<\/strong>Libor Barto, Zarathustra Brady,\u00a0Andrei Bulatov<\/a>,\u00a0Marcin Kozik<\/a>\u00a0and Dmitriy Zhuk.<\/p>\n <\/p>\n [\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section]<\/p>\n","protected":false},"excerpt":{"rendered":" LICS 2021 Distinguished Papers Fusible numbers and Peano Arithmetic –\u00a0Jeff Erickson,\u00a0Gabriel Nivasch\u00a0and Junyan Xu. Positive first-order logic on words –\u00a0Denis Kuperberg. Inapproximability of Unique Games in Fixed-Point Logic with Counting –\u00a0Jamie Tucker-Foltz. (co-winner of Kleene Award for Best Student Paper) Separating Rank Logic from Polynomial Time – Moritz Lichter. (co-winner of Kleene Award for Best […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_et_pb_use_builder":"on","_et_pb_old_content":"","_et_gb_content_width":""},"_links":{"self":[{"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/pages\/428"}],"collection":[{"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/comments?post=428"}],"version-history":[{"count":4,"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/pages\/428\/revisions"}],"predecessor-version":[{"id":438,"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/pages\/428\/revisions\/438"}],"wp:attachment":[{"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/media?parent=428"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}