Welcome to the Spring 2011 homepage for CMPSCI 891M - Theory Seminar. The theory seminar is a weekly meeting in which topics of interest in the theory of computation - broadly construed - are presented. This is sometimes new research by visitors or local people. It is sometimes work in progress, and it is sometimes recent material of others that some of us present in order to learn and share. May be repeated for credit up to 6 times. 1 credit. Please email me if you'd like to get involved.
This semester the seminar will be held on Tuesday from 4pm to 5pm in CMPS 140. The schedule of talks is as follows:
Date | Speaker | Title | Material |
---|---|---|---|
Tue 18 Jan | (Snow Day) | ||
Tue 25 Jan | Brandon McPhail | Submodular functions and energy efficient task scheduling | Abstract |
Tue 1 Feb | (Faculty Candidate) | ||
Tue 8 Feb | David Mix Barrington | Williams' Lower Bound for Non-Uniform ACC | Abstract |
Tue 15 Feb | Neil Immerman | P versus NP: Approaches, Rebuttals, and Does It Matter? | Abstract, Slides |
Tue 22 Feb | (UMass Monday) | ||
Tue 1 Mar | (Faculty Candidate) | ||
Tue 8 Mar | Philipp Weis | Expressiveness and Succinctness of First-Order Logic on Finite Word | Abstract |
Tue 15 Mar | (Spring Break) | ||
Tue 22 Mar | Mark McCartin-Lim | Models of Parallel Computation | Abstract |
Tue 29 Mar | Md. Ashraful Alam | Shape analysis of points in the streaming model | Abstract |
Tue 5 Apr | Ramesh Sitaraman | How to stream live on the Internet | Abstract |
Tue 12 Apr | Michael Crouch | Streaming algorithms for context-free language recognition | Abstract |
Tue 19 Apr | Andrew McGregor | Some Recent Results on Graph Streams | |
Thu 28 Apr | Marco Carmosino | Uniform Circuit Lower Bounds Using Logical Pebble Games | Abstract |
Tue 3 May | Jian Tian | Cuckoo Hashing | |
Tue 10 May | Shin-ichi Tanigawa | Constant-time algorithms for sparsity matroids |