

{"id":129,"date":"2024-01-16T12:07:22","date_gmt":"2024-01-16T11:07:22","guid":{"rendered":"https:\/\/project.inria.fr\/daal2024\/?page_id=129"},"modified":"2024-06-10T10:20:27","modified_gmt":"2024-06-10T08:20:27","slug":"program","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/daal2024\/en\/program\/","title":{"rendered":"Program"},"content":{"rendered":"<p class=\"wp-block-paragraph\">The meeting starts Thursday April 25 afternoon around 2pm and finishes Friday April 26 afternoon around 6pm.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Reception will be open Thusday April 25 at 1pm at the reception desk of IRISA laboratory.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><\/p>\n\n\n\n<p class=\"wp-block-paragraph\"> The program in pdf format can be found here: <a href=\"https:\/\/project.inria.fr\/daal2024\/files\/2024\/04\/program-daal_2024.pdf\">https:\/\/project.inria.fr\/daal2024\/files\/2024\/04\/program-daal_2024.pdf<\/a><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">The slides of the presentations are given after the program. <\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><a href=\"https:\/\/project.inria.fr\/daal2024\/files\/2024\/04\/Capture-decran-2024-04-25-a-09.46.02-1.png\"><img loading=\"lazy\" decoding=\"async\" width=\"884\" height=\"786\" src=\"https:\/\/project.inria.fr\/daal2024\/files\/2024\/04\/Capture-decran-2024-04-25-a-09.46.02-1.png\" alt=\"\" class=\"wp-image-396\" srcset=\"https:\/\/project.inria.fr\/daal2024\/files\/2024\/04\/Capture-decran-2024-04-25-a-09.46.02-1.png 884w, https:\/\/project.inria.fr\/daal2024\/files\/2024\/04\/Capture-decran-2024-04-25-a-09.46.02-1-300x267.png 300w, https:\/\/project.inria.fr\/daal2024\/files\/2024\/04\/Capture-decran-2024-04-25-a-09.46.02-1-768x683.png 768w, https:\/\/project.inria.fr\/daal2024\/files\/2024\/04\/Capture-decran-2024-04-25-a-09.46.02-1-150x133.png 150w\" sizes=\"auto, (max-width: 884px) 100vw, 884px\" \/><\/a><\/figure>\n\n\n\n<h2 class=\"wp-block-heading\">Links to the presentations<\/h2>\n\n\n\n<ul class=\"wp-block-list\"><li><strong>Philippe Schnoebelen <a href=\"https:\/\/project.inria.fr\/daal2024\/files\/2024\/05\/presentation_PS.pdf\">Reasoning about subwords and subsequences<\/a><\/strong><\/li><li><strong>Peter Hines <a href=\"https:\/\/project.inria.fr\/daal2024\/files\/2024\/05\/Session1Talk1.pdf\">On the order theory of transition systems<\/a><\/strong><\/li><li><strong>Remi Morvan <a href=\"https:\/\/www.morvan.xyz\/slides\/2024_daal_automatic\/\">The Algebras for Automatic Relation<\/a>s<\/strong><\/li><li><strong>J\u00e9r\u00e9mie Marqus <a href=\"https:\/\/project.inria.fr\/daal2024\/files\/2024\/05\/Session1Talk3.pdf\">The Freyd-Sch\u00fctzenberger completion of a small category<\/a><\/strong><\/li><li><strong>Mirna D\u017eamonja <a href=\"https:\/\/project.inria.fr\/daal2024\/files\/2024\/05\/Session2Talk1.pdf\">On maximal order types of lexicographic product of wpos<\/a><\/strong><\/li><li><strong>Theo Losekoot <a href=\"https:\/\/project.inria.fr\/daal2024\/files\/2024\/05\/Session2Talk2.pdf\">Verification of programs with ADTs using Shallow Horn Clauses<\/a><\/strong><\/li><li><strong>Philipp Schlehuber <a href=\"https:\/\/project.inria.fr\/daal2024\/files\/2024\/05\/session2talk3.pdf\">\u03c9-Regular Energy Problems<\/a><\/strong><\/li><li><strong>Laure Daviaud <a href=\"https:\/\/project.inria.fr\/daal2024\/files\/2024\/05\/presLaureDaviaud.pdf\">Weighted automata: To be decidable, or not to be decidable, that is the question.<\/a><\/strong><\/li><li><strong>Yahia Idriss Benalioua <a href=\"https:\/\/project.inria.fr\/daal2024\/files\/2024\/05\/Session3Talk1.pdf\">Minimization of Cost Register Automata over a Field<\/a><\/strong><\/li><li><strong>Emily Clement <a href=\"https:\/\/project.inria.fr\/daal2024\/files\/2024\/05\/Session3Talk2.pdf\">Languages of Higher Dimensional Timed Automata<\/a><\/strong><\/li><li><strong>Nguy\u1ec5n L. Th.nh D\u0169ng <a href=\"https:\/\/project.inria.fr\/daal2024\/files\/2024\/05\/Session3Talk3.pdf\">On regular languages of \u03bb-terms<\/a><\/strong><\/li><li><strong>Pierre Ohlmann <a href=\"https:\/\/pageperso.lis-lab.fr\/pierre.ohlmann\/contents\/slides\/rank_decreasing_transductions\/?step=0\">Rank-decreasing transductions<\/a><\/strong><\/li><li><strong>Alexandre Durand <a href=\"https:\/\/project.inria.fr\/daal2024\/files\/2024\/05\/Session4Talk1.pdf\">The exact state complexity for the composition of root and reversal<\/a><\/strong><\/li><li><strong>Gabriel Bathie <a href=\"https:\/\/project.inria.fr\/daal2024\/files\/2024\/05\/Session4Talk2.pdf\">The complexity of testing regular languages<\/a><\/strong><\/li><li><strong>Corto Mascle <a href=\"https:\/\/project.inria.fr\/daal2024\/files\/2024\/05\/session4Talk3.pdf\">Proving hardness of LTL learning<\/a><\/strong><\/li><li><strong>Denis Kuperberg <a href=\"https:\/\/project.inria.fr\/daal2024\/files\/2024\/05\/Session4Talk4.pdf\">Explorable automata<\/a><\/strong><\/li><li><strong>Christophe <a href=\"https:\/\/project.inria.fr\/daal2024\/files\/2024\/05\/Session5Talk1.pdf\">Grandmont As Soon as Possible but Rationally<\/a><\/strong><\/li><li><strong>Dylan Bellier <a href=\"https:\/\/project.inria.fr\/daal2024\/files\/2024\/06\/dylan_compressed.pdf\">Plan Logic<\/a><\/strong><\/li><li><strong>Antonio Casares <a href=\"https:\/\/antonio-casares.github.io\/Talks\/Slajdomat\/TransitionVSstates_GTDAAL24\/?step=0\">State-based vs transition-based acceptance for \u03c9-automata<\/a><\/strong><\/li><\/ul>","protected":false},"excerpt":{"rendered":"<p>The meeting starts Thursday April 25 afternoon around 2pm and finishes Friday April 26 afternoon around 6pm. Reception will be open Thusday April 25 at 1pm at the reception desk of IRISA laboratory. The program in pdf format can be found here: https:\/\/project.inria.fr\/daal2024\/files\/2024\/04\/program-daal_2024.pdf The slides of the presentations are given\u2026<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/daal2024\/en\/program\/\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":929,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":"","_members_access_role":[],"_members_access_error":""},"class_list":["post-129","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/daal2024\/en\/wp-json\/wp\/v2\/pages\/129","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/daal2024\/en\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/daal2024\/en\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/daal2024\/en\/wp-json\/wp\/v2\/users\/929"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/daal2024\/en\/wp-json\/wp\/v2\/comments?post=129"}],"version-history":[{"count":35,"href":"https:\/\/project.inria.fr\/daal2024\/en\/wp-json\/wp\/v2\/pages\/129\/revisions"}],"predecessor-version":[{"id":438,"href":"https:\/\/project.inria.fr\/daal2024\/en\/wp-json\/wp\/v2\/pages\/129\/revisions\/438"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/daal2024\/en\/wp-json\/wp\/v2\/media?parent=129"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}