[TYPES/announce] CLC - Call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION CLC International Workshop on Classical Logic and Computation

[TYPES/announce] Call for papers: OOPS track at SAC 2009

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] OOPS 2009 Preliminary Call for Papers Object-Oriented Programming Languages and Systems http://oops.disi.unige.it/OOPS09