Confs in 1997

• TLCA97 (2-4/4/97; subm: 30/8/96). ***
• TAPSOFT97 (14-18/4/97, subm: 13/10/96).
• TACAS97 (2-4/4/97, subm: 18/10/96).
• CADE-14 (13-17/7/97, subm: 6/12/96).
• LICS97 (29/6/97, subm: 11/12/96).
• CAV97 (22-25/6/97, subm: 6/1/97).
• FAPR97 (9-12/6/97, subm: 6/1/97).
• TACS97 in Japan (24-26/9/97, subm: 10/1/97).
• ICALP97 (7-11/7/97, subm: 15/1/97).
• JAR special issue (subm: 15/1/97).
• FME97 (15-19/9/97, subm: 17/1/97). ***
• IWFM97 (Irish Wkshp on FM, 3-4/7/97, subm: 31/1/97.)
• PTP97 (8-10/4/97, subm: 28/2/97).
• CTCS97 (4-6/9/97, subm: 1/3/97).
• CSL97 (23-29/8/97, subm: 15/4/97).
• ESSLLI97 summer school (11-22/8/97, early registr: 15/4/97.) ***
• LACL97 (22-24/9/97, subm: 30/4/97, final subm: 31/1/98.) ***
• WOLLIC97 (Brazil Wkp, 20-22/8/97, subm: 1/6/97.)
• TYPES WG Workshop at Durham (30/8-1/9/97.) ***