Confs in 2001

• POPL'01 (17-19/1/2001, London, subm: 17/7/00)
• TLCA'01 (2-5/5/2001, Poland, subm: 9/10/00)
• MFPS 17 (24-27/5/01, Aarhus, subm: 5/1/01)
• LICS'01 (16-19/6/01, Boston, subm: 8/1/01)
• IJCAR'01 (18-23/6/01, Italy, subm: 14/1/01)
• CAV'01 (18-22/7/01, Paris, subm: 15/1/01)
• LACL'01 (27-29/6/01, subm: 29/1/01)
• APPSEM'01 (19-22/03/01, reg: 15/2/01)
• TPHOLs'01 (3-6/9/01, Edinburgh, subm: 23/2/01)
• CSL'01 (10-13/9/01, subm: 15/3/01)
• IJCAR Workshop on proof transformation (18-19/6/01, Italy, subm: 15/4/01) ***
• Dagstuhl seminar on dep types and programming (19-24/8/01; JFP special issue, subm: 1/12/01) ***
• LPAR'01 (3-7/12/01, Cuba, subm: 15/7/01; Visa info) ***