Papers in peer-review conferences

  • Huertas, M.A.(2016). An E-Assessment Analytics Framework for STEM in Higher Education. EDULEARN16: 8th  International Conference on Education and New Learning Technologies. Barcelona (Spain), 4-5 July. In EDULEARN16 Proceedings. ISBN: 978-84-608-8860-4.
  • Huertas, M.A. (2016). E-Assessment Analytics. 8th International Workshop on Mathematical e-Learning (E-MATH 2016). UNED, Madrid, 5-6 May. https://sites.google.com/site/8emath2016madrid/
  • Córcoles, C. ; Huertas, M. A., Porta, L. (2015). A web application for the analysis of student use of video learning resources. EDULEARN15: 7th  International Conference on Education and New Learning Technologies. Barcelona (Spain), 6-8 July. In EDULEARN16 Proceedings. ISBN: 978-84-606-8243-1 / ISSN: 2340-1117
    Publisher: IATED
  • Manzano, M., Huertas, A., Casas-Roma, J., Moreno, M.C. (2015). Intensional Logic Reloaded. VIII SLMFCE: VIII Conference of the Spanish Society for Logic, Methodology and Philosophy of Science. Barcelona, 7-10 July.
  • Huertas, M.A. (2015). Gender stereotypes in ICT studies and research projects. EGERA Workshop. UAB, Barcelona, 15 May. (Invited Speaker)
  • Casas-Roma, J., Huertas, A., Manzano, M., Rodríguez-González, M.E (2015). Intensionality: uncomfortable but necessary in the history of logic. 5th UNILOG. Istanbul, Turkey.  June 25-30, 2015. 
  • M. Antonia Huertas and Enric Mor (2014). Technology-Enhanced (TEA) in Online Education: challenges and opportunities.  Key note in International Conference on Advances in ICT for Emerging Regions (ICTer2014), 12th-13th December 2014, Colombo, Sri Lanka.
  • Hettiarachchi, E., Huertas, M. A., Mor, E., (2014), E-Assessment in High-Level Cognitive Courses: Improving Student Engagement and Results, International Conference on Advances in ICT for Emerging Regions (ICTer2014), 12th-13th December 2014, Colombo, Sri Lanka.
  • Hettiarachchi, E., Mor, E., Huertas, M. A., Rodríguez, M. (2014), A Technology Enhanced Assessment System for Skill and Knowledge Learning. In: 6th International Conference on Computer Supported Education (CSEDU 2014). Barcelona, Pag. 184-191. DOI: 10.5220/0004845.
  • Hettiarachchi, E., Huertas, M. A., Mor, E. (2014), E-Assessment for Skill and Knowledge Acquisition in STEM Online Education, In: 1st International Workshop on Technology-Enhanced Assessment, Analytics and Feedback (TEAAF2014), Barcelona.
  • Hettiarachchi, E., Huertas, M.A., and Mor, E. (2013), Addressing Formative E-Assessment for High-level Cognitive Courses at a Fully Online University, 6th International Conference of Education, Research and Innovation, 18th-20th November 2013, Seville, Spain.
  • Guerrero-Roldán, A. Rodríguez, E.,Hettiarachchi, E., Mor,E. and Huertas M.A.(2013), An Online Educational Tools for Competence Assessment, 6th International Conference of Education, Research and Innovation, 18th -20th November 2013, Seville, Spain.
  • María Manzano, Manuel A.Martins, Antonia Huertas (2013). Equational hybrid logic: reducing logical symbols to equality and abstraction. Logic Colloquium 2013. Évora, Portugal. 22 July-27 July.
  • María Manzano, Manuel A.Martins, Antonia Huertas (2013). Identity as a Primitive in Equational Hybrid Logic. 4th World Congress and School on Universal Logic (UNILOG2013). Rio de Janeiro, Brasil. 2 april-7 April. http://www.uni-log.org/start4.html.
  • María Antonia Huertas (2013). Ten years of e-assessment systems and methodologies for maths. 5th International Workshop on Mathematical e-Learning (E-MATH 2013). UNED, Madrid, 4-5 April.
  • Enosha Hettiarachchi, Maria Antonia Huertas, Enric Mor Pera and Ana-Elena Guerrero-Roldan (2012). An Architecture for Technology-Enhanced Assessment of High Level Skill Practice. 2012 IEEE International Conference on Advanced Learning Technologies (ICALT 2012)
  • Enosha Hettiarachchi, Maria Antonia Huertas, Enric Mor Pera and Ana-Elena Guerrero-Roldan (2012).  A Standard and Interoperable Technology-Enhanced Assessment System for skill and knowledge acquirement. International Conference on Computer Supported Education (CSEDU 2012)
  • Blackburn, P., Manzano, M., Areces, C., Huertas, A.  The Bird of the Hybrid Type Theory (2011). 4th Congress of Logic, Methodology and Philosophy of Science. Nancy, France,19-26 July, 2011.
  • Huertas, A. (2011). Ten years of Computer-based Tutors for Teaching Logic 2000-2010: Lessons Learned. Third International Congress on Tools for Teaching Logic (TICTTL), Salamanca, Spain, 1-4 June, 2011.
  • Huertas, A., Mor, e., López-Oros, L. Humet, J.M. (2011). The SELL Project: a Learning Tool for E-learning Logic. Third International Congress on Tools for Teaching Logic (TICTTL), Salamanca, Spain, 1-4 June, 2011.
  • Hettiarachchi, E, Huertas, A. “E-assessments and how it can be adapted to mathematical e-learning”. 3rd International Workshop on Mathematical E-learning. Barcelona, Spain, 21-23 June, 2011.
  • Córcoles, C., Huertas, M.A., Valls, A. (2011). “Handwriting math recognition technologies for math e-learning”. 3rd International Workshop on Mathematical E-learning. Barcelona, Spain, 21-23 June, 2011.
  • Huertas, A., Mor, E. (2010). “Tool development to support learning, immediate learning, immediate feedback, and continous assessment in Logic”. 6th International Conference on Web Information Systems and Technologies (WEBIST). Valencia, Spain, 7-10 april, 2010. http://www.webist.org/
  • Sancho, T.; Córcoles, C. P.; Huertas, M. A.; Pérez, A.; Marquès, D.; Villalonga, J. (2008). ” Automatic Verbalization of Mathematical Formulae for web-Based Learning Resources “. A: REMENYI, D. The Proceedings of the 7th European Conference on e-Learning. Academic Publishing Limited. Pàg. 405- 414. ISBN: 978-1-906638-23-8 Cd.
  • Minguillón, J.; Huertas, M. A.; Juan, A. A.; Sancho, T.; Cavaller, V. (2008). ” Using learning object repositories for teaching Statistics “. Proceedings of the First Workshop on Methods and Cases in Computing Education . Salamanca: Pàg. 53- 61. ISBN: 978-84-691-8558-2.
  • Huertas, M. A.; Juan, A. A.; Prat, M.; Steegmann, C. (2008). ” Mathematical E-Learning in the context of the European Space of Higher Education: The Case of the Spanish University System “. Proceedings of the International Conference of Education, Research and Innovation (ICERI 2008). Pàg. 7.001- 7.007. ISBN: 978-84-612-5091-2.
  • Huertas, M.; Juan, A.; Prat, M.; Steegmann, C. (2008): “Mathematical E-Learning in the context of the European Space of Higher Education: The Case of the Spanish University System”. In Proceedings of the International Conference of Education, Research and Innovation (ICERI 2008), pp. 7001-7007. ISBN: 978-84-612-5091-2. D.L. V-4318-2008. Madrid, Spain. November 17-18.
  • Minguillon, J.; Huertas, A.; Juan, A.; Sancho, T.; Cavaller, V. (2008): “Using learning object repositories for teaching Statistics”. In Proceedings of the First Workshoop on Methods and Cases in Computing Education (MCCE 2008), pp. 53-61. ISBN: 978-84-691-8558-2. Salamanca, Spain. October 22.
  • Córcoles, C. P.; Casado, C.; Huertas, M. A.; Mor, E.; Guerrero, A. E. (2007). ” Learning 2.0: concepts and experiences with social networks and software “. Proceedings of E-Learn 2007. World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education. Pàg. 6.751- 6.755. ISBN: 1-880094-63-0.
  • Huertas, M. A.; Casado, C.; Córcoles, C. P.; Mor, E.; Guerrero, A. E. (2007). ” Social Networks for learning: wikis, blogs and tagging in education “. A: SZUCS, A.; BØ, I. Proceedings of the EDEN 2007 Annual Conference . Academic Conferences Limited Reading.
  • Huertas, A.  (2006). “Teaching and learning logic in a virtual learning environment. Experiences, challenges and opportunities”. Proccedings of the Second international congress on tools for teaching logic. Ed. Universidad de Salamanca. ISBN 84-690-0348-8.
  • Huertas, M.; Juan, A.; Serrat, C.; Corcoles, C.; Steegmann, C. (2006): “Math On-line Education: state of the art, experiences and challenges”. Abstract in Proceedings of the 2006 International Congress of Mathematicians, pp. 578-579. ISBN: 978-3-03719-022-7. Madrid, Spain. August 22-30.
  • Huertas, M.; Juan, A.; Steegmann, C. (2006): “Designing Math on-line Courses for CS Students: experiences at the UOC”. In Proceedings of the First WebALT Conference and Exhibition, pp. 7-21. ISBN: 952-99666-0-1. Eindhoven, Holland. January 5-6.
  • Huertas, M. A.; Córcoles, C. P.; Gomà, A. (2006). ” Web based learning materials with MathML and Wiris “. A: The 5th International Conference on Mathematical Knowledge Management. Wokingham, Agost 10.
  • Huertas, M. A. (2005). ” A characterization of Quantified Hybrid Logic “. A: 1st World Congress on Universal Logic. Montreux, 26 març.
  • Santamaria, E.; Serra, M.; Rius, M. A.; Huertas, M. A.; Rodríguez, M. E. (2005). ” Nuevos paradigmas de la educación: roles de acción docente en el entorno virtual de la UOC “. Proceedings of the I Congreso Español de Informática (CEDI 2005). Granada: Pàg. 45- 52. ISBN: 84-9732-437-4.
  • Huertas, A. (2005): “A characterization of Quantified Hybrid Logic” . Proceedings of the congrés UNILOG’05 (1st World Congress on Universal Logic) (Jean-Yves and Alexandre Costa-Leite Eds.). Université de Neuchâtel.
  • Huertas, A. (2005). Hybrid Logics and the Semantic Paradigm,  Workshop of the Spanish Project C@lculus. ILLC. Ámsterdam. 27-28 de Junio de 2005. Publicada en Summa Logicae (http://logicae.usal.es/)
  • Huertas, A., Manzano, M. (2005). Lógicas para la Red, II Congreso Iberoamericano de Filosofía de la Ciencia y la Tecnología, Universidad de La Laguna (Tenerife, España), del 26 al 30 de Septiembre de 2005. El artículo extendido se ha publicado en Summa Logicae (http://logicae.usal.es/).
  • Huertas, A. (2005). Las Tecnologías de la Educación y la Web, II Congreso Iberoamericano de Filosofía de la Ciencia y la Tecnología, Simposium Decisiones ante el futuro de la Web. Universidad de La Laguna (Tenerife, España), del 26 al 30 de Septiembre de 2005.
  • Manzano, M; Huertas, A.; Santos-García, G.: “Lógica modal con Maude” (2004). Proceedings of the IV Congreso de Lógica, Metodología y Filosofía de la Ciencia en España. Universidad de Valladolid.
  • Manzano, M; Huertas, A.; Santos-García, G. (2004): “Un cálculo heterogéneo parcial para lógica modal de predicados”. Proceedings of the IV Congreso de Lógica, Metodología y Filosofía de la Ciencia en España. Universidad de Valladolid.
  • Juan, A., Huertas, M.A.,  Rodríguez, J.A., Martínez, J.F.,  Steegmann, C.,  Guijarro, P., Molinàs, P. (2003). “Uso e integración de laso TIC en asignaturas cuantitativas aplicadas. La experiencia de los estudios de Informática y Multimedia de la UOC”.  Proceedings of the XI congreso Universitatio de Innovación Educativa en laso Enseñanzas Técnicas. ISBN 84-588-2216-7.  UPC.  Julio de 2003.
  • Huertas, A. (2000):”Teaching logical reasoning in high school”. Proceedings of the I International Congress donde Tools for Teaching Logic, Universidad de Salamanca.
  • Huertas, A. (1999): “Parcialidad y Modalidad”. Proceedings of the II Congreso de la Sociedad de Lógica, Metodología y Filosofía de encia. Servicios de Publicaciones de a UAB.
  • Huertas, A. (1999): “A fashionable Partial and Heterogeneous mirror precio Modality”. Liber Amicorum . ISBN 90 5621 104 1.
  • Huertas, A. (1997): “Parcialidad y Modalidad”. Proceedings of the II Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia. Servicios de Publicaciones de la UAB, Barcelona, pp 482-485.
  • Huertas, A., Manzano, M. (1995). “Partial and Heterogeneous Logic: Cooking your logic”. Proceedings of the 10th International Congress of Logic, Metodology and Philosophy of Science, Florencia, p. 139.
  • Huertas, A.(1993): “El tercer valor de verdad en ógica modal de predicados”. Proceedings of the I Congreso de ciedad de Lógica, Metodología y Filosofía de encia. Departamento de Reprografía de la UNED, pp. 80-83. ISBN: 84-604-8342-8.
  • Manzano, M; Huertas, A. (1991): “Many-sorted logic as en unifying framework”. Actos del 9th. International Congress of Logic, Metodology and Philosophy of Science. Logic Colloquium’91. Uppsala Universiti. Uppsala.
  • Manzano, M; Huertas, A. (1991): “Conversión de S5 en bivariada”. Actas del VI Congreso de Lenguajes Naturales y Lenguajes Formales. PPU. Barcelona.

Other international conferences

  • Huertas, M.A. (2013): “Ten years of e-assessment systems and methodologies for maths”. Ten years of e-assessment systems and methodologies for maths. Madrid, Spain, Aplril 4-5.
  • Córcoles, C; Huertas; M.A.; Valls, A. (2011): “Handwriting math recognition technologies for math e-learning”. 3rd Int. Workshop on Mathematical E-Learning (E-MATH 2011). Barcelona, Spain, June 21 – 23, 2011
  • Hettiarachchi, E. ; Huertas; M.A. (2011): “E-assessments and how it can be adapted to mathematical e-learning “. 3rd Int. Workshop on Mathematical E-Learning (E-MATH 2011). Barcelona, Spain, June 21 – 23, 2011
  • Huertas, M.A.(2009):  “E-learning of Mathematics at the UOC in the JEM Context”. Final Joining Educational Mathematics Workshop. RWHT Aachen University , Germany (21 August). In the 8th International Conference on Web-based Learning, August 19-21.
  • Juan, A.; Huertas, M.A.; Lapedriza, A.(2009): “Mathematical E-Learning in Spain”. Workshop on Mathematica a Distancia no Contexto Iberico. Lisboa, June 24-26.
  • Huertas, M.A.; Córcoles, C. (2009): “Mathematical notation on the web”. Workshop on Mathematica a Distancia no Contexto Iberico. Lisboa, June 24-26.
  • Sancho, T.; Córcoles, C. P.; Huertas, M. A.; Pérez, A.; Marquès, D.; Villalonga, J. (2008). ” Automatic Verbalization of Mathematical Formulae for Web-based Learning Resources “. A: JEM 5th Workshop. University of Helsink. París, 26 novembre.
  • Pascual, M.; Meler, L.; Griset, R.; Córcoles, C. P.; Huertas, M. A. (2008). ” Rodolf: open repository of formulae locutions “. A: 5th JEM Workshop. University of Helsinki & Network JEM. Paris, 26 novembre.
  • Steegmann, C.; Juan, A.; Huertas, M.A.; Perez, A.; Sancho, T.; Corcoles, C. (2008): “E-Math Project: An Open and e-Collaborative Mathematical Repository developed at the Open University of Catalonia”. 3rd Joining Educational Mathematics Workshop. Barcelona, Spain. January 31 – February 2.
  • Sancho, T.; Huertas, M.A.; Corcoles, C.; Juan, A.; Perez, A. (2008): “Tutorial action prior to the enrollment of mathematical subjects in Technical Engineering”. 3rd Joining Educational Mathematics Workshop. Barcelona, Spain. January 31 – February 2.
  • Huertas, M. A. (2007). ” Laearning 2.0: conceps and experiences “. A: eUniverSALearning: Congreso Internacional de Tecnología, Formación y Comunicación. Universitat de Salamanca. Salamanca, 12 setembre.
  • Huertas, M. A. (2007). ” Interactive Calculus in a Virtual Learning Environment “. A: e+Calculus JEM I Workshop. University of Lisboa. Lisboa, February 9.
  • Huertas, A. (2006). “Math on-line Courses for Computer Science Students: experiences at the Open University of Catalonia”. First WebALT Conference and Exhibition – WebALT2006. Technical University of Eindhoven on Designing  5-6 Gener 2006.
  • Córcoles, C., Gomà, A.,  Huertas, M. A. (2006). “Web based learning materials with MathML and Wiris”. Software Demostration. Workshop Mathematical User Interfaces (10 August), MKM 2006: The 5th International Conference on Mathematical Knowledge Management, Wokingham, UK from 11th to 12th August 2006.
  • Huertas, M.A.,  Juan, A.,  Steegmann, Córcoles, C.,  Serrat, C. (2006). “Math on-line education: State of the Art, Experiences and Challenges”. International congress of Mathematicians. Mathematics Education and Popularization of Mathematics Section. Madrid. 22-30 August 2006.
  • Huertas, M. A. (2006). ” Second International congress on tools for Teaching Logic “. A: Second International congress on tools for Teaching Logic . University of Salamanca, September 26.
  • Huertas, M. A. (2005). ” Las tecnologías de la educación y la Web. “. A: II Congreso Iberoamericano de Filosofía de la Ciencia y la Tecnología. Simposium Decisiones ante el futuro de la Web. University of La Laguna (Spain), September 26.
  • Huertas, M. A.; Manzano, M. (2005). ” Lógicas para la red “. A: II Congreso Iberoamericano de Filosofía de la Ciencia y la Tecnología. University of La Laguna (Spain), September 26.
  • Huertas, A. (2005). “Hybrid logics and the semantic paradigm”. Simposium C@lculus. ILLC, University of Amsterdam . June 2005
  • Huertas, A. (1998). “Teoría de la demostración y la correspondencia entre lógicas”. I Congreso Iberoamericano de Filosofía. Instituto de Filosofía del CSIC, Universitat Complutense de Madrid y Universitat d’Extremadura. Con la comunicación: . September  1998.
  • Huertas, A., Manzano, M. (1996).  “Partial and Heterogeneous Tools for Building New Logics”. The Fifth CSLI Workshop  Logic, Language and Computation. CSLI, Stanford University. Con la ponencia . June 1996.
  • Huertas, A. (1996). “Partial and Heterogeneous Tools precio Building New Logics”. T & I (Computational Linguistics) Colloquium. Universidad de Tilbug.  May 1996.
  • Huertas, A. (1995). “Partial and Heterogeneous Logic precio Modal Logic”. Workshop Epistemic Logic, Partial Logic and Dinamic Logic. Universidad de Montreal, Canadá. . June 1995.
  • “Modal predicate logic and three-valued heterogeneus logic”. Workshop Diamonds, Arrows and Algebras.  University of Amsterdam. September 1993.

Domestic workshops and seminars

  • Huertas, M.A. (2010):  “Repositoris de continguts educatius oberts: casos i paradigmes”.Jornada sobre Recusos Educatius Oberts, en col·laboració eLearn Center (UOC) i el Cosmocaixa. 4 de Novembre de 2010, OpenEd conference satellite workshop in Barcelona (www.openedconference.org).
  • Juan, A.; Huertas, M.; Steegmann, C., Prat, M.: “Mathematical E-Learning: estado de la cuestión y experiencias en la Universitat Oberta de Catalunya”. Invited seminar at the Centro Superior de Innovación Educativa of the Public University of Navarre. Pamplona, Spain. April 17th, 2008.
  • Pascual, M.; Córcoles, C. P.; Huertas, M. A.; Griset, R. (2008). ” RoDoLFo: un primer prototipo de repositorio de fórmulas matemáticas “. A: V Simposio Pluridisciplinar sobre Diseño y Evaluación de Contenidos Educativos REutilitzables (SPDECE 2008). Universidad Pontificia de Salamanca. SALAMANCA, 20 octubre.
  • Huertas, M. A.; Pascual, M.; Córcoles, C. P.; LLorens, E.; Griset, R. (2007). ” Repositorio abierto de locuciones de fórmulas matemáticas “. A: IV Simposio Pluridisciplinar sobre Diseño, Evaluación y Desarrollo de Contenidos Educativos Reutilizables(SPDECE07). REDAOPA. BILBAO, 19 setembre.
  • Huertas, M. A. (2005). ” Nuevos paradigmas de la educación: roles de acción docente en el entorno virtual de la UOC “. A: Simposio nacional de tecnologías de la información y las comunicaciones en la eduación (SINTICE’05). VI Congreso Nacional de Informática Educativa. Granada. GRANADA, 13 setembre.
  • Huertas, M.; Juan, A.; et al: “Uso e integración de las TIC en asignaturas cuantitativas aplicadas”. XI Congreso Universitario en Innovación Educativa en las Enseñanzas Técnicas. Vilanova i la Geltrú, Spain. July 23-25, 2003.
%d bloggers like this: