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] |