[TYPES/announce] CfP: Proof-Search in Type Theories (PSTT'10)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers PSTT 2010: International Workshop on Proof Search in Type Theories Edinburgh, Scotland
[TYPES/announce] CfP: Proof-Search in Type Theories (PSTT'10)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers PSTT 2010: International Workshop on Proof Search in Type Theories Edinburgh,