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