The seventh Theory Weekly Meeting will happen today between 4:00 – 5:00 pm at 203 Davis Hall(Theory Lab). The schedule will be as follows :
4:00 – 4:50 pm – A talk by Michael Wehar. The abstract of the talk in his own words –
We consider the intersection problem for finite automata. Given DFA’s and , does there exist a string that is accepted by both and ? This problem is solvable in quadratic time. We show that if it can be solved in time, then there are faster algorithms for SAT. Further, we investigate the complexity of the intersection problem for three DFA’s.
4:50 – 5:00 pm – Socializing with the Theory community.
Hoping to see you all!