Enlaces

Enlaces a grupos de investigación

• Automated Reasoning Group (University of Cambridge).

  Head: Mike Gordon

• Mathematical Reasoning Group (University of Edinburgh).

  Head: Alan Bundy.

• Psycotrip (Programming and Symbolic Computation Team (Universidad de la Rioja).

  Head: Julio Rubio.

• Theorem Proving Group (Technische Universität München)

  Head: Tobias Nipkow.

Enlaces a sistemas

• Sistemas de demostración:
  • ACL2.
  • Otter/Mace2.
  • Isabelle.
  • Prover9/Mace4.
  • PVS.
  • Twelf.
• Programación lógica:
  • SWI-Prolog.
  • GNU Prolog.
• Programación lógica con restricciones:
  • ECLIPSe.
  • CHR.
• Programación basada en conjuntos de respuestas:
  • DLV.
  • Smodels.
  • Cmodels.
  • clasp.
• Programación funcional:
  • con Haskell:
    • Hugs.
    • GHC.
  • con Lisp:
    • CLISP.
    • GCL.
  • con Scheme:
    • PLT Scheme (incluye DrScheme).
• Programación basada en reglas de producción:
  • CLIPS.
  • Jess.

Enlaces a congresos

Congresos

• 4-Mayo-2009 30-Oct-2009 FM2009: 16th International Symposium on Formal Methods.

Recopilaciones

• Anuncios de congresos del Mathematical Reasoning Group (University of Edinburgh).

Enlaces a publicaciones

• Números especiales de revistas.
• Revistas.