October 2008 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Sun Oct 5 20:27:29 EDT 2008
Ending: Sun Oct 26 23:40:59 EDT 2008
Messages: 6

• [PL-sem-jr] David van Horn: Confessions of a Computational Pervert (10/7)   Aaron Turon
• [PL-sem-jr] Talk 10/13: Separation logic   Aaron Turon
• [PL-sem-jr] POSTPONED: Talk 10/13: Separation logic   Aaron Turon
• [PL-sem-jr] Monday, 10/20: separation logic   Aaron Turon
• [PL-sem-jr] No seminar this week (10/27)   Aaron Turon
• [PL-sem-jr] Talk 10/13: Separation logic   Dimitris Vardoulakis

Last message date: Sun Oct 26 23:40:59 EDT 2008
Archived on: Sun Oct 26 23:41:28 EDT 2008

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...