Since the publication of the IMS Learning Design (IMS LD) specification in 2003, many initiatives have been undertaken to build authoring tools that are simple enough to be used by non-technical instructors and teachers. IMS LD's technical complexity is believed to be a major burden for the adoption of the specification. We have developed a new…

This article describes the system ProofWeb developed for teaching logic to undergraduate computer science students. The system is based on the higher order proof assistant Coq, and is made available to the students through an interactive web interface. Part of this system is a large database of logic problems. This database will also hold the…

Objective: To systematically review definitions and descriptions of computer literacy as related to preventive health education programs. Method: A systematic review of the concept of computer literacy as related to preventive health education was conducted. Empirical studies published between 1994 and 2007 on prevention education programs with a…

The 4th International Conference on Educational Data Mining (EDM 2011) brings together researchers from computer science, education, psychology, psychometrics, and statistics to analyze large datasets to answer educational research questions. The conference, held in Eindhoven, The Netherlands, July 6-9, 2011, follows the three previous editions…

The IADIS CELDA 2012 Conference intention was to address the main issues concerned with evolving learning processes and supporting pedagogies and applications in the digital age. There had been advances in both cognitive psychology and computing that have affected the educational arena. The convergence of these two disciplines is increasing at a…