theory
it's what's for lunch
Beware of bugs in the above code; I have only proved it correct, not tried it. "
- Donald Knuth
UVa CS Theory Lunch
The theory lunch is held bi-weekly on Thursday at 11:45p in Olsson 228E. Each week the presenter will discuss an interesting paper, a paper they're working on, a paper they have published, or an open problem they want to solve.
We have a broad interpretation of the term theory -- any problem with a strongly theoretical component. Some previous presentations can be found in the archive.
Lunch is provided at each session and all are welcome to join.
Format
11:45-12:00: lunch
12:00-12:30: presentation
12:30-12:45: discussion
Extra Info
We are always looking for people to give talks. If you would like to give
a presentation please email the Theory Tsar: Ray Buse
<
>. For notices about the talks, sign up for the theory mailing
list.
Also you can now submit quotes.