Download the Final Program in PDF format here
Tuesday, July 2
8:30-9:00 Registration
9:00-9:15 Opening
9:15-10:30 Session #1 Chair José M. Sempere
-
- Invited Lecture: “Complexity classes in Membrane Computing: P-conjecture and related issues” (Dr. Agustín Riscos Núñez, Univ. de Sevilla)
- Membrane systems and multiset approximation. Peter Battyanyi and György Vaszil.
10:30-11:00 Coffee-break
11:00-13:00 Session #2 Chair György Vaszil
-
- Blind and partially blind register machines over groups. Artiom Alhazov, Rudolf Freund and Sergiu Ivanov.
- Computing by Observing Reductions in Partial Orders. Peter Leupold.
- On simple 5′->3′ sensing Watson-Crick finite-state transducers. Benedek Nagy and Zita Kovács.
- Accepting Networks of Evolutionary Processors with Resources Restricted Filters. Bianca Truthe.
13:15-15:00 Lunch
15:00-15:45 Session #3 Chair Henning Bordihn
-
- A Comment on Strong Language Families and Self-Verifying Complexity Classes. Markus Holzer and Sebastian Jakobi.
- Hash functions based on Gluškov product of automata. Pál Dömösi and Géza Horváth.
15:45-16:30 Business meeting
The summer of Formal Languages in Vienna 2020 Rudolf Freund
17:15 – ?? Social Program
Visit to Valencia historic centre and workshop dinner at Contrapunto Les Arts
Wednesday, July 3
9:30-10:30 Session #4 Chair Bianca Truthe
Invited Lecture: “DNA Self-Assembly by Hairpin” (Prof.Dr. Victor Mitrana, Univ. Politécnica de Madrid)
10:30-11:00 Coffee-break
11:00-12:30 Session #5 Chair Markus Holzer
-
- Extended Tree Expressions and their Derivatives. Samira Attou, Ludovic Mignot and Djelloul Ziadi.
- Synchronizing series-parallel automata with loops. Jens Bruchertseifer and Henning Fernau.
- Window size two suffices for deterministic monotone RWW-automata. František Mráz and Friedrich Otto.
12:30-13:15 Interaction and networking
13:15-15:00 Lunch
15:00-16:15 Session #6 Chair Friedrich Otto
-
- Turing machines with activations of transitions. Rudolf Freund and Ludwig Staiger.
- Digging Input-Driven Pushdown Automata. Martin Kutrib and Andreas Malcher.
- Hexagonal Game of Life with 8 neighbours. Erik Zoltán Hidi and Géza Horváth.
16:15-16:30 Closing