• IFS released by ICOT
• Dissemination and further development of IFS by AITEC
  • KLIC
    (KLIC related software and documents are distributed by the KLIC Association. Please visit it HP.)
  • Deductive Object-oriented Database Language: QUIXOTE
  • Legal Reasoning: HELIC-II (In Japanese)
  • Genetic Information Processing (In Japanese)
  • Parallel Database Management System: Kappa
  • Parallel Theorem Prover: MGTP (In Japanese)
• AITEC Contract Research Funding Program
• KLIC Programming Contest

Terms and Conditions

• ICOT's Publications
  • Technical Report / Technical Memo
  • Index of ICOT Journals
  • ICOT TODAY (Japanese Only)
  • IFS Newsletter
  • FGCS'92 Demonstrations
  • Proceedings of FGCS'94
  • Proceedings of the FGCS PROJECT EVALUATION WORKSHOP
• AITEC's Publications
  • AITEC News
• International Collaborative Research Agreement(U.S., U.K., France, Australia)
• FGCS Photo Museum