Sabine Broda's Annual Report
Year:
2016
Brief description of the research activities:
- With A. Machiavelo, N. Moreira and R. Reis studied and developed new conversion methods from regular expressions with intersection to equivalent non-deterministic finite automata without epsilon-transitions and based on the notion of positions.
- With S. Alves, research in the area of type-inhabitation resulting in a master thesis.
Talks / Seminars / Courses :
Communications in international conferences
Title:
Position Automaton Construction for Regular Expressions with Intersection
Talk:
Contributed talk
Date:
25.07.2016 to 28.07.2016
Host institution:
LaCIM, Université du Québec à Montréal
Country:
Canada
Location / City:
Montreal
Website:
Organization of scientific meetings:
Role:
Member of the organising committee
Name of the event:
FSCD 1st International Conference Formal Structures for Computation and Deduction
start and end date:
June 22, 2016 to June 27, 2016
Host institution:
University of Porto
Country:
Portugal
Location / City:
Porto