The iTRUS Workshop (Interdisciplinary Techniques to reduce Uncertainty in the Sciences) has brought together different research streams in the understanding, representation and manipulation of distinct sorts of uncertainty. They all converged towards the use of computational techniques or methods relevant to the computational sciences. But the range of areas covered was very diverse.
The first session focused on historical and philosophical themes:
Liesbeth de Mol (CNRS/Lille3) has focused on two approaches to computation in the historical evolution of Computer Science, symbolic logic and calculation.
Tomas Petricek (Computer Laboratory, University of Cambridge) presented 3 different ways in which programming deals with uncertainty: metaphors, formal models, implementations.
The second session focused on formal models:
Franco Raimondi (Middlesex University), in joint work with Giuseppe Primiero (Middlesex University) and Neha Rungta (NASA AMES) has presented a doxastic logic where probabilities are used to compute both subjective and objective uncertainty on the states of a system.
Hykel Hosni (London School of Economics) gave a historical and conceptual overview of problems and methods developed to deal with uncertainty in fields such as probability theory, economics, game theory and positioned uncertainty in the larger scale of agent’s rationality.
The last session was dedicated to more application-oriented problems:
Florian Kammueller (Middlesex University), in joint work with Jaap Boender, Giuseppe Primiero (Middlesex University) and Marieta Georgieva Ivanova (IT Copenaghen) has presented a model of insider threats developed following Max Weber’s sociological theory and implemented in HOL/Isabelle.
Chris Rooney (Middlesex University) has given an overview of the different sorts of data uncertainty that are dealt with in the fascinating VISUAL ANALYTICS FOR SENSE-MAKING IN CRIMINAL INTELLIGENCE ANALYSIS Project (VALCRI) Project.
The inter-disciplinary of the meeting has been a crucial way of sharing insights across fields and problems. The collaboration between the School of Science & Technology at Middlesex University and CNRS/LIlle3 at the origin of this Workshop will continue with future events, on both sides of the Channel, and possibly with more structured collaborations in the future.
Written by Dr. Giuseppe Primiero