Diferencia entre revisiones de «Enlaces»

De WikiGLC
Saltar a: navegación, buscar
(Enlaces a congresos)
(Enlaces a congresos)
Línea 54: Línea 54:
 
* {{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|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|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|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|03-Abr-09|28-Jun-09|[http://lsfa09.cic.unb.br/ LSFA 2009: Fourth Workshop on Logical and Semantic Frameworks, with Applications]|Brasilia, Brasil}}
 
* {{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|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|17-Ene-09|28-Jul-2009|[http://issac2009.kias.re.kr/ ISSAC 2009: International Symposium on Symbolic and Algebraic Computation]|Seoul, Korea}}   
 
* {{congreso|17-Ene-09|28-Jul-2009|[http://issac2009.kias.re.kr/ ISSAC 2009: International Symposium on Symbolic and Algebraic Computation]|Seoul, Korea}}   

Revisión del 22:56 26 nov 2008

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.

Enlaces a publicaciones