Confs in 2003

• TLDI03 (Types in Language Design and Implementation (18/1/03, subm: 27/9/02)***
• MKM'03 (16-18/2/03, subm: 1/9/02)***
• TPHOL'03 (9-12/9/03, subm: 21/2/03)
• TYPES03 (30/4/03-4/5/03, reg: 20/3/03, final subm: 1/10/03)***
• Math on Semantic Web (12-14/5/03, Eindhoven)***
• de Bruijn workshop (4-5/7/03, subm: 9/3/03)
• LICS03 (June 22nd - 25th, 2003)
• FOL75 (18-21/09/03, Berlin)
• UITP03 (15/07/03, subm: 1/6/03)