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)
Back to Zhaohui Luo's "useful pointers" page
.