Voices of Cante - Final Act
Workshop on Descriptional and Computacional Complexity of Formal Languages
24-25/01/2014, CMUP, Porto
Room FC1 0.05
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
Parikh Equivalence and Descriptional Complexity
15:10
Manuel Delgado
Some questions on numerical semigroups
Some questions on numerical semigroups
15:50
Markus Holzer
Some Aspects on Biautomata
Some Aspects on Biautomata
16:30
Coffee Break
17:00
David Pereira
Formalization and Certified Equivalence of Regular Expressions and KAT Expressions in Coq
Formalization and Certified Equivalence of Regular Expressions and KAT Expressions in Coq
17:40
Eva Maia
Pursuing the bisimilarity of Position Automata
Pursuing the bisimilarity of Position Automata
Saturday, 25
9:00
Jorge Almeida
Factoriality and the Pin-Reutenauer procedure
Factoriality and the Pin-Reutenauer procedure
9:40
Emanuele Rodaro
A descriptional complexity approach to Cěrny conjecture
A descriptional complexity approach to Cěrny conjecture
10:20
Coffee Break
10:50
Martin Kutrib
Complexity of Cellular Automata Computations
Complexity of Cellular Automata Computations
11:30
Ivone Amorim
Counting non-equivalent linear finite transducers
Counting non-equivalent linear finite transducers
12:10
Nelma Moreira
Automata for KAT expressions
Automata for KAT expressions