Abstract
MathIS is a new project that aims to reinvigorate secondary-school mathematics by exploiting insights of the dynamics of algorithmic problem solving. This paper describes the main ideas that underpin the project. In summary, we propose a central role for formal logic, the development of a calculational style of reasoning, the emphasis on the algorithmic nature of mathematics, and the promotion of self-discovery by the students. These ideas are discussed and the case is made, through a number of examples that show the teaching style that we want to introduce, for their relevance in shaping mathematics training for the years to come. In our opinion, the education of software engineers that work effectively with formal methods and mathematical abstractions should start before university and would benefit from the ideas discussed here.

Abstract
This paper reports on the implementation of a cooperative personal agenda integrated into a collaborative team environment. Concerning developers, traditional project management tools are mainly focused on tasks exclusively related to the project, failing to provide users with the capability of managing tasks not necessarily associated with the work at hand. Scheduling tasks from divergent domains towards a more efficient user planning becomes unfeasible. To overcome this inaptness, we have extended the Redmine platform with an agenda-like behaviour bearing in mind each user's individual constraints.

Abstract
Although some agile projects can succeed without producing any documentation at all, others may require a little more. Best practices of agile documentation suggest producing just enough documentation, at just the right time, and for just the right audience. It is not by coincidence that wikis and agility share goals of simplicity, flexibility, and open collaboration, thus being natural documentation tools to agile projects. When well integrated with other tools, wikis provide open collaboration, quick feedback, easy navigability, integrated contents, and a low barrier for developers to document. In this hands-on tutorial, participants will learn how to adapt and use a wiki to better support software projects. Copyright © 2009 ACM.

Abstract
This paper describes a study conducted at the University of Nottingham, whose goal was to assess whether the students registered on the first-year module "Mathematics for Computer Scientists" appreciate the calculational method. The study consisted of two parts: "Proof Reading" and "Problem Solving". The goal of "Proof Reading" was to determine what the students think of calculational proofs, compared with more conventional ones, and which are easier to verify; we also assessed how their opinions changed during the term. The purpose of "Problem Solving" was to determine if the methods taught have influenced the students' problem-solving skills. Frequent criticisms of our approach are that we are too formal and that the emphasis on syntactic manipulation hinders students' understanding. Nevertheless, the results show that most students prefer or understand better the calculational proofs. On the other hand, regarding the problem-solving questions, we observed that, in general, the students maintained their original solutions. © 2009 Crown.

Abstract
Software development is a knowledge-intensive activity and frequently implies a progressive crystallization of knowledge, towards programming language statements. Although wikis have proved very effective, for both collaborative authoring and knowledge management, it would be useful for knowledge acquisition to better support team awareness and the recognition of knowledge structures, their relations, and their incremental evolution. This paper presents Weaki, a wiki prototype especially designed to support incremental formalization of structured contents that uses weakly-typed pages and type evolution. Weaki was applied in academic settings, by students of Software Engineering Labs. Copyright 2009 ACM.

Abstract
In this paper we discuss the development and clinical evaluation of a wireless platform for health signs sensing. The sensors measure physical activity, ECG, blood oxygen saturation, temperature and respiratory rate. An important aspect of the approach is that the sensors are integrated into one waist-worn device. A mobile phone collects data from this device and uses data fusion in the scope of a decision support system to trigger additional measurements, classify health conditions or schedule future observations. In these decisions, the user's current physical activity plays an important role as the validity of many health signs measurements is strongly related to physical activity. Due to the integration of the sensors and the use of data fusion it is possible to accurately identify health risks and to react promptly. During clinical trials, for which proper ethical approval was obtained, the system was used by healthy elderly volunteers in Limerick (Ireland) and Ancona (Italy). Results of these trials are also discussed in this paper.