[TYPES/announce] One-year INRIA post-doctoral position

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] A one-year INRIA post-doctoral position is available: Title: Generation of construction functions guaranteeing algebraic invariants on concrete data types Aim: Although concrete data typ

[TYPES/announce] Concur 2007 Final CFP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS CONCUR'07 18th International Conference on Concurrency Theory September 4 - 7, 2007