Diferencia entre revisiones de «Enlaces»

De WikiGLC
Saltar a: navegación, buscar
(Enlaces a congresos)
(Enlaces a congresos)
Línea 60: Línea 60:
 
'''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|5-Dic-10|27-Mar-10|[http://www.avantssar.eu/arspa-wits10 ARSPA-WITS'10: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security]|Paphos,Chipre}}
+
* {{congreso|05-Dic-10|27-Mar-10|[http://www.avantssar.eu/arspa-wits10 ARSPA-WITS'10: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security]|Paphos,Chipre}}
 +
* {{congreso|08-Ene-10|13-Abr-10|[http://shemesh.larc.nasa.gov/NFM2010/ NFM 2010: Second NASA Formal Methods Symposium]|Washington, EEUU}}
 
* {{congreso|14-Ene-10|25-Jul-10|[http://www.issac-conference.org/2010/ ISSAC 2010: 35 International Symposium on Symbolic and Algebraic Computation]|Munich, Alemania}}
 
* {{congreso|14-Ene-10|25-Jul-10|[http://www.issac-conference.org/2010/ ISSAC 2010: 35 International Symposium on Symbolic and Algebraic Computation]|Munich, Alemania}}
 
* {{congreso|15-Ene-10|16-Jul-10|[http://www.floc-conference.org/IJCAR-home.html IJCAR 2010: International Joint Conference on all aspects of Automated Reasoning]|Edimburgo, Escocia}}
 
* {{congreso|15-Ene-10|16-Jul-10|[http://www.floc-conference.org/IJCAR-home.html IJCAR 2010: International Joint Conference on all aspects of Automated Reasoning]|Edimburgo, Escocia}}
Línea 71: Línea 72:
 
* {{congreso|02-Abr-10|17-May-10|[http://www.cs.ou.edu/tfp2010/ Symposium on Trends in Functional Programming 2010]|Oklahoma,EEUU}}
 
* {{congreso|02-Abr-10|17-May-10|[http://www.cs.ou.edu/tfp2010/ Symposium on Trends in Functional Programming 2010]|Oklahoma,EEUU}}
 
* {{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|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}}
 +
  
 
====== Otras listas de congresos ======
 
====== Otras listas de congresos ======

Revisión del 23:00 27 nov 2009

Enlaces a grupos de investigación

Enlaces a sistemas

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.

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:
  • 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