Confs in 2005

• ETAPS'05 workshops:
  • UITP'05 (User Interface Workshop) (9/4/05)
  • CLASE Workshop (3/4/05, Edinburgh, subm: 11/2/05)
• TYPES Summer School 2005 (15-26/8/05, reg: 3/6/05)***
• TYPES small workshop on Invertibility of Lambda-Terms (Toulouse, 28-29/10/05)***