[TYPES/announce] CFP: Library-Centric Software Design 2007

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ACM SIGPLAN SYMPOSIUM ON LIBRARY-CENTRIC SOFTWARE DESIGN - LCSD'07 http://lcsd.cs.tamu.edu/2007 on October 21st, 2007 at Object-Oriented Pro

[TYPES/announce] INRIA PhD position

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Title: Termination of higher-order rule-based programs Application deadline: 30 April 2007. Aim: Being able to prove that a program does not loop but eventually provides some result to t

[TYPES/announce] CFP: International School on Rewriting

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ Apologies for multiple copies ] ** Call for Participation Second International

[TYPES/announce] PhD position at INRIA Lorraine,,Nancy, France

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Since the pioneering work of Richard Montague, lambda-calculus, higher-order logic, and type theory have been widely used in natural language semantics. The following announcement concern