{"id":236,"date":"2024-07-18T10:09:21","date_gmt":"2024-07-18T10:09:21","guid":{"rendered":"http:\/\/www.math.akita-u.ac.jp\/ciaa2024\/?page_id=236"},"modified":"2024-10-21T09:45:54","modified_gmt":"2024-10-21T09:45:54","slug":"program","status":"publish","type":"page","link":"http:\/\/www.math.akita-u.ac.jp\/ciaa2024\/index.php\/program\/","title":{"rendered":"Program"},"content":{"rendered":"\n

The schedule is planned from 9am on September 3 (Tuesday) until 3pm on September 6 (Friday).<\/p>\n\n\n\n

Participants can register and receive their badges and conference bags with information sheets at the venue from 8:15 until 9:00 on each day.<\/strong><\/mark><\/p>\n\n\n\n

An excursion and the conference dinner is planned for the afternoon and evening of September 5, respectively. <\/p>\n\n\n\n

The smart program (generated by Easychair) is available at this link<\/a>. A simpler version is below.<\/p>\n\n\n\n

Coffee breaks are scheduled each day between 10:30-11:00 and on the first two days between 15:00-15:30.<\/p>\n\n\n\n

Tuesday, September 3rd<\/h2>\n\n\n\n

09:00-09:30<\/strong> Session 1<\/a><\/p>\n\n\n\n

Opening<\/p>\n\n\n\n

09:30-10:30<\/strong> Session 2<\/a>: Contributed talks<\/p>\n\n\n\n

09:30<\/td>Martin Kutrib<\/a>, Andreas Malcher<\/a>, Carlo Mereghetti<\/a>, Beatrice Palano<\/a>, Priscilla Raucci<\/a> and Matthias Wendlandt<\/a>
On Properties of Languages Accepted by Deterministic Pushdown Automata with Translucent Input Letters (abstract<\/a>)<\/td><\/tr>
10:00<\/td>Simon Dieck<\/a> and Sicco Verwer<\/a>
On bidirectional deterministic finite automata (abstract<\/a>)<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

11:00-12:00<\/strong> Session 3<\/a>: Invited talk<\/p>\n\n\n\n

11:00<\/td>Hiroyuki Seki<\/a>
Automata and Grammars for Data Words (abstract<\/a>)<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

13:30-15:00<\/strong> Session 4<\/a>: Contributed talks<\/p>\n\n\n\n

13:30<\/td>Keisuke Nakano<\/a> and Munehiro Iwami<\/a>
Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (abstract<\/a>)<\/td><\/tr>
14:00<\/td>Sebastian Maneth<\/a> and Viet Anh Martin Vu<\/a>
Attributed Tree Transducers for Partial Functions (abstract<\/a>)<\/td><\/tr>
14:30<\/td>Luisa Herrmann<\/a> and Richard M\u00f6rbitz<\/a>
Global One-Counter Tree Automata (abstract<\/a>)<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

15:30-17:00<\/strong> Session 5<\/a>: Contributed talks<\/p>\n\n\n\n

15:30<\/td>Aaron Barnoff<\/a>, Curtis Bright<\/a> and Jeffrey Shallit<\/a>
Using finite automata to compute the base-b representation of the golden ratio and other quadratic irrationals (abstract<\/a>)<\/td><\/tr>
16:00<\/td>Martin Berglund<\/a>, Willeke Martens<\/a> and Brink van der Merwe<\/a>
Constructing a BPE Tokenization DFA (abstract<\/a>)<\/td><\/tr>
16:30<\/td>Dirk Nowotka<\/a> and Max Wiedenh\u00f6ft<\/a>
The Equivalence Problem of E-Pattern Languages with Regular Constraints is Undecidable (abstract<\/a>)<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

Wednesday, September 4th<\/h2>\n\n\n\n

09:00-10:30<\/strong> Session 6<\/a>: Contributed talks<\/p>\n\n\n\n

09:00<\/td>Eugene Asarin<\/a>, Aldric Degorre<\/a>, Catalin Dima<\/a> and Bernardo Jacobo Incl\u00e1n<\/a>
Computing the Bandwidth of Meager Timed Automata (abstract<\/a>)<\/td><\/tr>
09:30<\/td>Vincent Hugot<\/a>, Adrien Boiret<\/a> and Yohan Boichut<\/a>
SAT-Based Automated Completion for Reachability Analysis (abstract<\/a>)<\/td><\/tr>
10:00<\/td>Bernard Boigelot<\/a>, Pascal Fontaine<\/a> and Baptiste Vergain<\/a>
Non-Emptiness Test for Automata over Words Indexed by Reals and Rationals (abstract<\/a>)<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

11:00-12:00<\/strong> Session 7<\/a>: Invited talk<\/p>\n\n\n\n

11:00<\/td>Orna Kupferman<\/a>
Playing Games on Automata (abstract<\/a>)<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

13:30-15:00<\/strong> Session 8<\/a>: Contributed talks<\/p>\n\n\n\n

13:30<\/td>Giovanni Pighizzini<\/a>
Push Complexity: Optimal Bounds and Unary Inputs (abstract<\/a>)<\/td><\/tr>
14:00<\/td>Vladimir Zakharov<\/a> and Tianxiang Tang<\/a>
On the Complexity of Decision Problems for Parameterized Finite State Synchronous Transducers (abstract<\/a>)<\/td><\/tr>
14:30<\/td>Hermann Gruber<\/a>, Markus Holzer<\/a> and Christian Rauch<\/a>
On Pumping Preserving Homomorphisms and the Complexity of the Pumping Problem (Extended Abstract) (abstract<\/a>)<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

15:30-17:00<\/strong> Session 9<\/a>: Contributed talks<\/p>\n\n\n\n

15:30<\/td>Guilherme Duarte<\/a>, Nelma Moreira<\/a>, Luca Prigioniero<\/a> and Rog\u00e9rio Reis<\/a>
Block Languages and their Bitmap Representations (abstract<\/a>)<\/td><\/tr>
16:00<\/td>Jozef Jirasek<\/a>, Galina Jiraskova<\/a> and Jeffrey Shallit<\/a>
State Complexity of the Minimal Star Basis (abstract<\/a>)<\/td><\/tr>
16:30<\/td>Olga Martynova<\/a>
Exact descriptional complexity of determinization of input-driven pushdown automata (abstract<\/a>)<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

Thursday, September 5th<\/h2>\n\n\n\n

09:00-10:30<\/strong> Session 10<\/a>: Contributed talks<\/p>\n\n\n\n

09:00<\/td>Alexander Roodt<\/a>, Brendan Watling<\/a>, Willem Bester<\/a>, Brink van der Merwe<\/a>, Sicheol Sung<\/a> and Yo-Sub Han<\/a>
Benchmarking Regular Expression Matching (abstract<\/a>)<\/td><\/tr>
09:30<\/td>Antoine Martin<\/a>, Alexandre Duret-Lutz<\/a> and Etienne Renault<\/a>
Translation of Semi-Extended Regular Expressions using Derivatives (abstract<\/a>)<\/td><\/tr>
10:00<\/td>Robert Baumgartner<\/a> and Sicco Verwer<\/a>
PDFA distillation with error bound guarantees (abstract<\/a>)<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

11:00-12:00<\/strong> Session 11<\/a>: Invited talk<\/p>\n\n\n\n

11:00<\/td>Sang-Ki Ko<\/a>
Neuro-Symbolic Approach for Efficient Regular Expression Inference (abstract<\/a>)<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

12:00-17:30<\/strong><\/a><\/p>\n\n\n\n

Excursion to Kakunodate by bus (lunch, visit to a sake brewery and sightseeing)<\/p>\n\n\n\n

18:30-21:00<\/strong><\/a><\/p>\n\n\n\n

Conference dinner<\/p>\n\n\n\n

Friday, September 6th<\/h2>\n\n\n\n

09:30-10:30<\/strong> Session 12<\/a>: Contributed talks<\/p>\n\n\n\n

09:00<\/td>Takao Yuyama<\/a>\u00a0and\u00a0Ryoma Sin’Ya<\/a>
Measuring Power of Commutative Group Languages\u00a0(abstract<\/a>)<\/td><\/tr>
09:30<\/td>Michal Hospod\u00e1r<\/a>, Viktor Olej\u00e1r<\/a> and Juraj \u0160ebej<\/a>
Decision Problems for Subregular Classes (abstract<\/a>)<\/td><\/tr>
10:00<\/td>Maria Radionova<\/a> and Alexander Okhotin<\/a>
Decision problems for reversible and permutation automata (abstract<\/a>)<\/td><\/tr>
10:30<\/td>Attila Egri-Nagy<\/a>\u00a0and\u00a0Chrystopher Nehaniv<\/a>
From Relation to Emulation and Interpretation: Computer Algebra Implementation of the Covering Lemma for Finite Transformation Semigroups\u00a0(abstract<\/a>)<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

11:30-12:30<\/strong>\u00a0Session 13<\/a>: Invited talk<\/p>\n\n\n\n

11:30<\/td>Carl-Fredrik Nyberg-Brodda<\/a>
(Semi)group languages (abstract<\/a>)<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

12:30-14:30<\/strong>\u00a0<\/a>: Closing remarks and lunch at Matsushita<\/p>\n\n\n\n\n\n

<\/p>\n","protected":false},"excerpt":{"rendered":"

The schedule is planned from 9am on September 3 (Tuesday) until 3pm on September 6 (Friday). Participants can register and receive their badges and conference bags with information sheets at the venue from 8:15 until 9:00 on each day. An excursion and the conference dinner is planned for the afternoon and evening of September 5, … <\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-236","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"http:\/\/www.math.akita-u.ac.jp\/ciaa2024\/index.php\/wp-json\/wp\/v2\/pages\/236","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.math.akita-u.ac.jp\/ciaa2024\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/www.math.akita-u.ac.jp\/ciaa2024\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/www.math.akita-u.ac.jp\/ciaa2024\/index.php\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"http:\/\/www.math.akita-u.ac.jp\/ciaa2024\/index.php\/wp-json\/wp\/v2\/comments?post=236"}],"version-history":[{"count":12,"href":"http:\/\/www.math.akita-u.ac.jp\/ciaa2024\/index.php\/wp-json\/wp\/v2\/pages\/236\/revisions"}],"predecessor-version":[{"id":289,"href":"http:\/\/www.math.akita-u.ac.jp\/ciaa2024\/index.php\/wp-json\/wp\/v2\/pages\/236\/revisions\/289"}],"wp:attachment":[{"href":"http:\/\/www.math.akita-u.ac.jp\/ciaa2024\/index.php\/wp-json\/wp\/v2\/media?parent=236"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}