Recent talks

Application of verification techniques in inverse monoid theory, extended version of a talk given at MFCS 2005, Gdansk (Poland)
• Model-checking hierarchical graphs, LICS 2005, Chicago (USA)
• Theories of Automatic Structures and their Complexity, WASL 2004, Auckland (New Zealand)
• Decidability and complexity in automatic monoids, DLT 2004, Auckland (New Zealand)
• Word problems on compressed words, ICALP 2004, Turku (Finnland)