In response to calls for ‘Innovation in Higher Education’ from the Flemish Community in Belgium, an innovative course ‘ILO’ is being developed as an alternative approach to traditional introductory statistics courses. It is a cooperative project of the universities of Gent, Leuven and Brussel. The innovative course is characterized by: independent learning, adaptation of the delivered materials...

In recent years, e-Learning systems have significantly impacted the way that we learn within universities, both in providing self-learning support and flexibility of course delivery. Virtual Learning Environments (VLEs) such as Moodle help facilitate the management of educational courses for students, in particular by helping lecturers and students with course administration. However, issues st...

During the past three years we have been integrating mechanized theorem proving into a traditional introductory course on formal methods. We explain our goals for adding mechanized provers to the course, and illustrate how we have integrated the provers into our syllabus to meet those goals. We also document some of the teaching materials we have developed for the course to date, and what our e...

During the past three years we have been integrating mechanized theorem proving into a traditional introductory course on formal methods. We explain our goals for adding mechanized provers to the course, and illustrate how we have integrated the provers into our syllabus to meet those goals. We also document some of the teaching materials we have developed for the course to date, and what our e...

The field of information technology extends continuously. This implies an increased number of IT professionals as well as rapidly evolving technologies. In universities, the challenge is to manage increasingly large student groups, while at the same time the teachers need to use a lot of time in developing new IT courses and updating the old courses. Unfortunately, many universities face the la...