UB Theory Weekly – Week 7

Hi all,

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 D_1 and D_2, does there exist a string that is accepted by both D_1 and D_2?  This problem is solvable in quadratic time.  We show that if it can be solved in O(n^{2 - epsilon}) 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!


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s