Diferencia entre revisiones de «Enlaces»

De WikiGLC
Saltar a: navegación, buscar
(Enlaces a congresos)
(Próximos Congresos)
 
(No se muestran 43 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|05-Oct-08|22-Nov-08|[http://www.qatar.cmu.edu/lpar08/ LPAR 2008: International Conferences on Logic for Programming, Artificial Intelligence and Reasoning]|Doha, Qatar}}
+
* {{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|15-Dic-08|06-Jul-09|[http://www.orcca.on.ca/conferences/cicm09/ CICM 2009: Conferences on Intelligent Computer Mathematics]|Grand Bend, Ontario Canada}}
+
* {{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|12-Ene-09|11-May-09|[http://www.cs.utexas.edu/~sandip/acl2-09/ ACL2 2009: Eighth International Workshop On The ACL2 Theorem Prover and Its Applications]|Boston, USA}}
+
* {{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|17-Ene-09|28-Jul-2009|[http://issac2009.kias.re.kr/ ISSAC 2009: International Symposium on Symbolic and Algebraic Computation]|Seoul, Korea}} 
+
* {{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|19-Ene-09|26-Jun-09|[http://www-cav2009.imag.fr/ CAV 2009: 21st International Conference on Computer Aided Verification]|Grenoble, Francia}}
+
* {{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-Ene-09|07-Jul-09|[http://tableaux09.ifi.uio.no/ TABLEAUX 2009, Automated Reasoning with Analytic Tableaux and Related Methods]|Oslo, Noruega}}
+
* {{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|30-Ene-09|06-Abr-09|[http://ti.arc.nasa.gov/event/nfm09/ NFM 2009: The First NASA Formal Methods Symposium]|Moffett Field, California, USA}}
+
* {{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|02-Feb-09|13-Jul-09|[http://www.promoteresearch.org/ The 2009 multi-conference (MULTICONF-09) in computer science, information technology, computer engineering, computational science, control and automation technology]|Orlando, FL, 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-Feb-09|17-Jul-08|[http://www.risc.uni-linz.ac.at/about/conferences/wwv09/ WWV09: 5th Int'l Workshop on Automated Specification and Verification of Web]|Castle of Hagenberg, Austria}}
+
* {{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|06-Feb-09|22-Jun-09|[http://www.embedded.rwth-aachen.de/ssv09 SSV 09: 4th International Workshop on Systems Software Verification (Real Software, Real Problems, Real Solutions)]|Aachen, Germany}}
+
* {{congreso|02-Abr-10|14-Jul-10|[http://www.cprover.org/SMT10/ SMT 2010 8th International Workshop on Satisfiability Modulo Theories]|Edimburgo, Escocia}}
* {{congreso|13-Feb-09|06-Jul-09|[http://www.calculemus.net/meetings/ontario09/ Calculemus 2009: 16th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning]|Ontario, Canada}}
+
* {{congreso|02-Abr-10|17-May-10|[http://www.cs.ou.edu/tfp2010/ Symposium on Trends in Functional Programming 2010]|Oklahoma,EEUU}}
* {{congreso|16-Feb-09|02-Ago-09|[http://complogic.cs.mcgill.ca/cade22 CADE 22: 22nd International Conference on Automated Deduction]|Montreal, Canadá}}
+
* {{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|20-Feb-09|30-Jun-09|[http://cs.swan.ac.uk/~csoliver/SAT2009/index.html SAT 2009: Twelfth International Conference on Theory and Applications of Satisfiability Testing]|Swansea, Wales, United Kingdom}}
+
* {{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|28-Feb-09|21-Jun-09|[http://wollic.org/wollic2009 WoLLIC 2009: 16th Workshop on Logic, Language, Information and Computation]|Tokyo, Japan}}  
+
* {{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|08-Mar-09|17-Ago-09|[http://tphols.in.tum.de TPHOLs 2009: 22st International Conference on Theorem Proving in Higher Order Logics]|Munich, Alemania}}
+
* {{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-09|01-Jul-09|[http://www.educationaldatamining.org/EDM2009/ EDM'09: Second International Conference on Educational Data Mining]|Córdoba, España}}
+
* {{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|03-Abr-09|28-Jun-09|[http://lsfa09.cic.unb.br/ LSFA'09: Fourth Workshop on Logical and Semantic Frameworks, with Applications]|Brasília, Brazil}}
+
* {{congreso|07-Jun-10|19-Oct-10|[http://www.glc.us.es/cla2010 CLA 2010: Concept Lattices and their applications]|Sevilla,España}}
* {{congreso|17-Abr-09|13-Sep-09|[http://www.comlab.ox.ac.uk/FORMATS2009/ FORMATS 2009: The 7th International Conference on Formal Modelling and Analysis of Timed Systems]|Budapest, Hungría}}
 
* {{congreso|19-Abr-09|10-Nov-09|[http://www.lsi.us.es/caepia09 CAEPIA-TTIA 2009: Conferencia de la Asociación Española para la Inteligencia Artificia]|Sevilla, España}}
 
* {{congreso|20-Abr-09|27-Jul-09|[http://web.comlab.ox.ac.uk/DL2009/ DL2009: The 22nd International Workshop on Description Logics]|Oxford, Reino Unido}}
 
* {{congreso|26-Abr-09|16-Sep-09|[http://frocos09.disi.unitn.it/ FroCoS 2009:  7th International Symposium on Frontiers of Combining Systems]|Trento, Italy}}
 
* {{congreso|30-Abr-09|27-Jun-09|[http://fm.csl.sri.com/AFM09/ AFM: Automated Formal Methods]|Grenoble, Francia}}
 
* {{congreso|01-May-09|06-Jul-09|[http://www.activemath.org/workshops/MathUI/09/ MathUI09: Mathematical User-Interfaces Workshop 2009]|Grand Bend, Ontario, Canada}}
 
* {{congreso|03-May-09|07-Sep-09|[http://www.dcc.fc.up.pt/ppdp09 PPDP09: 1x1th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming]|Coimbra, Portugal}}
 
* {{congreso|04-May-09|30-Oct-09|[http://www.win.tue.nl/fm2009/ FM2009: 16th International Symposium on Formal Methods]|Eindhoven, Holanda}}
 
* {{congreso|08-May-09|09-Sep-09|[http://www.cs.kuleuven.be/conference/lopstr09 LOPSTR09: 19th International Symposium on Logic-Based Program Synthesis and Transformation]|Coimbra, Portugal}}
 
* {{congreso|10-May-09|28-Jun-09|[http://www.lix.polytechnique.fr/rule/ RULE 09: The Tenth International Workshop on Rule-Based Programming]|Brasilia, Brazil}}
 
* {{congreso|25-May-09|06-Nov-09|[http://www.di.uminho.pt/tfm09 TFM2009: 2nd Int. FME Conference on Teaching Formal Methods]|Eindhoven, Holanda}}
 
* {{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|29-Mar-10|09-Jul-10|[http://www.floc-conference.org FLoC 2010: Federated Logic Conference]|Edimburgo, Escocia}}
 
* {{congreso|16-Oct-09|19-Abr-10|[http://www.kb.ecei.tohoku.ac.jp/flops2010/ FLOPS 2010: Tenth International Symposium on Functional and Logic Programming]|Sendai, Japan}}
 
*: Contiene ''International Conference on Interactive Theorem Proving'' (ITP) y ''International Joint Conference on Automated Reasoning'' (IJCAR).
 
  
====== Otras listas de congresos ======
+
=== 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://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

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