Confs in 2006

• POPL'06 (South Carolina, 11-13/01/06)
• Workshop on type theory in Paris (Paris 24-25/3/06)***
• TYPES'06 (Nottingham 18-21/04/06)***
• CSL'06 (Hungary, 25-29/09/06, subm: 24/04 and 01/05/06)***
• ICALP06 (and CSFW19) (Venice, July 2006)***
• FLoC'06 (Seattle, 10-22/08/06)
  • Inter Workshop on LF and Meta-Lang: Theory and Practice (LFMTP'06, 16/08/06, subm: 15/05/06)
• AISC'06 (Beijing, 20-22/09/06)***
• Lecture by Tony Hoare at BCS (25th October 2006)***
• ASIAN'06 (6-8/12/06, Tokyo)***