{"id":14,"date":"2023-12-08T17:45:47","date_gmt":"2023-12-08T17:45:47","guid":{"rendered":"https:\/\/dlt2019.mimuw.edu.pl\/?page_id=14"},"modified":"2023-12-11T00:21:40","modified_gmt":"2023-12-11T00:21:40","slug":"schedule","status":"publish","type":"page","link":"https:\/\/dlt2019.mimuw.edu.pl\/conference\/schedule\/","title":{"rendered":"Schedule"},"content":{"rendered":"\n
\n\n
\n
Monday<\/div>\n
<\/div>\n
\n
15:00<\/span> Registration<\/div>\n<\/div>\n
\n
15:30<\/span> Invited talk<\/div>\n
\n\nInherent size blowup in omega automata<\/a>\n\n<\/div>\n
Udi Boker<\/div>\n<\/div>\n
\n
16:30<\/span> Coffee<\/div>\n<\/div>\n
\n
17:00 – 18:00<\/span> Session<\/div>\n
\n\nCharacterizing the Valuedness of Two-way Finite Transducers<\/a>\n\n<\/div>\n
Di-De Yen and Hsu-Chun Yen<\/div>\n
\n\nCoinductive algorithms for B\u00fcchi automata<\/a>\n\n<\/div>\n
Denis Kuperberg, Laureline Pinault, and Damien Pous<\/div>\n<\/div>\n
\n
20:00 – 24:00<\/span> Reception party<\/div>\n<\/div>\n<\/div>\n
\n
Tuesday<\/div>\n
\n
9:00<\/span> Invited talk<\/div>\n
\n\nCompleteness for Identity-free Kleene Lattices<\/a>\n\n<\/div>\n
Amina Doumane<\/div>\n<\/div>\n
\n
10:00<\/span> Coffee<\/div>\n<\/div>\n
\n
10:30<\/span> Session<\/div>\n
\n\nOn the length of shortest strings accepted by two-way finite automata<\/a>\n\n<\/div>\n
Egor Dobronravov, Nikita Dobronravov, and Alexander Okhotin<\/div>\n
\n\nA linear bound on the k-rendezvous time for primitive sets of NZ matrices<\/a>\n\n<\/div>\n
Umer Azfar, Costanza Catalano, Ludovic Charlier, and Rapha\u00ebl Jungers<\/div>\n
\n\nWords of Minimum Rank in Deterministic Finite Automata<\/a>\n\n<\/div>\n
Jarkko Kari, Andrew Ryzhikov, and Anton Varonka<\/div>\n<\/div>\n
\n
12:00<\/span> Lunch<\/div>\n<\/div>\n
\n
13:30<\/span> Session<\/div>\n
\n\nInput-Driven Pushdown Automata for Edit Distance Neighborhood<\/a>\n\n<\/div>\n
Viliam Geffert, Zuzana Bednarova, and Alexander Szabari<\/div>\n
\n\nThe Relative Edit-Distance Between Two Input-Driven Languages<\/a>\n\n<\/div>\n
Hyunjoon Cheon, Yo-Sub Han, Sang-Ki Ko, and Kai Salomaa<\/div>\n<\/div>\n
\n
14:30<\/span> Coffee<\/div>\n<\/div>\n
\n
15:00 – 18:00<\/span> Open problem session<\/div>\n<\/div>\n<\/div>\n
\n
Wednesday<\/div>\n
\n
9:00<\/span> Invited talk<\/div>\n
\n\nSingle-stranded architectures for computing<\/a>\n\n<\/div>\n
Shinnosuke Seki<\/div>\n<\/div>\n
\n
10:00<\/span> Coffee<\/div>\n<\/div>\n
\n
10:30<\/span> Session<\/div>\n
\n\nOn palindromic length of Sturmian sequences<\/a>\n\n<\/div>\n
Petr Ambroz and Edita Pelantov\u00e1<\/div>\n
\n\nOn Shrinking Restarting Automata of Window Size One and Two<\/a>\n\n<\/div>\n
Friedrich Otto and Franti\u0161ek Mr\u00e1z<\/div>\n
\n\nOn timed scope-bounded context-sensitive languages<\/a>\n\n<\/div>\n
Ramchandra Phawade, Krishna S, Ashutosh Trivedi, and Devendra Bhave<\/div>\n<\/div>\n
\n
12:00<\/span> Lunch<\/div>\n<\/div>\n
\n
13:30<\/span> Session<\/div>\n
\n\nLogics for Reversible Regular Languages and Semigroups with Involution<\/a>\n\n<\/div>\n
Paul Gastin, Amaldev Manuel, and Govind R<\/div>\n
\n\nEventually Safe Languages<\/a>\n\n<\/div>\n
Simon Iosti and Denis Kuperberg<\/div>\n<\/div>\n
\n
14:30<\/span> Coffee<\/div>\n<\/div>\n
\n
15:00 – 18:00<\/span> Business time<\/div>\n<\/div>\n<\/div>\n
\n
Thursday<\/div>\n
\n
9:00<\/span> Invited talk<\/div>\n
\n\nDeciding Context Unification (with regular constraints)<\/a>\n\n<\/div>\n
Artur Je\u017c<\/div>\n<\/div>\n
\n
10:00<\/span> Coffee<\/div>\n<\/div>\n
\n
10:30<\/span> Session<\/div>\n
\n\nHole-free Partially Directed Animals<\/a>\n\n<\/div>\n
Paolo Massazza<\/div>\n
\n\nAnalysis of symbol statistics in bicomponent rational models<\/a>\n\n<\/div>\n
Massimiliano Goldwurm, Jianyi Lin, and Marco Vignati<\/div>\n
\n\nContext-free word problem semigroups<\/a>\n\n<\/div>\n
Tara Brough, Alan Cain, and Markus Pfeiffe<\/div>\n<\/div>\n
\n
12:00<\/span> Lunch<\/div>\n<\/div>\n
\n
13:30<\/span> Session<\/div>\n
\n\nThe Teaching Complexity of Erasing Pattern Languages With Bounded Variable Frequency<\/a>\n\n<\/div>\n
Ziyuan Gao<\/div>\n
\n\nFirst lower bounds on palindromic length<\/a>\n\n<\/div>\n
Anna Frid<\/div>\n<\/div>\n
\n
14:30<\/span> Coffee<\/div>\n<\/div>\n
\n
15:00 – 18:00<\/span>\n\nAward ceremony<\/a>\n\n<\/div>\n<\/div>\n
\n
20:00 – 24:00<\/span> Banquet<\/div>\n<\/div>\n<\/div>\n
\n
Friday<\/div>\n
<\/div>\n
\n
10:00<\/span> Coffee<\/div>\n<\/div>\n
\n
10:30<\/span> Session<\/div>\n
\n\nSeparating many words by counting occurrences of factors<\/a>\n\n<\/div>\n
Aleksi Saarela<\/div>\n
\n\nk-Spectra of Weakly-c-Balanced Words<\/a>\n\n<\/div>\n
Joel Day, Pamela Fleischmann, Florin Manea, and Dirk Nowotka<\/div>\n
\n\nComputing the k-binomial complexity of the Thue-Morse word<\/a>\n\n<\/div>\n
Marie Lejeune, Julien Leroy, and Michel Rigo<\/div>\n<\/div>\n
\n
12:00 – 13:30<\/span> Lunch<\/div>\n<\/div>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"Monday 15:00 Registration 15:30 Invited talk Inherent size blowup in omega automata Udi Boker 16:30 Coffee 17:00 – 18:00 Session Characterizing the Valuedness of Two-way Finite Transducers Di-De Yen and Hsu-Chun Yen Coinductive algorithms for B\u00fcchi automata Denis Kuperberg, Laureline Pinault, and Damien Pous 20:00 – 24:00 Reception party Tuesday 9:00 Invited talk Completeness for […]","protected":false},"author":1,"featured_media":0,"parent":10,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"page-container.php","meta":{"footnotes":""},"_links":{"self":[{"href":"https:\/\/dlt2019.mimuw.edu.pl\/wp-json\/wp\/v2\/pages\/14"}],"collection":[{"href":"https:\/\/dlt2019.mimuw.edu.pl\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/dlt2019.mimuw.edu.pl\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/dlt2019.mimuw.edu.pl\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/dlt2019.mimuw.edu.pl\/wp-json\/wp\/v2\/comments?post=14"}],"version-history":[{"count":1,"href":"https:\/\/dlt2019.mimuw.edu.pl\/wp-json\/wp\/v2\/pages\/14\/revisions"}],"predecessor-version":[{"id":15,"href":"https:\/\/dlt2019.mimuw.edu.pl\/wp-json\/wp\/v2\/pages\/14\/revisions\/15"}],"up":[{"embeddable":true,"href":"https:\/\/dlt2019.mimuw.edu.pl\/wp-json\/wp\/v2\/pages\/10"}],"wp:attachment":[{"href":"https:\/\/dlt2019.mimuw.edu.pl\/wp-json\/wp\/v2\/media?parent=14"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}