Diferencia entre revisiones de «Enlaces»

De WikiGLC
Saltar a: navegación, buscar
(→‎Enlaces a grupos de investigación)
(→‎Próximos Congresos)
 
(No se muestran 127 ediciones intermedias de 3 usuarios)
Línea 1: Línea 1:
 
== Enlaces a grupos de investigación ==
 
== Enlaces a grupos de investigación ==
−
* [http://www.csc.liv.ac.uk/research/logics/ Logic and Computation Group] (University of Liverpool).
+
* [http://www.cl.cam.ac.uk/research/hvg/ Automated Reasoning Group] (University of Cambridge, Inglaterra).
−
* [http://dream.inf.ed.ac.uk/ Mathematical Reasoning Group] (University of Edinburgh).
+
*: Miembros destacados: [http://www.cl.cam.ac.uk/~mjcg/ Mike Gordon]
 +
* [http://www.cs.utexas.edu/users/moore/atp Automatic Theorem Proving Research Group] (University of Texas at Austin, USA).
 +
*: Miembros destacados: [http://www.cs.utexas.edu/users/moore/ J Strother Moore]
 +
* [http://www.cl.cam.ac.uk/research/hvg/Isabelle/Cambridge/ Cambridge Isabelle group]
 +
*: Miembros destacados: [http://www.cl.cam.ac.uk/users/lcp/ Larry Paulson].
 +
* [http://complogic.cs.mcgill.ca Computation and Logic Group] (McGill University, Canadá).
 +
*: Miembros destacados: [http://www.cs.mcgill.ca/~bpientka/ Brigitte Pientka]
 +
* [http://http://www.fnds.cs.ru.nl/fndswiki/ Foundations Group] (Radboud Universiteit Nijmegen, Holanda).
 +
*: Miembros destacados: [http://www.cs.ru.nl/~henk Henk Barendregt] y [http://www.cs.ru.nl/~freek/ Freek Wiedijk].
 +
* [http://dream.inf.ed.ac.uk/ Mathematical Reasoning Group] (University of Edinburgh, Escocia).
 +
*: Miembros destacados: [http://homepages.inf.ed.ac.uk/bundy/ Alan Bundy].
 +
* [http://www.unirioja.es/dptos/dmc/psycotrip/ Psycotrip (Programming and Symbolic Computation Team] (Universidad de la Rioja, España).
 +
*: Miembros destacados: Julio Rubio.
 +
* [http://www4.informatik.tu-muenchen.de/proj/theoremprov/group.html Theorem Proving Group] (Technische Universität München, Alemania)
 +
*: Miembros destacados: [http://www4.in.tum.de/~nipkow/ Tobias Nipkow].
 +
* [http://www.cl.cam.ac.uk/research/tsg/theory.html Theory and Semantics Group] (University of Cambridge, Inglaterra)
 +
*: Miembros destacados: [http://www.cl.cam.ac.uk/users/mjcg/ Mike Gordon], [http://www.cl.cam.ac.uk/users/rm135/ Robin Milner], [http://www.cl.cam.ac.uk/users/lcp/ Larry Paulson] y [http://www.cl.cam.ac.uk/users/gw104/ Glynn Winskel].
 +
 
 +
== Enlaces a sistemas ==
 +
* Sistemas de demostración:
 +
** [http://www.cs.utexas.edu/users/moore/acl2/ ACL2].
 +
** [http://www.cs.unm.edu/~mccune/otter/ Otter/Mace2].
 +
** [http://www.cl.cam.ac.uk/research/hvg/Isabelle/ Isabelle].
 +
** [http://www.cs.unm.edu/~mccune/prover9/ Prover9/Mace4].
 +
** [http://pvs.csl.sri.com/ PVS].
 +
** [http://twelf.plparty.org/wiki/Main_Page Twelf].
 +
* Programación lógica:
 +
** [http://www.swi-prolog.org/ SWI-Prolog].
 +
** [http://www.gprolog.org/ GNU Prolog].
 +
* Programación lógica con restricciones:
 +
** [http://www.eclipse-clp.org/ ECLIPSe].
 +
** [http://www.cs.kuleuven.be/~dtai/projects/CHR/ CHR].
 +
* Programación basada en conjuntos de respuestas:
 +
** [http://www.dbai.tuwien.ac.at/proj/dlv/ DLV].
 +
** [http://www.tcs.hut.fi/Software/smodels/ Smodels].
 +
** [http://www.cs.utexas.edu/users/tag/cmodels.html Cmodels].
 +
** [http://www.cs.uni-potsdam.de/clasp/ clasp].
 +
* Programación funcional:
 +
** con Haskell:
 +
*** [http://cvs.haskell.org/Hugs/index.html Hugs].
 +
*** [http://haskell.org/ghc/index.html GHC].
 +
** con Lisp:
 +
*** [http://clisp.cons.org/ CLISP].
 +
*** [http://www.gnu.org/software/gcl/ GCL].
 +
** con Scheme:
 +
*** [http://plt-scheme.org/ PLT Scheme] (incluye [http://www.drscheme.org/ DrScheme]).
 +
* Programación basada en reglas de producción:
 +
** [http://clipsrules.sourceforge.net/ CLIPS].
 +
** [http://herzberg.ca.sandia.gov/ Jess].
 +
 
 +
== Enlaces a asociaciones ==
 +
* [http://www.aarinc.org/ The Association for Automated Reasoning (AAR)].
 +
 
 +
== Enlaces a congresos ==
 +
=== Próximos Congresos ===
 +
'''Claves''': <font style="background:#FFDDDD">Fecha final de envío</font> <font style="background:#DDFFDD">Fecha inicial del congreso</font>.
 +
 
 +
'''Ordenación''': Los congresos están ordenados por fecha final de envío.
 +
 
 +
* {{congreso|25-Mar-10|23-Jul-10|[http://www.risc.uni-linz.ac.at/about/conferences/lopstr2010 20th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2010)]|Linz. Austria}}
 +
* {{congreso|26-Mar-10|20-Jul-10|[http://www.dbai.tuwien.ac.at/proj/aspocp10/index.html Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) 2010]|Edimburgo, Escocia}}
 +
* {{congreso|26-Mar-10|23-Ago-2010|[http://mfcsl2010.fi.muni.cz/csl/ CSL 2010 (19th EACSL Annual Conference on Computer Science Logic)]|Brno, Chescolovaquia}}
 +
* {{congreso|29-Mar-10|01-Jun-10|[http://www.macs.hw.ac.uk/vstte10/Home.html VSTTE’10: 3rd International Conference on Verified Software: Theories, Tools and Experiments]|Edimburgo, Escocia}}
 +
* {{congreso|29-Mar-10|15-Jul-10|[http://www.cs.st-andrews.ac.uk/~ek/PAR-10/ PAR 2010:  Workshop on Partiality and Recursion in Interactive Theorem Provers]|Edimburgo,Escocia}}
 +
* {{congreso|30-Mar-10|10-Jul-10|[http://hylocore.ruc.dk/HyLo2010.html International Workshop on Hybrid Logic and Applications (HyLo 2010)]|Edimburgo, Escocia}}
 +
* {{congreso|31-Mar-10|11-Jul-10|[http://mochart.informatik.uni-freiburg.de/ MoChArt 2010: Sixth Workshop on Model Checking and Artificial Intelligence]|Atlanta, Georgia, USA}}
 +
* {{congreso|31-Mar-10|17-Jun-10|[http://gandalf.dia.unisa.it GandALF 2010: First International Symposium on Games, Automata, Logics and Formal Verification]|Minori,Italia}}
 +
* {{congreso|02-Abr-10|27-Sep-10|[http://www.icfpconference.org/icfp2010/ ICFP 2010: The 15th ACM SIGPLAN International Conference on Functional Programming]|Baltimore, Maryland,EEUU}}
 +
* {{congreso|02-Abr-10|14-Jul-10|[http://www.cprover.org/SMT10/ SMT 2010 8th International Workshop on Satisfiability Modulo Theories]|Edimburgo, Escocia}}
 +
* {{congreso|02-Abr-10|17-May-10|[http://www.cs.ou.edu/tfp2010/ Symposium on Trends in Functional Programming 2010]|Oklahoma,EEUU}}
 +
* {{congreso|10-Abr-10|23-Ago-10|[http://mfcsl2010.fi.muni.cz/mfcs/ MFCS 2010: 35th International Symposium on Mathematical Foundations of Computer Science]|Born, República Checa}}
 +
* {{congreso|14-Abr-10|20-Jul-10|[http://www.cs.kuleuven.be/~petervw/CHR2010/ CHR 2010: Seventh International Workshop on Constraint Handling Rules]|Edimburgo,Escocia}}
 +
* {{congreso|25-Abr-10|09-Jul-10|[http://iws2010.inria.fr/ IWS 2010: 1st International Workshop on Strategies in Rewriting, Proving, and Programming]|Edimburgo, Escocia}}
 +
* {{congreso|05-May-10|20-Oct-10|[http://fmcad10.iaik.tugraz.at/ FMCAD 2010: International Conference on Formal Methods in Computer-Aided Design]|Lugano, Suiza}}
 +
* {{congreso|07-May-10|16-Ago-10|[http://www.arcoe.org/2010/ ARCOE-10: Workshop on Automated Reasoning about Context and Ontology Evolution]|Lisboa, Portugal}}
 +
* {{congreso|07-Jun-10|19-Oct-10|[http://www.glc.us.es/cla2010 CLA 2010: Concept Lattices and their applications]|Sevilla,España}}
 +
 
 +
=== Congresos pasados ===
 +
Además, puede consultarse el [[archivo de congresos anteriores]].
 +
 
 +
=== Otras listas de congresos ===
 +
* [http://dream.inf.ed.ac.uk/Links/conferences.php Anuncios de congresos] del [http://dream.inf.ed.ac.uk/ Mathematical Reasoning Group] (University of Edinburgh).
 +
* [http://www.illc.uva.nl/LogicList/ LOGIC Mailing List].
 +
 
 +
=== Índices de impacto ===
 +
** [http://0-wok.cica.es.fama.us.es/portal.cgi?DestApp=JCR&Func=Frame ISI Jornal Reports].
 +
** [http://www.cs-conference-ranking.org/conferencerankings/alltopics.html The Computer Science Conference Ranking].
 +
** CiteSEER: [http://citeseer.ist.psu.edu/impact.html Estimated impact of publication venues in Computer Science]
 +
** CORE: [http://www.core.edu.au/ 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 ==
 
== Enlaces a publicaciones ==
−
* [http://dream.inf.ed.ac.uk/Links/conferences.php Congresos].
 
 
* [http://dream.inf.ed.ac.uk/Links/specials.php Números especiales de revistas].
 
* [http://dream.inf.ed.ac.uk/Links/specials.php Números especiales de revistas].
 
* [http://dream.inf.ed.ac.uk/Links/journals.php Revistas].
 
* [http://dream.inf.ed.ac.uk/Links/journals.php Revistas].

Revisión actual del 10:12 24 mar 2010

Enlaces a grupos de investigación

Enlaces a sistemas

Enlaces a asociaciones

Enlaces a congresos

Próximos Congresos

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

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

Congresos pasados

Además, puede consultarse el archivo de congresos anteriores.

Otras listas de congresos

Í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)

Enlaces a publicaciones

Obtenido de «https://www.glc.us.es/web/index.php?title=Enlaces&oldid=849»