Enlaces
Sumario
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:
- Programación lógica con restricciones:
- Programación basada en conjuntos de respuestas:
- Programación funcional:
- Programación basada en reglas de producción:
Enlaces a asociaciones
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.
- 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.
- 29-Ene-10 01-Jul-10 TAP 2010: 4th International Conference on Tests & Proofs. Málaga, España.
- 25-Mar-10 23-Jul-10 20th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2010). Linz. Austria.
- 02-Abr-10 27-Sep-10 ICFP 2010: The 15th ACM SIGPLAN International Conference on Functional Programming. Baltimore, Maryland,EEUU.
- Plantilla:Congresos
Otras listas de congresos
- Anuncios de congresos del Mathematical Reasoning Group (University of Edinburgh).
- Índices de impacto:
- 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)