Enlaces

Enlaces a grupos de investigación

• Automated Reasoning Group (University of Cambridge, Inglaterra).

  Miembros destacados: Mike Gordon

• Automatic Theorem Proving Research Group (University of Texas at Austin, USA).

  Miembros destacados: J Strother Moore

• Cambridge Isabelle group

  Miembros destacados: Larry Paulson.

• Computation and Logic Group (McGill University, Canadá).

  Miembros destacados: Brigitte Pientka

• Foundations Group (Radboud Universiteit Nijmegen, Holanda).

  Miembros destacados: Henk Barendregt y Freek Wiedijk.

• Mathematical Reasoning Group (University of Edinburgh, Escocia).

  Miembros destacados: Alan Bundy.

• Psycotrip (Programming and Symbolic Computation Team (Universidad de la Rioja, España).

  Miembros destacados: Julio Rubio.

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

  Miembros destacados: 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 asociaciones

• The Association for Automated Reasoning (AAR).

Enlaces a congresos

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

• 05-Oct-08 22-Nov-08 LPAR 2008: International Conferences on Logic for Programming, Artificial Intelligence and Reasoning. Doha, Qatar.
• 15-Dic-08 06-Jul-09 CICM 2009: Conferences on Intelligent Computer Mathematics. Grand Bend, Ontario Canada.
• 12-Ene-09 11-May-09 ACL2 2009: Eighth International Workshop On The ACL2 Theorem Prover and Its Applications. Boston, USA.
• 17-Ene-09 28-Jul-2009 ISSAC 2009: International Symposium on Symbolic and Algebraic Computation. Seoul, Korea.
• 26-Ene-09 07-Jul-09 TABLEAUX 2009, Automated Reasoning with Analytic Tableaux and Related Methods. Oslo, Noruega.
• 30-Ene-09 06-Abr-09 NFM 2009: The First NASA Formal Methods Symposium. Moffett Field, California, USA.
• 02-Feb-09 17-Jul-08 WWV09: 5th Int'l Workshop on Automated Specification and Verification of Web. Castle of Hagenberg, Austria.
• 16-Feb-09 02-Ago-09 CADE 22: 22nd International Conference on Automated Deduction. Montreal, Canadá.
• 20-Feb-09 30-Jun-09 SAT 2009: Twelfth International Conference on Theory and Applications of Satisfiability Testing. Swansea, Wales, United Kingdom.
• 08-Mar-09 17-Ago-09 TPHOLs 2009: 22st International Conference on Theorem Proving in Higher Order Logics. Munich, Alemania.
• 31-Mar-09 01-Jul-09 EDM'09: Second International Conference on Educational Data Mining. Córdoba, España.
• 03-Abr-09 28-Jun-09 LSFA'09: Fourth Workshop on Logical and Semantic Frameworks, with Applications. Brasília, Brazil.
• 04-May-09 30-Oct-09 FM2009: 16th International Symposium on Formal Methods. Eindhoven, Holanda.
• Anuncios de congresos del Mathematical Reasoning Group (University of Edinburgh).

Enlaces a publicaciones

• Números especiales de revistas.
• Revistas.