Diferencia entre revisiones de «Enlaces»
(→Enlaces a congresos) |
(→Próximos Congresos) |
||
(No se muestran 48 ediciones intermedias del mismo usuario) | |||
Línea 55: | Línea 55: | ||
== Enlaces a congresos == | == 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>. | '''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. | '''Ordenación''': Los congresos están ordenados por fecha final de envío. | ||
− | * {{congreso| | + | * {{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|26- | + | * {{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| | + | * {{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| | + | * {{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| | + | * {{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| | + | * {{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|31-Mar- | + | * {{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| | + | * {{congreso|07-Jun-10|19-Oct-10|[http://www.glc.us.es/cla2010 CLA 2010: Concept Lattices and their applications]|Sevilla,España}} |
− | * {{congreso| | + | |
− | * {{congreso| | + | === Congresos pasados === |
− | + | Además, puede consultarse el [[archivo de congresos anteriores]]. | |
− | * {{congreso| | ||
− | * {{congreso| | ||
− | * {{congreso| | ||
− | * {{congreso| | ||
− | * {{congreso| | ||
− | * {{congreso| | ||
− | |||
− | * {{congreso| | ||
− | |||
=== Otras listas de congresos === | === 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://dream.inf.ed.ac.uk/Links/conferences.php Anuncios de congresos] del [http://dream.inf.ed.ac.uk/ Mathematical Reasoning Group] (University of Edinburgh). | ||
− | * Índices de impacto | + | * [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://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]. | ** [http://www.cs-conference-ranking.org/conferencerankings/alltopics.html The Computer Science Conference Ranking]. |
Revisión actual del 09:12 24 mar 2010
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
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.
- 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.
- 26-Mar-10 23-Ago-2010 CSL 2010 (19th EACSL Annual Conference on Computer Science Logic). Brno, Chescolovaquia.
- 29-Mar-10 01-Jun-10 VSTTE’10: 3rd International Conference on Verified Software: Theories, Tools and Experiments. Edimburgo, Escocia.
- 29-Mar-10 15-Jul-10 PAR 2010: Workshop on Partiality and Recursion in Interactive Theorem Provers. Edimburgo,Escocia.
- 30-Mar-10 10-Jul-10 International Workshop on Hybrid Logic and Applications (HyLo 2010). Edimburgo, Escocia.
- 31-Mar-10 11-Jul-10 MoChArt 2010: Sixth Workshop on Model Checking and Artificial Intelligence. Atlanta, Georgia, USA.
- 31-Mar-10 17-Jun-10 GandALF 2010: First International Symposium on Games, Automata, Logics and Formal Verification. Minori,Italia.
- 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.
- 10-Abr-10 23-Ago-10 MFCS 2010: 35th International Symposium on Mathematical Foundations of Computer Science. Born, República Checa.
- 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.
- 05-May-10 20-Oct-10 FMCAD 2010: International Conference on Formal Methods in Computer-Aided Design. Lugano, Suiza.
- 07-May-10 16-Ago-10 ARCOE-10: Workshop on Automated Reasoning about Context and Ontology Evolution. Lisboa, Portugal.
- 07-Jun-10 19-Oct-10 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
- Anuncios de congresos del Mathematical Reasoning Group (University of Edinburgh).
- LOGIC Mailing List.
Í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)