Abstract
This article documents some experiments on teaching a class on a Master Degree Program using a different perspective on gamification. Instead of winning badges or getting achievements, students earn classification points. This allows them to work as hard as they are willing, having in mind their current classification and how far they can reach. In the specific experiment being reported, students can earn final grade points with pull requests to a shared class project. The article describes the details of the experiment, extrapolates on different ideas for implementing this in other classes, and concludes with the pros and cons of such approach for student evaluation. © Alberto Simões and Ricardo Queirós; licensed under Creative Commons License CC-BY 4.0 Second International Computer Programming Education Conference (ICPEC 2021).

Abstract
As software becomes more complex and assumes an even greater role in our lives, formal verification is set to become the gold standard in securing software systems into the future, since it can guarantee the absence of errors and entire classes of attack. Recent advances in formal verification are being used to secure everything from unmanned drones to the internet. At the same time, the usable security research community has made huge progress in improving the usability of security products and end-users comprehension of security issues. However, there have been no human-centered studies focused on the impact of formal verification on the use and adoption of formally verified software products. We propose a research agenda to fill this gap and to contribute with the first collection of studies on people's mental models on formal verification and associated security and privacy guarantees and threats. The proposed research has the potential to increase the adoption of more secure products and it can be directly used by the security and formal methods communities to create more effective and secure software tools. © C. Carreira et al.

Abstract
Deformation monitoring is a common practice in most of dams to ensure their structural health and safety status. Systematic monitoring is frequently carried out by means of geotechnical sensors and geodetic techniques that, although very precise an accurate, can be time-consuming and economically costly. Remote sensing techniques are proved to be very effective in assessing deformation. Changes in the structure, shell or associated infrastructures of dams, including adjacent slopes, can be efficiently recorded by using satellite Synthetic Aperture Radar Inteferometry (InSAR) techniques, in particular, Muti-Temporal InSAR time-series analyses. This is a mature technology nowadays but not very common as a routine procedure for dam monitoring. Today, thanks to the availability of spaceborne satellites with high spatial resolution SAR images and short revisit times, this technology is a powerful cost-effective way to monitor millimeter-level displacements of the dam structure and its surroundings. What is more, the potential of the technique is increased since the Copernicus C-band SAR Sentinel-1 satellites are in orbit, due to the high revisit time of 6 days and the free data availability. ReMoDams is a Spanish research project devoted to provide the deformation monitoring of several embankments dams using advances time-series InSAR techniques. One of these dams is The Arenoso dam, located in the province of Cordova (southern Spain). This dam has been monitored using Sentinel-1 SAR data since the beginning of the mission in 2014. In this paper, we show the processing of 382 SLC SAR images both in ascending and descending tracks until March 2019. The results indicate that the main displacement of the dam in this period is in the vertical direction with a rate in the order of -1 cm/year in the central part of the dam body. (C) 2020 The Authors. Published by Elsevier B.V.

Abstract
Proper evaluation of realism in immersive virtual experiences is crucial to ensure optimisation of resources. This way, we can take better decisions while designing realistic immersive experiences, prioritising factors that have a higher impact on the perceived realism of the virtual experience. This systematic review aims to provide readers with an overview of methodologies used throughout the literature to evaluate realism in immersive virtual, augmented and mixed reality. A total of 79 from 1300 gathered articles met the eligibility criteria and were analysed. Results have shown that virtual reality is by far the platform where realism studies were performed. Head-mounted displays are by far the preferred equipment for such studies. Visual realism is the most researched, followed by audiovisual. The majority of methodologies consisted of subjective, as well as a combination of objective and subjective measures. The most used evaluation instrument is questionnaires where many of which are custom and non-validated. Presence questionnaires are the most used ones and are often used to evaluate the presence, perceived realism and involvement. Cybersickness evaluation is consistently assessed by one self-report questionnaire.

Abstract

Abstract
Dyscalculia is a specific neurological affliction that disrupts a person's ability to understand and manipulate numbers. We intend to develop a serious game for children who attend primary school (up to 4th grade) and whose purpose is making the learning of basic mathematics (simple arithmetic) easier, by introducing specific mathematical problems and educational games that stimulate memory, among other aspects. To that end, we undertook a straightforward and preliminary evaluation of the serious game developed and present its results. Indeed, we believe that the findings of our pilot case study can be useful to determine some perceptions that may be vital to understanding the problems with teaching mathematics and the issues students face in this regard.