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. ***