Voices of Cante - Final Act

Workshop on Descriptional and Computacional Complexity of Formal Languages

24-25/01/2014, CMUP, Porto

Room FC1 0.05
The Seminar "Voices of CANTE" ran through the duration of the project CANTE, PTDC/EIA-CCO/101904/2008 (2010-2013), with invited speakers of different research areas with connections with formal systems, algebra, computability, and complexity. This final workshop gather together team researchers, project consultants and invited researchers around  descriptional and computational complexity of formal languages, and related topics.

Schedule

Friday, 24
14:30
Giovanni Pighizzini
Parikh Equivalence and Descriptional Complexity
15:10
Manuel Delgado
Some questions on numerical semigroups
15:50
Markus Holzer
Some Aspects on Biautomata
16:30
Coffee Break
17:00
David Pereira
Formalization and Certified Equivalence of Regular Expressions and KAT Expressions in Coq
17:40
Eva Maia
Pursuing the bisimilarity of Position Automata
Saturday, 25
9:00
Jorge Almeida
Factoriality and the Pin-Reutenauer procedure
9:40
Emanuele Rodaro
A descriptional complexity approach to Cěrny conjecture
10:20
Coffee Break
10:50
Martin Kutrib
Complexity of Cellular Automata Computations
11:30
Ivone Amorim
Counting non-equivalent linear finite transducers
12:10
Nelma Moreira
Automata for KAT expressions
Stacks Image 107