Abstract
The advent of Internet and ubiquitous technologies has been fostering the appearance of intelligent mobile applications aware of their environment and the objects nearby. Despite its popularity, mobile developers are often required to write large and disorganized amounts of code, mixing UI with business logic and interact, in a ad-hoc fashion, with sensor devices and services. These habits hinder the code maintenance, refactoring and testing, while negatively influencing the consistency and performance of mobile applications. In this paper we present Magni as an abstract framework for the design and implementation of personalized and context-aware mobile applications. The corner stone of the framework is its architectural pattern based on the Model-View-Presenter pattern in the UI layer relying in REST services the majority of the app features. This paradigm fosters the modular design, implementing the separation of concerns concept and allowing an easier implementation of unit tests. In order to validate the framework, we present a prototype for an healthcare automotive app. The main goal of the app is to facilitate the access to health related points of interest such as hospitals, clinics and pharmacies.

Abstract
We design a graph-based framework for the analysis of access control policies that aims at easing the specification and verification tasks for security administrators. We consider policies in the category-based access control model, which has been shown to subsume many of the most well known access control models (e.g., MAC, DAC, RBAC). Using a graphical representation of category-based policies, we show how answers to usual administrator queries can be automatically computed, and properties of access control policies checked. We show applications in the context of emergency situations, where our framework can be used to analyse the interaction between access control and emergency management.

Abstract

Abstract
Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major example of such a property is correctness of communication in concurrent and distributed systems, motivated by the importance of structured communication in modern software. Behavioural Types: from Theory to Tools presents programming languages and software tools produced by members of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems, a European research network that was funded from October 2012 to October 2016. As a survey of the most recent developments in the application of behavioural type systems, it is a valuable reference for researchers in the field, as well as an introduction to the area for graduate students and software developers.

Abstract

Abstract
Autonomous Vehicles are a topic of important research, also being visually appealing to the public and attractive to educators and researchers. The autonomous driving competition in the Portuguese Robotics Open tries to take advantage of this context but concerns arise from lack of participators. Participants mention the complexity of issues related to the challenge, the space occupied for the track and the budget needed for participation. This paper takes advantage of a realistic simulator under Gazebo/ROS, studies a new track design and proposes a change in the track. The analysis presented tries to ascertain if the new design facilitates the learning process that is intended for participants while keeping visual appeal for both the general public and the participants. The proposed setup for the rules and simulator is expected to address the mentioned concerns. The rule's modification and simulator are evaluated and tested, hinting that expected learning outcomes are encouraged and the track occupied area is reduced. Learning includes mobile robotics (discrete event system and continuous control), real time artificial image vision systems (2D at image recognition and processing of real world imagery seen in 3D perspective), general real world robotics such as mechanics, control, programming, batteries, systems thinking as well as transversal skills such as team cooperation, soft skills, etc. Shown results hint that the new track and realistic simulation are promising to foster learning and hopefully attract more competing teams.