"Boring formal methods" or "Sherlock Holmes deduction methods"?

This paper provides an overview of common challenges in teaching of logic and formal methods to Computer Science and IT students. We discuss our experiences from the course IN3050: Applied Logic in Engineering, introduced as a "logic for everybody" elective course at at TU Munich, Germany, to engage pupils studying Computer Science, IT and engineering subjects on Bachelor and Master levels. Our goal was to overcome the bias that logic and formal methods are not only very complicated but also very boring to study and to apply. In this paper, we present the core structure of the course, provide examples of exercises and evaluate the course based on the students' surveys.Comment: Preprint. Accepted to the Software Technologies: Applications and Foundations (STAF 2016). Final version published by Springer International Publishing AG. arXiv admin note: substantial text overlap with arXiv:1602.0517

Applying Formal Methods to Networking: Theory, Techniques and Applications

Despite its great importance, modern network infrastructure is remarkable for the lack of rigor in its engineering. The Internet which began as a research experiment was never designed to handle the users and applications it hosts today. The lack of formalization of the Internet architecture meant limited abstractions and modularity, especially for the control and management planes, thus requiring for every new need a new protocol built from scratch. This led to an unwieldy ossified Internet architecture resistant to any attempts at formal verification, and an Internet culture where expediency and pragmatism are favored over formal correctness. Fortunately, recent work in the space of clean slate Internet design---especially, the software defined networking (SDN) paradigm---offers the Internet community another chance to develop the right kind of architecture and abstractions. This has also led to a great resurgence in interest of applying formal methods to specification, verification, and synthesis of networking protocols and applications. In this paper, we present a self-contained tutorial of the formidable amount of work that has been done in formal methods, and present a survey of its applications to networking.Comment: 30 pages, submitted to IEEE Communications Surveys and Tutorial

Reaping the rewards of learning within agricultural knowledge systems: An account of a PhD learning system

Despite the existence and application of mandatory agri-environmental policy for many decades, significant environmental sustainability problems remain attributable to the agricultural sector. Participatory types of extension practices are believed to have a potential to enable extension organisations to enhance the supports provided to farmers to help meet the requirements and objectives of these policies. To test this proposition, the PhD researcher used a learning systems approach for exploring the interplay between farmer subjectivities, the European Union’s policy of cross compliance and the extension practices of Teagasc, the Irish Agriculture and Food Development Authority. Three learning sub-systems were employed in the investigation. The first used the principles of Participatory Action Research for revealing stakeholders’ perceptions of Teagasc’s cross compliance extension service. This process resulted in the attainment of rich insights about extension practices, however it also revealed that a significant number of farmers were experiencing socio-cultural difficulties with the application and enforcement of cross compliance. To better understand the implications of these subjectivities, a second sub-system was created to learn about farmers’ experiences of the policy. This process surfaced diverse insights about farmers’ personal experiences of cross compliance. A final sub-system employed systems thinking and practice for appraising the utility of the learning arising from the previous sub-systems for improving interactions between farmers, extension organisations and cross compliance. The combined findings of the thesis indicate that there is considerable potential for extension organisations to use participatory practices for developing rich understandings of farmers’ preferences for mandatory agri-environmental policy and its related extension practices. However, a limitation in realising participant preferences is that extension organisations appear to have little influence over the application and enforcement of mandatory agri-environmental policy. Overcoming this participatory barrier will require sustained collective learning targeted at understanding how stakeholders can work together to develop agri-environmental policies that are socially, financially and environmentally sustainable. This paper explores how this ‘sustained collective learning’ may be realised taking a specific account of the learnings developed within and following the completion of the PhD Learning System. The insights elucidated will be of interest to scholars and extension practitioners involved in similar learning endeavours

Mathematical practice, crowdsourcing, and social machines

The highest level of mathematics has traditionally been seen as a solitary endeavour, to produce a proof for review and acceptance by research peers. Mathematics is now at a remarkable inflexion point, with new technology radically extending the power and limits of individuals. Crowdsourcing pulls together diverse experts to solve problems; symbolic computation tackles huge routine calculations; and computers check proofs too long and complicated for humans to comprehend. Mathematical practice is an emerging interdisciplinary field which draws on philosophy and social science to understand how mathematics is produced. Online mathematical activity provides a novel and rich source of data for empirical investigation of mathematical practice - for example the community question answering system {\it mathoverflow} contains around 40,000 mathematical conversations, and {\it polymath} collaborations provide transcripts of the process of discovering proofs. Our preliminary investigations have demonstrated the importance of "soft" aspects such as analogy and creativity, alongside deduction and proof, in the production of mathematics, and have given us new ways to think about the roles of people and machines in creating new mathematical knowledge. We discuss further investigation of these resources and what it might reveal. Crowdsourced mathematical activity is an example of a "social machine", a new paradigm, identified by Berners-Lee, for viewing a combination of people and computers as a single problem-solving entity, and the subject of major international research endeavours. We outline a future research agenda for mathematics social machines, a combination of people, computers, and mathematical archives to create and apply mathematics, with the potential to change the way people do mathematics, and to transform the reach, pace, and impact of mathematics research.Comment: To appear, Springer LNCS, Proceedings of Conferences on Intelligent Computer Mathematics, CICM 2013, July 2013 Bath, U

The Information-Flow Approach to Ontology-Based Semantic Integration

In this article we argue for the lack of formal foundations for ontology-based semantic alignment. We analyse and formalise the basic notions of semantic matching and alignment and we situate them in the context of ontology-based alignment in open-ended and distributed environments, like the Web. We then use the mathematical notion of information flow in a distributed system to ground three hypotheses that enable semantic alignment. We draw our exemplar applications of this work from a variety of interoperability scenarios including ontology mapping, theory of semantic interoperability, progressive ontology alignment, and situated semantic alignment

Mapping and Developing Service Design Research in the UK.

This report is the outcome of the Service Design Research UK (SDR UK) Network with Lancaster University as primary investigator and London College of Communication, UAL as co-investigator. This project was funded as part of an Arts and Humanities Research Council Network grant. Service Design Research UK (SDR UK), funded by an AHRC Network Grant, aims to create a UK research network in an emerging field in Design that is Service Design. This field has a recent history and a growing, but still small and dispersed, research community that strongly needs support and visibility to consolidate its knowledge base and enhance its potential impact. Services represent a significant part of the UK economy and can have a transformational role in our society as they affect the way we organize, move, work, study or take care of our health and family. Design introduces a more human centred and creative approach to service innovation; this is critical to delivering more effective and novel solutions that have the potential to tackle contemporary challenges. Service Design Research UK reviewed and consolidated the emergence of Service Design within the estalished field of Design

Theory of Change Review: A Report Commissioned by Comic Relief

Comic Relief does three things. It raises much needed cash, it then allocates that cash to projects in the United States and in the poorest countries in the world, and it raises awareness of the issues it feels strongly about. This report is one of a series of Comic Relief commissioned learning reports. Some learning reports aim to bring the impact of and learning from some of the work Comic Relief has funded in helping change lives to a wider audience. Other reports aim to draw together learning on key issues from a range of stakeholders to inform Comic Relief's thinking and promote debate in the sector. This report aims to draw together Comic Relief staff and partners' experiences in using theory of change; to identify others in development that are using theory of change and analyse their different approaches and experience; and to capture learning from everyone to promote debate, and to help inform what agencies using or advocating for the use of theory of change do next. This report was commissioned by Comic Relief and written by Cathy James, an independent consultant. The views expressed in this report are those of the author and do not necessarily represent the views of Comic Relief

Responsible research and innovation in science education: insights from evaluating the impact of using digital media and arts-based methods on RRI values

The European Commission policy approach of Responsible Research and Innovation (RRI) is gaining momentum in European research planning and development as a strategy to align scientific and technological progress with socially desirable and acceptable ends. One of the RRI agendas is science education, aiming to foster future generations' acquisition of skills and values needed to engage in society responsibly. To this end, it is argued that RRI-based science education can benefit from more interdisciplinary methods such as those based on arts and digital technologies. However, the evidence existing on the impact of science education activities using digital media and arts-based methods on RRI values remains underexplored. This article comparatively reviews previous evidence on the evaluation of these activities, from primary to higher education, to examine whether and how RRI-related learning outcomes are evaluated and how these activities impact on students' learning. Forty academic publications were selected and its content analysed according to five RRI values: creative and critical thinking, engagement, inclusiveness, gender equality and integration of ethical issues. When evaluating the impact of digital and arts-based methods in science education activities, creative and critical thinking, engagement and partly inclusiveness are the RRI values mainly addressed. In contrast, gender equality and ethics integration are neglected. Digital-based methods seem to be more focused on students' questioning and inquiry skills, whereas those using arts often examine imagination, curiosity and autonomy. Differences in the evaluation focus between studies on digital media and those on arts partly explain differences in their impact on RRI values, but also result in non-documented outcomes and undermine their potential. Further developments in interdisciplinary approaches to science education following the RRI policy agenda should reinforce the design of the activities as well as procedural aspects of the evaluation research