ICE-TCS Lectures Series - Zoltan Esik - Axiomatizing regular languages and rational power series

Friday, 3 September, Zoltan Esik (University of Szeged, Hungary) delivers an ICE-TCS seminar. The talk, which is entitled Axiomatizing regular languages and rational power series, will be held at 2pm in room M1.05 at Reykjavik University (Menntavegur 1).

Zoltan Esik will be a visiting professor at the School of Computer Science from August 31 till September 29.

Abstract

We give a survey of axiomatization results on regular languages and rational power series.