Programme
Sunday, August, 30
19:30
Informal “get-together” with possibility of drinks and dinner at restaurant Capa Negra ||, Rua do Campo Alegre 191 (icon "drinks" in the map).
Monday, August, 31
The workshop will be held at Room FC1 007, Department of Mathematics, Faculty of Sciences of University of Porto (Rua do Campo Alegre 695).
08:30 - 09:20
Registration
09:20 - 09:30
Opening of NCMA 2015
09:30 - 10:30
Invited Talk: Patricia Bouyer-Decitre
On the optimal reachability problem in weighted timed automata and games
On the optimal reachability problem in weighted timed automata and games
10:30 - 11:00
Coffee break
11:00 - 11:30
Martin Kutrib, Andreas Malcher and Matthias Wendlandt
When Input-Driven Pushdown Automata Meet Reversibility
When Input-Driven Pushdown Automata Meet Reversibility
11:30 - 12:00
Peter Kostolányi
A Pumping Lemma for Flip-Pushdown Languages
A Pumping Lemma for Flip-Pushdown Languages
12:00 - 12:30
Benedek Nagy
A Family of Two-Head Pushdown Automata
A Family of Two-Head Pushdown Automata
12:30 - 14:00
Lunch
14:00 -15:00
Invited Talk: Emanuele Rodaro
New reformulations of Cerny's conjecture and related problems
New reformulations of Cerny's conjecture and related problems
15:00 - 15:30
Markus Holzer and Bianca Truthe.
On Relations Between Some Subregular Language Families
On Relations Between Some Subregular Language Families
15:30 - 16:00
Coffee break
16:00 - 16:30
Bruno Guillon.
Sweeping Transducers are less powerful even with a unary output alphabet
Sweeping Transducers are less powerful even with a unary output alphabet
16:30 - 16:50
Francesco Matucci and Pedro Silva
The Tree Completion of An Automaton Group
The Tree Completion of An Automaton Group
16:50 - 17:10
Henning Bordihn, Erzsébet Csuhaj-Varjú, György Vaszil
On Left-Most Hairpin Finite Automata
On Left-Most Hairpin Finite Automata
17:10 - 17:30
Michael Cadilhac, Andreas Krebs, and Nutan Limaye
Value Automata with Filters
Value Automata with Filters
19:30
Tuesday, September, 1
09:00 - 10:00
Invited Talk: Sylvain Lombardy
On two-way weighted automata
On two-way weighted automata
10:00 - 10:30
Frantisek Mraz, Friedrich Otto and Daniel Prusa.
On a Class of Rational Functions for Pictures
On a Class of Rational Functions for Pictures
10:30 - 11:00
Coffee break
11:00 - 11:30
Suna Bensch, Frank Drewes and Thomas Hellström.
Grammatical Inference of Graph Transformation Rules
Grammatical Inference of Graph Transformation Rules
11:30 - 12:00
Dávid Angyal and Benedek Nagy.
On Language Families Generated By Controlled Grammars
On Language Families Generated By Controlled Grammars
12:00 - 12:30
Özlem Salehi and A.C. Cem Say.
Homing Vector Automata
Homing Vector Automata
12:30 - 12:50
Martin Kutrib, Andreas Malcher, Matthias Wendlandt
Properties of Input-Driven Queue Automata with Internal Transductions
Properties of Input-Driven Queue Automata with Internal Transductions
12:50
Closing of NCMA 2015