June 2009 Archives by author

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

Starting: Fri Jun 5 21:42:47 EDT 2009
Ending: Mon Jun 29 09:38:04 EDT 2009
Messages: 5

• [POPLmark] TPHOLs 2009 in Munich: Second Call for Participation   Stefan Berghofer
• [POPLmark] LFMTP 2009: Call for Participation   Amy Felty
• [POPLmark] (2nd) Call for FLoC 2010 Workshops   Michael Norrish
• [POPLmark] Journal of Automated Reasoning: Special issue on the POPLmark Challenge   Stephanie Weirich
• [POPLmark] WMM 2009: Last Call for Papers   urban at mathematik.uni-muenchen.de

Last message date: Mon Jun 29 09:38:04 EDT 2009
Archived on: Mon Jun 29 09:38:13 EDT 2009

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