Speaker: |
Dr. Howard Straubing (Boston College Computer Science Department 21 Campanella Way, Room 571 Chestnut Hill, MA 02467 United States of America) |

Organiser: |
Arkadev Chattopadhyay |

Date: |
Tuesday, 1 Oct 2013, 16:00 to 17:00 |

Venue: |
D-405 (D-Block Seminar Room) |

(Scan to add to calendar)

There are some very striking connections between this question and problems and techniques originating in both finite model theory and the algebraic theory of finite automata. This talk is an overview of these connections along with the efforts, some by now quite old, some much more recent, to exploit them in addressing the status ofACC.