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

Claves: Fecha final de envío Fecha inicial del congreso.

• 12-Ene-09 11-May-09 ACL2 2009: Eighth International Workshop On The ACL2 Theorem Prover and Its Applications. Boston, USA.
• 08-Mar-09 17-Ago-09 TPHOLs 2009: 22st International Conference on Theorem Proving in Higher Order Logics. Munich, Alemania.
• 04-May-09 30-Oct-09 FM2009: 16th International Symposium on Formal Methods. {{{4}}}.
• Anuncios de congresos del Mathematical Reasoning Group (University of Edinburgh).

Enlaces a publicaciones

• Números especiales de revistas.
• Revistas.