[TYPES/announce] CfP: Proof-Search in Type Theories (PSTT'10)

2010-04-08 Thread Stephane Lengrand (Work)
[ 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)

2010-03-10 Thread Stephane Lengrand (Work)
[ 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,