Program

All presentations take place in room A230 at the Pérolles II campus, Building 21, Boulevard de Pérolles 90, 1700 Fribourg. See this map for details.

Thursday, 23 August 2012
08:30-09:50
Registration
09:50-10:00
Opening 0f NCMA 2012
10:00-11:00
Jürgen Dassow. Influence of Sub-regular Restrictions on the Generative Power (invited talk)
11:00 -11:30
coffee break
11:30-12:00
Martin Kutrib and Matthias Wendlandt. Bidirectional String Assembling Systems
12:00-12:30
Christian Wurm. The Lattice of Automata Classes: On Mild Extensions of Pushdown Automata
12:30-14:00
lunch break
14:00-14:30
Friedrich Otto, Peter Cerno and Frantisek Mraz. Limited Context Restarting Automata and McNaughton Families of Languages
14:30-15:00
Norbert Hundeshagen and Peter Leupold. Transducing by Observing and Restarting Transducers
15:00-15:30
Marcel Vollweiler and Friedrich Otto. Systems of Parallel Communicating Restarting Automata
15:30-16:00
coffee break
16:00-16:30
Martin Prochazka and Martin Platek. A Taxonomy of Reducing Automata Motivated by Error Localization
16:30-17:00
Ivone Amorim, António Machiavelo and Rogério Reis. Formal Power Series and the Invertibility of Finite Linear Transducers
17:00-17:30
Pierre Nicodeme. Revisiting Waiting Times in DNA Evolution
17:30-18:00
Nils Erik Flick and Manfred Kudlek. Language Operators for Multiset Languages and Modal Logic (presented by Rudolf Freund)
19:30
Workshop Dinner
Friday, 24 August 2012
09:00-10:00
Giovanni Pighizzini. Determinism versus Nondeterminism in Two-way Finite Automata (invited talk)
10:00-10:30 Jürgen Dassow and Bianca Truthe. Extended Splicing Systems with Subregular Sets of Splicing Rules
10:30-11:00
coffee break
11:00-11:30
Peter Leupold. Computing by Observing Change in Insertion/Deletion Systems
11:30-12:00
Ed Blakey. Cellular Automata get their Wires Crossed
12:00-12:30
Fumiya Okubo. On the Computational Power of Reaction Automata Working in Sequential Manner
12:30
Closing of NCMA 2012