Confs in 1998 and 1999

• CLUK98 (7-8/1/98.) ***
• LICS98 (21-24/6/98, subm: 9/12/97.)
• MPC98 (15-17/6/98, subm: 15/12/97).
• CAV98 (28/6/97-2/7/97, subm: 9/1/98.)
• ICALP98 (13-17/7/98, subm: 14/1/98).
• TYPES'98 (afternoon 27/3/98 -- morning 31/3/98, plus NL workshop 31/3/98--1/4/98, reg: 1/2/98. Final submission: 31/7/98) ***
• TPHOLs98 (28/9/98-2/10/98, subm: 20/3/98. Same venue as IRW/FMP'98.) ***
• IRW/FMP'98, Australia (29/9/98-2/10/98, subm: 3/4/98. Same venue as TPHOLs98.)
• UITP98 (13-14/7/98, subm: 27/3/98, Eindhoven, Proceedings). ***
• CALC'98 (Calculemus and Types 98) (13-15/7/98, Eindhoven). ***
• LC98 (9-15/8/98, subm: 6/4/98.).
• CSL'98 (23-28/8/98, 15/4/98 subm.)
• Concur98 (8-11/9/98, subm: 10/3/98.)
• Northern FM Workshop (14-15/9/98, subm: 8/5/98.) ***
• FACT21 (2/12/98 London, reg: 18/11/98)
• LACL98 (14-16/12/98, subm of abstract: 31/7/98) ***
• POPL'99 (20-22/1/99, subm: 24/7/98)
• TLCA'99 (7-9/4/99 Italy, subm: 4/9/98.)
• STACS99 (4-6/3/99 Germany, subm: 11/9/98)
• IWCS-3 (13-15/1/99 Tilbrug Holland, subm: 15/9/99) ???
• ETAPS'99 (22-26/3/99 Amsterdam, subm: 28/9/98) (with TACAS'99)
• St.Petersburg Days of LOGIC and COMPUTABILITY ***
• TYPES'99 (programme) (12-16/6/99 Lokeberg-Goteborg) ***
• FLoC'99 (July 99 Italy):
• LICS99 (2-5/7/99, subm: 10/12/98),
• CADE-16 (7-10/7/99, subm: 5/1/99),
• CAV99 (7-10/7/99, subm: 3/1/99),
• RTA99 (2-4/7/99, subm: 1/12/98).
• Affiliated Workshops***
• FM'99 (20-24/9/99 Toulouse, subm:14/2/99)
• ICFP'99 (27-29/9/99 Paris, subm: 10/3/99)
• CSL99 CFP (20-24/9/99 Madrid Spain, subm: 2/4/99)
• FLOPS'99 (FP and LP) (11-13/11/1999 ETL Japan, subm: 24/5/99)
• TYPES Summer School (France 30/8/99-10/9/99) ***
• CTCS99 (Edinburgh 10-12/9/99, subm: 7/5/99) ***
• Hoare Symp (Oxford 13-15/9/99, reg: 31/7/99)