Category Archives: Insights into computational sciences – iTRUS Workshop

Insights into computational sciences – iTRUS Workshop

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.

Presentation: ADA_MDX_DeMol

Tomas Petricek (Computer Laboratory, University of Cambridge) presented 3 different ways in which programming deals with uncertainty: metaphors, formal models, implementations.

Presentation: ADA_MDX_Petricek

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.

Presentation: ADA_MDX_Raimondi

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.

Presentation: ADA_MDX_Hosni

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.

Presentation: ADA_MDX_Kammueller

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.

Presentation: VALCRI_Uncertainty_compressed

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