2 pm -- 3.15 pm, Seminar Hall Lecture Series on the Algebraic Theory of Languages Algebraic theory of languages: Quantifier Alternation Hierarchy within FO(2) over Words. Pascal Weil CNRS and Universite de Bordeaux, France. 06-03-14 Abstract Lecture Series on the Algebraic Theory of Languages Dr. Pascal Weil, CNRS and Universite de Bordeaux, France, will visit CMI between the 2 March 2014 and 9 March 2014. During his visit, he will give a series of lectures, following up on his lectures in 2012 and 2013, exploring further the applications of semigroup theory to algorithmic problems in language theory and in logic. The details are as follows: Title: Algebraic theory of languages: Quantifier Alternation Hierarchy within FO(2) over Words. Venue: Seminar Hall, CMI, Chennai. Time:
Lecture 1: 2pm -- 3.15pm, Tuesday, 4th March 2014
|