[pl-seminar] Reminder: Akash's talk, today at 3 pm


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→]
  • [pl-seminar] Reminder: Akash's talk, today at 3 pm, Steve Jackson <=