Confs in 2002

• ETAPS'02 (4/2002, France, subm: 19/10/01)
• FLoC'02 (Denmark, July 2002):
  • Conference on Automated Deduction (July 27-30)
  • Conference on Computer-Aided Verification (July 27-31)
  • Formal Methods Europe (July 22-24)
  • International Conference on Logic Programming (July 29 - August 1)
  • IEEE Symposium on Logic in Computer Science (July 22-25; subm: 15/1/02)
  • Conference on Rewriting Techniques and Applications (July 22-24)
  • Automated Reasoning with Analytic Tableaux and Related Methods (July 30 - August 1)
  • LFM'02 (26/7/02, subm: 15/4/02, Denmark (FLoC associated))
• FME'02 (20-24/7/02, subm: 15/1/02)
• CTCS'02 (15-17/8/02, subm: 25/3/02)
• TYPES'02
(24-28/4/02) ***
• IFIP TC2 WORKING CONF ON GENERIC PROGRAMMING (11th and 12th July 2002) ***
• TYPES summer school (2-13/9/02) ***
• CSL'02 (22-25/9/02, subm: 29/3/02)***
• British Logic Colloqium ***
• TYPES Termination Workshop (14-15/11/02)
• Grand Challenge Workshop (Edinburgh, 24-26/11/02)