August 2008 Archives by date

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

Starting: Mon Aug 11 14:45:55 EDT 2008
Ending: Fri Aug 15 03:58:49 EDT 2008
Messages: 2

• [POPLmark] WMM'08 call for participation   Karl Crary
• [POPLmark] SASyLF educational proof assistant   Jonathan Aldrich

Last message date: Fri Aug 15 03:58:49 EDT 2008
Archived on: Fri Aug 15 03:59:03 EDT 2008

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