May 2009 Archives by subject

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

Starting: Fri May 1 01:46:02 EDT 2009
Ending: Tue May 19 09:18:10 EDT 2009
Messages: 4

• [POPLmark] Call for FLoC 2010 Workshops   Michael Norrish
• [POPLmark] Journal of Automated Reasoning: Special Issue on the POPLmark Challenge   Stephanie Weirich
• [POPLmark] LFMTP 2009: Deadline extension   Amy Felty
• [POPLmark] TPHOLs 2009 in Munich: Call for Participation and Accepted Papers   Stefan Berghofer

Last message date: Tue May 19 09:18:10 EDT 2009
Archived on: Tue May 19 09:23:52 EDT 2009

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