Confs in 1996
LC96
(9-15, July). ***
TT School at Glasgow (12-15/9/96). ***
CSL96
(21-27/9/96). ***
LACL96
(23-25/9/96).
TYPES'96
in France (15-19/12/96) and
proceedings
. ***
Back to Zhaohui Luo's "useful pointers" page
.