[TYPES/announce] RDP'07 call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] RDP 2007 - Call for Participation Federated Conference on Rewriting, Deduction, and Programming June 25 to 29, Paris, France

[TYPES/announce] RDP'07 Student Travel Grants

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] RDP'07 Student Travel Grants Call for Applications ** RDP'07 is the fourth edition

[TYPES/announce] RDP'07 call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] RDP 2007 - Call for Participation Federated Conference on Rewriting, Deduction, and Programming June 25 to 29, Paris, France