A weekly meeting for people interested in programming languages, verification, correctness, testing, and debugging.

Format
When it's your turn to talk, you have absolute authority to choose the topic. Presentations are informal, but it will definitely help to have slides or a planned out whiteboard presentation. Suggested topics for talks:

• Cool paper you've recently read
• Practice conference presentation
• New research ideas you've been thinking about

When
In general, lunch will run Wednesdays from 11:45am to 1:00pm this summer. Schedule will be:

Speaker Schedule
If you are unable to speak on a given day due to conflicts, please try to work out a swap on your own with others on the list. The (pseudorandom) schedule:

Email
Send requests, comments, complaints to jalbert@cs.berkeley.edu