[TYPES/announce] Workshop on Logic and Computational Complexity (LCC '10)

2010-04-07 Thread Ronchi Della Rocca Simona
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =

[TYPES/announce] Workshop on Logic and Computational Complexity (LCC'10)

2010-02-01 Thread Simona Ronchi della Rocca
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]