| Date: | Fri, 6 Mar 2009 11:29:25 -0600 |
|---|---|
| From: | Steve Jackson <sjackso@xxxxxxxxxxx> |
| Subject: | [pl-seminar] Reminder: Akash's talk, today at 3 pm |
Greetings, pl-seminar: Please come to Akash Lal's practice talk this afternoon!TITLE: Interprocedural Analysis and the verification of concurrent programs WHERE: CS 3310 WHEN: 3 pm, Friday, 3/6 |
| [← Prev in Thread] | Current Thread | [Next in Thread→] |
|---|---|---|
| ||
| Previous by Date: | [pl-seminar] [Fwd: Summer Interns], Thomas Reps |
|---|---|
| Next by Date: | [pl-seminar] Reminder: seminar at 2:30, Steve Jackson |
| Previous by Thread: | [pl-seminar] PL Seminar Organizer Needed, Steve Jackson |
| Next by Thread: | [pl-seminar] Reminder: seminar at 2:30, Steve Jackson |
| Indexes: | [Date] [Thread] |