The Second Annual Pacific Northwest Theory Day

University of British Columbia

April 30, 2005

Sponsored by PIMS (the Pacific Institute for the Mathematical Sciences) UBC Department of Computer Science

Program

Time	Speaker	Title
10:00 - 10:45	Joel Friedman (UBC)	A Proof of Alon's Second Eigenvalue Conjecture [Abstract]
10:45 - 11:30	Frank Ruskey (UVic)	Polyominoes, Gray Codes and Venn Diagrams [Abstract]
11:30 - 11:45	- Break -
11:45 - 12:45	- Rump Session - (participation encouraged!  see below)
12:45 - 1:45	- Lunch -
1:45 - 2:30	Nathan Segerlind (UW)	Connections Between Integer Programming, Communication Complexity and Propositional Proof Complexity [Abstract]
2:30 - 3:15	Ryan O'Donnell (MS Research)	Stability and Chaos in Boolean Functions [Abstract]
3:15 - 3:30	- Break -
3:15 - 4:00	Funda Ergun (SFU)	Testing String Self-Similarity [Abstract]

Directions

Forest Sciences Centre 2424 Main Mall Vancouver, British Columbia Canada V6T 1Z4

Click here for a more detailed map.  Google Maps can also provide directions to/from the location. The nearest parking is in UBC lot B1 ($4.00 for the day). A pdf map of UBC campus with directions to lot B1 is here.

Travel Support

Limited travel support is available for Canadian students. Email Bruce Kapron for details.

Accommodations

Accommodations are available at the Peter Wall Institute and Gage Towers, both on UBC campus. Both locations are cheaper when we make the reservations, so feel free to contact Anne Condon for booking assistance. We can also arrange cheaper rates at downtown hotels.

Rump Session

The rump session is an opportunity for people other than the invited speakers to briefly introduce their research to the other attendees.  Each participant in the rump session will be given about 5 minutes to present their current research topic.  We encourage you to participate!  If you would like to participate, email Will Evans.