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.

• Theory and Semantics Group (University of Cambridge, Inglaterra)

  Miembros destacados: Mike Gordon, Robin Milner, Larry Paulson y Glynn Winskel.

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.

Ordenación: Los congresos están ordenados por fecha final de envío.

• 05-Dic-10 27-Mar-10 ARSPA-WITS'10: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security. Paphos,Chipre.
• 08-Ene-10 13-Abr-10 NFM 2010: Second NASA Formal Methods Symposium. Washington, EEUU.
• 11-Ene-10 15-Jul-10 CAV 2010 - 22nd International Conference on Computer Aided Verification. Edimburgo, Escocia.
• 14-Ene-10 25-Jul-10 ISSAC 2010: 35 International Symposium on Symbolic and Algebraic Computation. Munich, Alemania.
• 15-Ene-10 11-Jul-10 RTA 2010: Rewriting Techniques and Applications 21st International Conference . Edimburgo, Escocia.
• 15-Ene-10 16-Jul-10 IJCAR 2010: International Joint Conference on all aspects of Automated Reasoning. Edimburgo, Escocia.
• 15-Ene-10 11-Jul-10 ITP 2010: Interactive Theorem Proving . Edimburgo, Escocia.
• 15-Ene-10 19-Abr-10 FLOPS 2010: Tenth International Symposium on Functional and Logic Programming. Sendai, Japan.
• 20-Ene-10 03-May-10 AST 2010: 5th International Workshop on Automation of Software Test. Cape Town, South Africa.
• 29-Ene-10 01-Jul-10 TAP 2010: 4th International Conference on Tests & Proofs. Málaga, España.
• 01-Feb-10 11-Jul-10 SAT 2010: Thirteenth International Conference on Theory and Applications of Satisfiability Testing. Edimburgo, Escocia.
• 25-Mar-10 23-Jul-10 20th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2010). Linz. Austria.
• 26-Mar-10 20-Jul-10 Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) 2010. Edimburgo, Escocia.
• 29-Mar-10 01-Jun-10 VSTTE’10: 3rd International Conference on Verified Software: Theories, Tools and Experiments. Edimburgo, Escocia.
• 02-Abr-10 27-Sep-10 ICFP 2010: The 15th ACM SIGPLAN International Conference on Functional Programming. Baltimore, Maryland,EEUU.
• 02-Abr-10 14-Jul-10 SMT 2010 8th International Workshop on Satisfiability Modulo Theories. Edimburgo, Escocia.
• 02-Abr-10 17-May-10 Symposium on Trends in Functional Programming 2010. Oklahoma,EEUU.
• 14-Abr-10 20-Jul-10 CHR 2010: Seventh International Workshop on Constraint Handling Rules. Edimburgo,Escocia.
• 25-Abr-10 09-Jul-10 IWS 2010: 1st International Workshop on Strategies in Rewriting, Proving, and Programming. Edimburgo, Escocia.

Otras listas de congresos

• Anuncios de congresos del Mathematical Reasoning Group (University of Edinburgh).
• Índices de impacto:
  • ISI Jornal Reports.
  • The Computer Science Conference Ranking.
  • CiteSEER: Estimated impact of publication venues in Computer Science
  • CORE: Computing Research and Education
• Congresos de interés para el GLC en algún índice:
  • AIED: Int. Conf. on Artificial Intelligence in Education (CORE=A)
  • ALP: Intl Conf on Algebraic and Logic Programming (CSCR=0.73, CORE=B)
  • AMAI: Artificial Intelligence and Maths (CORE=A)
  • APPIA/GULP/PRODE: Joint Conf. on Declarative Programming (CORE=C)
  • ATVA: Int. S. on Automated Technology for Verification and Analysis (CORE=A)
  • AiML: Advances in Modal Logic (CORE=A)
  • CADE: International Conference on Automated Deduction (CORE=A)
  • CAEPIA: Conf. of the Spanish Association for Art. Int. (CSCR=0.55)
  • CAV: Computer Aided Verification (CORE=A+)
  • COMMONSENSE: Symp. on Logical Formalizations of Commonsense Reasoning (CORE=B)
  • CP: Int. Conf. on Principles & Practice of Constraint Programming (CORE=A)
  • CSL: Annual Conf on Computer Science Logic (CSCR=0.75)
  • DMTCS Int. Conf. on Discrete Mathematics and Theoretical C.S. (CORE=B)
  • EKAW: Int. Conf. on Knowledge Engineering and Knowledge Management (CORE=A)
  • ERCIM/CSCL: Workshop on Constraint Solving and CLP (CORE=B)
  • FLOPS: International Symposium on Functional and Logic Programming (CORE=A)
  • FME: Formal Methods Europe (CORE=A)
  • FOCS: IEEE Symposium on Foundations of Computer Science (CORE=A+)
  • ICFP: International Conference on Functional Programming (CORE=A+)
  • ICLP: Int. Conf. on Logic Programming (CSCR=0.97, CORE=A)
  • ICTL: International Coference on Temporal Logic (CORE=A)
  • IJCAR: International Joint Conference on Automated Reasoning (CORE=A+)
  • ILP: Inductive Logic Programming (CORE=B)
  • ILPS: International Logic Programming Symposium (CORE=A)
  • ISSAC: Intl. Symp on Symbolic and Algebraic Computation (CSCR=0.98,CORE=A+)
  • JELIA: Logics in Artificial Intelligence, European Conference (CORE=A)
  • KR: International Conference on Principles of KR & Reasoning (CORE=A+)
  • LFCS: Logical Foundations of Computer Science (CSCR=0.94, CORE=B)
  • LICS: IEEE Symp on Logic in Computer Science (CSCR=0.98, CORE=A+)
  • LOPSTR: Intl Workshop on Logic Prog Synthesis & Transf (CSCR=0.72, CORE=B)
  • LPAR: Logic Programming and Automated Reasoning (CORE=A)
  • LPMA: Intl Workshop on Logic Programming and Multi-Agents (CSCR=0.78,CORE=B)
  • LPNMR: Int. Conf. on Logic Programming and Non-monotonic Reasoning (CORE=A)
  • MFCS: Mathematical Foundations of Computer Science (CORE=B)
  • PADL: Practical Aspects of Declarative Language (CORE=A)
  • PLILP: Prog, Lang Implementation & Logic Programming (CSCR=0.73,CORE=B)
  • PPDP: Int. Conf. on Principles and Practice of Declarative Programming(CORE=B)
  • TPHOLs: Int. Conf. on Theorem Proving in Higher Order Logics (CORE=A)
  • VMCAI: Verification, Model Checking and Abstract Interpretation (CORE=A)
  • WFLP: Int. Workshop on Functional and (Constraint) Logic Programming (CORE=C)

Enlaces a publicaciones

• Números especiales de revistas.
• Revistas.