[TYPES/announce] 2nd CfP: ICTAC'09

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Our apology for possible multiple copies. -- ICTAC'09 6th International Colloquium on

[TYPES/announce] Pr or Mcf position in France

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The deadline for asking a Mcf or Pr position in a French university is Thursday April 2,  2009 at 16 h (Paris's local time). All necessary  informations can be found at https://extrane

[TYPES/announce] MODEL THEORY AND LAMBDA-CALCULUS - a meeting in honor of Chantal Berline

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] MODEL THEORY AND LAMBDA-CALCULUS A meeting in honor of Chantal Berline June 3 and 4, 2009 Paris Organized on the occasion of Chantal Berline's retirement, this meeting will take place in