November 2008 Archives by subject

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

Starting: Thu Nov 6 08:24:59 EDT 2008
Ending: Wed Nov 19 14:45:45 EDT 2008
Messages: 2

• [POPLmark] CALL FOR PAPERS: TPHOLs 2009   Stefan Berghofer
• [POPLmark] Twelf Tutorial (Call for participation)   Robert J. Simmons

Last message date: Wed Nov 19 14:45:45 EDT 2008
Archived on: Wed Nov 19 14:45:54 EDT 2008

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