[TYPES/announce] IFL 2009: Third Call for Papers

IFL 2009 ifl2009 at shu.edu
Thu Jul 16 10:25:38 EDT 2009

Previous message: [TYPES/announce] Post-Doctoral Research Associate - Reasoning with Relaxed Memory Models
Next message: [TYPES/announce] PEPM'10 - Call for Papers (Deadline: 6 Oct 09) - Invited Speakers announced
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20090716/9fdd923e/attachment-0001.htm

Previous message: [TYPES/announce] Post-Doctoral Research Associate - Reasoning with Relaxed Memory Models
Next message: [TYPES/announce] PEPM'10 - Call for Papers (Deadline: 6 Oct 09) - Invited Speakers announced
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Types-announce mailing list