February 2008 Archives by date

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

Starting: Fri Feb 15 09:20:41 EDT 2008
Ending: Mon Feb 18 12:21:20 EDT 2008
Messages: 4

• [POPLmark] LFMTP'08 call for papers   Andreas Abel
• [POPLmark] Abella: Interactive theorem proving with lambda-tree syntax   Andrew Gacek
• [POPLmark] G6 - Dependable systems   FORTAINE Guillaume
• [POPLmark] Paper announcement: Focusing on Binding and Computation   Robert Harper

Last message date: Mon Feb 18 12:21:20 EDT 2008
Archived on: Mon Feb 18 12:21:22 EDT 2008

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