[TYPES/announce] CFP: Workshop on Intermediate Representations: deadline Jan 21

2011-01-04 Thread Simon Peyton-Jones
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Friends Happy new year! I'm on the PC for Workshop on Intermediate Representations; do consider submitting a paper. Simon WIR 2011: Workshop on Intermediate Representations 2011 http://r

[TYPES/announce] Call for Participation: STOP'11

2011-01-04 Thread Tobias Wrigstad
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Participation Scripts to Programs (STOP) Jan 29th, 2011, Austin, TX http://wrigstad.com/stop11/ Plea