The theory lunch is held bi-weekly on Thursdays at 12:30p 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.
Lunch is provided at each session and anyone is welcome to join.
Meeting Format
12:30-12:45: lunch
12:45-1:15: presentation
1:15-1:30: 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.
For notices about the talks you can signup for the theory mailing
list at
http://www.cs.virginia.edu/mailman-2.1.5/listinfo/theory
Suggested Papers
A list of suggested papers is kept
here. Please use these as a guideline and inspiration for your upcoming talk.
Getting Lunch
When you get lunch you have free reign over purchasing. The total should be around $50 - $60, please don't go much over this. Guidelines as to how much food (or appropriate types) below:
- About 1.5 to 2 pounds of various deli meats (chicken, turkey, ham, pastrami, roast beef etc).
- About 1 pound of cheese. Popular types are cheddar, havarti, muenster, provolone
- 2-3 loaves of sliced bread.
- Produce: baby spinach leaves, alfalfa sprouts, avocado, tomato, onion, strawberries, carrots, grapes, apples, oranges etc. Consider how easy it is to slice items and so on
- 1 2L Coke, 1 2L Diet Coke, and possibly a bottle of juice, orangina etc
- 1 bag of chips, cookies or other side item
- 1 or 2 "crazy" condiments along the lines of fig spread or praline mustard. You can get whatever you like
- Get a list of attendants to take to Wendy with reciepts for reimbusement
Schedule for Spring 2008
| Date |
Presenter |
Buddies (Lunch Getter) |
Title |
| Jan 24, 2008 |
Tim Chaplin |
abhi shelat (Isabelle) |
Space Efficient Identity Based Encryption Without Pairings |
| Feb 7, 2008 |
Pieter Hooimeijer |
Wes Weimer (Kinga) |
Indexed Languages |
| Feb 21, 2008 |
Wes Weimer |
(Mike Holroyd) |
Introduction To Game Theory: Two-Person Games of Perfect Information
and Winning Strategies |
| Mar 13, 2008 |
Adrienne Felt |
(Yan Huang) |
The (Im)possibility of Obfuscating Programs by Barak et al |
| Mar 20, 2008 |
Chris Taylor |
(Isabelle) |
PhD Defense practice - Algorithmic Analysis of Human DNA Replication Timing |
| Mar 27, 2008 |
Kinga Dobolyi |
Pieter Hooimeijer & Wes Weimer (Isabelle) |
Constraint Solving for String Modeling |
| Apr 10, 2008 |
Krasi Kapitanova |
|
Database |
| Apr 24, 2008 |
Richard Hsu |
Isabelle Stanton |
Capchas |
| May 8, 2008 |
Isabelle Stanton |
|
Monte Carlo Markov Chain Methods |
Fall 2007 Schedule
Summer 2007 Schedule
Spring 2007 Schedule
Fall 2006 Schedule
Spring 2006 Schedule