Diferencia entre revisiones de «Enlaces»

De WikiGLC
Saltar a: navegación, buscar
(Enlaces a congresos)
(Enlaces a congresos)
Línea 59: Línea 59:
 
* {{congreso|16-Feb-09|02-Ago-09|[http://complogic.cs.mcgill.ca/cade22 CADE 22: 22nd International Conference on Automated Deduction]|Montreal, Canadá}}
 
* {{congreso|16-Feb-09|02-Ago-09|[http://complogic.cs.mcgill.ca/cade22 CADE 22: 22nd International Conference on Automated Deduction]|Montreal, Canadá}}
 
* {{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|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|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|04-May-09|30-Oct-09|[http://www.win.tue.nl/fm2009/ FM2009: 16th International Symposium on Formal Methods]|Eindhoven, Holanda}}
 
* {{congreso|04-May-09|30-Oct-09|[http://www.win.tue.nl/fm2009/ FM2009: 16th International Symposium on Formal Methods]|Eindhoven, Holanda}}
 
* [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).

Revisión del 19:59 19 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