[TYPES] OOPS at SAC 2006

Davide Ancona davide at disi.unige.it
Wed Jul 6 11:10:00 EDT 2005

Previous message: [TYPES] Final Call for papers: MoveLog05 (ICLP workshop)
Next message: [TYPES] CfP: Workshop: Constructive analysis, types and exact real numbers
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An embedded and charset-unspecified text was scrubbed...
Name: cfp.txt
Url: http://lists.seas.upenn.edu/pipermail/types-list/attachments/20050706/13a655fa/cfp.txt

Previous message: [TYPES] Final Call for papers: MoveLog05 (ICLP workshop)
Next message: [TYPES] CfP: Workshop: Constructive analysis, types and exact real numbers
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Types-list mailing list