Tentative program of the Conference
The day of July 5 has been reserved for
commemoration of Professor Solomon Marcus,
who was an invited speaker to DCFS 2016.
Wednesday, July 6, 2016
8:00-9:00 | Registration | |
9:00-9:20 | Opening | |
| Session Chair | Cezar Campeanu |
9:30-10:30 | Invited Talk: Heapability, interactive particle systems, partial orders: results and open problems | Gabriel Istrate |
10:30-11:00 | Coffee Break | |
| Session Chair | Gabriel Istrate |
11:00-11:30 | On the State Complexity of the Shuffle of Regular Languages | Janusz Brzozowski, Galina Jiraskova, Bo Liu, Aayush Rajasekaran, and Marek Szykuła |
11:30-12:00 | On the State Complexity of Partial Derivative Automata for Regular Expressions with Intersection | Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis, and Rafaela Bastos |
12:00 - 12:30 | Unary Self-Verifying Symmetric Difference Automata | Laurette Marais and Lynette Van Zijl |
12:30-14:00 | Lunch | |
| Session Chair | Martin Kutrib |
14:00-15:00 | Invited Talk: Completely reachable automata | Mikhail Volkov |
15:00-15:30 | Coffee Break | |
| Session Chair | Rogerio Reis |
15:30-16:00 | MSO-definable properties of Muller context-free languages are decidable | Zoltan Esik and Szabolcs Ivan |
16:00-16:30 | Operations on Weakly Recognizing Morphisms | Lukas Fleischer and Manfred Kufleitner |
16:30-17:00 | The Complexity of Languages Resulting from the Concatenation Operation | Galina Jiraskova, Alexander Szabari, and Juraj Sebej |
19:00-21:00 | Welcome Party | |
Thursday, July 7, 2016
| Session Chair | Stavros Konstantinidis |
9:00-10:00 | Invited Talk: Words Avoiding Patterns, Enumeration Problems and the Chomsky Hierarchy | James Currie |
10:00-10:30 | Coffee Break | |
| Session Chair | Nelma Moreira |
10:30-11:00 | Unrestricted State Complexity of Binary Operations on Regular Languages | Janusz Brzozowski |
11:00-11:30 | State Complexity of Prefix Distance of Subregular Languages | Timothy Ng, David Rappaport, and Kai Salomaa |
11:30-12:00 | Minimal and Reduced Reversible Automata | Giovanna Lavado, Giovanni Pighizzini, and Luca Prigioniero |
12:00-12:30 | Descriptional Complexity of Graph-controlled Insertion-deletion Systems | Henning Fernau, Lakshmanan Kuppusamy, and Indhumathi Raman |
12:30-13:30 | Lunch | |
13:30-18:00 | Social Event | |
18:00-22:00 | Conference Dinner | |
Friday, July 8, 2016
9:30-10:00 | Bussiness Meeting | |
| Session Chair | Rudolf Freund |
10:00-11:00 | Invited Talk: Self-Verifying Finite Automata and Descriptional Complexity | Galina Jiraskova |
11:00-11:30 | Coffee Break | |
| Session Chair | Giovanni Pigizzini |
11:30-12:00 | Two Results on Discontinuous Input Processing | Vojtěch Vorel |
12:00-12:30 | Contextual Array Grammars with Matrix and Regular Control | Henning Fernau, Rudolf Freund, Rani Siromoney, and K G Subramanian |
12:30-13:00 | Descriptional Complexity of Bounded Regular Languages | Andrea Herrmann, Martin Kutrib, Andreas Malcher, and Matthias Wendlandt |
13:00-14:30 | Lunch | |
| Session Chair | Cezar Campeanu |
14:30-15:30 | Open Problem Session | |
15:30-16:00 | Coffee Break | |
16:00-- | Free Discussions | |
|
|
|
|
|
Last modified: Wednesday July 27, 2016 at 11:38 pm EET DCFS 2016
|