Confs in 2000

• TCS2000 (17-19/8/00, subm: 28/1/00)
• LICS'00(26-28/6/00) ***
• LF and Meta-lang Workshop(25/6/00,  subm: 25/4/00) ***
• JFP Special Issue on LF  (subm: 23/10/00) ***
• MPC2000 (Math in Prog Construction, 3-7/7/2000, subm: 3/1/2000)
• Workshop on subtyping and dep types (7/7/00) ***
• Generic prohramming (6/7/00)