Diferencia entre revisiones de «Enlaces»
(→Enlaces a congresos) |
(→Enlaces a congresos) |
||
Línea 89: | Línea 89: | ||
* {{congreso|14-Jun-09|25-Oct-09|[http://www.rr-conference.org/RR2009 RR 2009: The Third International Conference on Web Reasoning and Rule Systems]|Chantilly, Virginia, USA}} | * {{congreso|14-Jun-09|25-Oct-09|[http://www.rr-conference.org/RR2009 RR 2009: The Third International Conference on Web Reasoning and Rule Systems]|Chantilly, Virginia, USA}} | ||
* {{congreso|31-Jul-09|09-Jul-10|[http://www.floc-conference.org FLoC 2010: Federated Logic Conference]|Edimburgo, Escocia}} | * {{congreso|31-Jul-09|09-Jul-10|[http://www.floc-conference.org FLoC 2010: Federated Logic Conference]|Edimburgo, Escocia}} | ||
+ | *: Contiene ''International Conference on Interactive Theorem Proving'' (ITP) y ''International Joint Conference on Automated Reasoning'' (IJCAR). | ||
=== Otras listas de congresos === | === Otras listas de congresos === |
Revisión del 11:51 30 abr 2009
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.
- 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.
- 19-Ene-09 26-Jun-09 CAV 2009: 21st International Conference on Computer Aided Verification. Grenoble, Francia.
- 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 13-Jul-09 The 2009 multi-conference (MULTICONF-09) in computer science, information technology, computer engineering, computational science, control and automation technology. Orlando, FL, USA.
- 02-Feb-09 17-Jul-08 WWV09: 5th Int'l Workshop on Automated Specification and Verification of Web. Castle of Hagenberg, Austria.
- 06-Feb-09 22-Jun-09 SSV 09: 4th International Workshop on Systems Software Verification (Real Software, Real Problems, Real Solutions). Aachen, Germany.
- 13-Feb-09 06-Jul-09 Calculemus 2009: 16th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning. Ontario, Canada.
- 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.
- 28-Feb-09 21-Jun-09 WoLLIC 2009: 16th Workshop on Logic, Language, Information and Computation. Tokyo, Japan.
- 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.
- 17-Abr-09 13-Sep-09 FORMATS 2009: The 7th International Conference on Formal Modelling and Analysis of Timed Systems. Budapest, Hungría.
- 19-Abr-09 10-Nov-09 CAEPIA-TTIA 2009: Conferencia de la Asociación Española para la Inteligencia Artificia. Sevilla, España.
- 20-Abr-09 27-Jul-09 DL2009: The 22nd International Workshop on Description Logics. Oxford, Reino Unido.
- 26-Abr-09 16-Sep-09 FroCoS 2009: 7th International Symposium on Frontiers of Combining Systems. Trento, Italy.
- 30-Abr-09 27-Jun-09 AFM: Automated Formal Methods. Grenoble, Francia.
- 01-May-09 06-Jul-09 MathUI09: Mathematical User-Interfaces Workshop 2009. Grand Bend, Ontario, Canada.
- 03-May-09 07-Sep-09 PPDP09: 1x1th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. Coimbra, Portugal.
- 04-May-09 30-Oct-09 FM2009: 16th International Symposium on Formal Methods. Eindhoven, Holanda.
- 08-May-09 09-Sep-09 LOPSTR09: 19th International Symposium on Logic-Based Program Synthesis and Transformation. Coimbra, Portugal.
- 10-May-09 28-Jun-09 RULE 09: The Tenth International Workshop on Rule-Based Programming. Brasilia, Brazil.
- 14-Jun-09 25-Oct-09 RR 2009: The Third International Conference on Web Reasoning and Rule Systems. Chantilly, Virginia, USA.
- 31-Jul-09 09-Jul-10 FLoC 2010: Federated Logic Conference. Edimburgo, Escocia.
- Contiene International Conference on Interactive Theorem Proving (ITP) y International Joint Conference on Automated Reasoning (IJCAR).
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)