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


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]


The Northwest Theory Day will be held at the Forest Sciences Centre building in Room 1221 at the University of British Columbia.  The address is:

Forest Sciences Centre
2424 Main Mall
Vancouver, British Columbia
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 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.