Conferences

NCMA 2015: 7th Non-Classical Models of Automata and Applications. Porto, Portugal. August 31 and September 1, 2015. 

CiE 2015: Computability in Europe. Bucharest, Romania. June 29 - July 3, 2015. 

CIAA 2014: 19th International Conference on Implementation and Application of Automata (CIAA). Giessen, Germany.  July, 2014.

CIAA 2013: 18th International Conference on Implementation and Application of Automata (CIAA). Halifax, Canada. July, 2013.

SOFSEM 2013: Theory and Practice of Computer Science. Spindleruv Mlyn, Czech Republic. January, 2013.

DCFS 2012: 14th International Workshop on Descriptional Complexity of Formal Systems. Braga, Portugal. July, 2012.

CIAA 2012: 17th International Conference on Implementation and Application of Automata (CIAA). Porto, Portugal. July, 2012.

Days in Logic 2012. Évora, Portugal. February, 2012.


Peer Review

CIAA 2015: 20th International Conference on Implementation and Application of Automata (CIAA). Sweden.  August, 2015.

DCFS 2015: 17th International Workshop on Descriptional Complexity of Formal Systems. Waterloo, Ontario, Canada. June, 2015.

CIAA 2014: 19th International Conference on Implementation and Application of Automata (CIAA). Giessen, Germany.  July, 2014.

DCFS 2013: 15th International Workshop on Descriptional Complexity of Formal Systems. London, Ontario, Canada. July, 2013.

CIAA 2013: 18th International Conference on Implementation and Application of Automata (CIAA). Halifax, Canada. July, 2013.

CIAA 2012: 17th International Conference on Implementation and Application of Automata (CIAA). Porto, Portugal. July, 2012.


Presentations

Prefix and right-partial derivative automata.CiE 2015: Computability in Europe. Bucharest, Romania. June 29 - July 3, 2015. 

Prefix and right-partial derivative automata. Seminar on Semigroups, Automata and Languages.Porto, Portugal. June 16, 2015. 

Partial derivative and position bisimilarity automata. 19th International Conference on Implementation and Application of Automata (CIAA 2014). Giessen, Germany. July, 2014.

Pursuing the bisimilarity of Position Automata. Voices of CANTE --- Final act. Porto, Portugal. January, 2014.

Incomplete transition complexity of basic operations on finite languages. Implementation and Application of Automata, 18th International Conference (CIAA 2013). Halifax, Nova Scotia, Canada. July, 2013.

Incomplete transition Complexity of Some basic Operations. SOFSEM 2013: Theory and Practice of Computer Science. Czech Republic.  January, 2013.

Incomplete transition Complexity of Some basic Operations.Seminar on Semigroups, Automata and Languages.Porto, Portugal. January, 2013. 

Incomplete Transition Complexity of Basic Operationson Regular Languages. Seminar on Semigroups, Automata and Languages. Centro de Matemática da Universidade do Porto, Portugal. January, 2013.

On the Descriptional Complexity of Regular Languages OperationsDays in Logic 2012. Évora, Portugal. February, 2012.

A Static Type Inference for PythonDYLA 2011, 5th Workshop on Dynamic Languages and Applications. July 1, 2011, Zürich, Switzerland.  

Inferência de tipos em Python. Inforum, Simpósio de Informática, Braga,Portugal, 10 September 2010.


Organising Committee Member

NCMA 2015: 7th Non-Classical Models of Automata and Applications. Porto, Portugal. August 31 and September 1, 2015. 

CIAA 2012: 17th International Conference on Implementation and Application of Automata. Porto, Portugal. July, 2012.


© Eva Maia 2014