Chennai Mathematical Institute

Seminars




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
Lecture 2: 2pm -- 3.15pm, Thursday, 6th March 2014
Lecture 3: 2pm -- 3.15pm, Friday, 7th March 2014.