Program

The Eindhoven FASTAR Days will take place on friday September 3rd and saturday September 4th at the Technische Universiteit Eindhoven.

The final program:

Friday September 3
08:45-09:15 Registration and opening
09:15-10:00 Borivoj Melichar (Czech Technical University in Prague)
Repetitions in Text and Finite Automata
10:00-10:30 Bruce Watson (Technische Universiteit Eindhoven)
FIRE Station: A FInite Automata and Regular Expression Playground
10:30-10:45 Break
10:45-11:30 Jan Daciuk (Gdansk University of Technology)
Extension of Selected ADFA Construction Algorithms to the Case of Cyclic Automata
11:30-12:00 André Kempe (Xerox Research Centre Europe)
Some Problems of Multi-Tape Intersection
12:00-12:30 Leon van Daal / Ton van den Heuvel (Technische Universiteit Eindhoven)
Design and Implementation of a .NET based Virtual Machine for State machines
12:30-13:45 Lunch
13:45-14:30 Jan Holub (Czech Technical University in Prague)
Practical Experiments with NFA simulation
14:30-15:00 Tomas Polcar (Czech Technical University in Prague)
2D Online Tessellation Automata and 2D Pattern Matching
15:00-15:30 Break
15:30-16:15 Noud de Beijer (Technische Universiteit Eindhoven)
Stretching and Jamming of Automata
MSc Thesis Presentation
16:15-16:30 Break
16:30-17:00 Anssi Yli-Jyrä (University of Helsinki)
Compiling Contextual Restrictions on Strings into Finite-State Automata
17:00-17:30 David Fick (University of Pretoria)
Dynamically extendable virtual machines for domain specific languages
          18:00 Dinner

Saturday September 4
09:00-09:45 Lynette van Zijl (Stellenbosch University)
Symmetric Difference NFAs
09:45-10:15 Loek Cleophas (Technische Universiteit Eindhoven)
Taxonomies of Tree Algorithms
10:15-10:45 Ernest Ketcha Ngassam (University of Pretoria / University of South Africa)
Hardcoding and Dynamic Implementation of Finite Automata
10:45-11:00 Break
11:00-11:30 Faissal Ouardi (University of Rouen)
Computing Weighted Automata from Regular Weighted Expressions in O(n log(n)^2) Time
11:30-12:00 Derrick G. Kourie (University of Pretoria)
Constructing Formal Concept Lattices
12:00-12:30 Lesley Raitt (Stellenbosch University)
Random Generation of Finite Automata over the Domain of the Regular Languages
12:30-13:45 Lunch
13:45-14:15 Abolfazl Fatholahzadeh (Supélec Metz)
Compact Representation of a Set of String-Classes
14:15-14:45 Remi Bosman (Technische Universiteit Eindhoven)
Approximate Pattern Matching Algorithms
14:45-15:15 Tom Verhoeff (Technische Universiteit Eindhoven)
Reward Variance in Markov Chains, A Calculational Approach

Participants


Name Affiliation
Beijer, Noud de Technische Universiteit Eindhoven
Bosman, Remi Technische Universiteit Eindhoven
Cleophas, Loek Technische Universiteit Eindhoven
Daal, Leon van Technische Universiteit Eindhoven
Daciuk, Jan Gdansk University of Technology
Fatholahzadeh, Abolfazl Supélec Metz
Fick, David University of Pretoria
Franssen, Michael Technische Universiteit Eindhoven
Frishert, Michiel FST Labs
Geffen, Joost van Technische Universiteit Eindhoven
Geldrop, Rik van Technische Universiteit Eindhoven
Hemerik, Kees Technische Universiteit Eindhoven
Heuvel, Ton van den Technische Universiteit Eindhoven
Holub, Jan Czech Technical University in Prague
Kempe, André Xerox Research Centre Europe
Kourie, Derrick University of Pretoria
Melichar, Borivoj Czech Technical University in Prague
Middelkoop, Ronald Technische Universiteit Eindhoven
Ngassam, Ernest Ketcha University of South Africa & University of Pretoria
Ouardi, Faissal University of Rouen
Paranthoën, Thomas University of Rouen
Polcar, Tomas Czech Technical University in Prague
Raitt, Lesley Stellenbosch University
Rijdt, Martijn van de Technische Universiteit Eindhoven
Spanbroek, Mark Technische Universiteit Eindhoven
Tamm, Hellis University of Helsinki
Verhoeff, Tom Technische Universiteit Eindhoven
Watson, Bruce Technische Universiteit Eindhoven & University of Pretoria
Yli-Jyrä, Anssi University of Helsinki
Ziadi, Djelloul University of Rouen
Zijl, Lynette van Stellenbosch University
Zwaan, Gerard Technische Universiteit Eindhoven
Zwartjes, Gertjan Technische Universiteit Eindhoven