Tag Archives: University of Lille3

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

Advertisements

Interdisciplinary Techniques to Reduce Uncertainty in the Sciences – Workshop

Date: 24th September 2014

Venue: Room CG82, College Building, Hendon Campus

Time: 10am – 5pm

Event type: Internal (Limited Availability)

 

Science, in its theoretical endeavour, and Technology, in the development of applications, have always been facing the essential problem of reducing uncertainty: from devising deductive models to calculating differentials and infinities. The probabilistic account is nowadays considered the right framework to understand and use uncertainties. But the forms and concepts of uncertainty are diverse in the various sciences and applications, including computing, biology, game theory, security, data analytics and visualization. This workshop aims at building a dialogue between formal, historical and technical accounts of the notion of uncertainty, to explore possible intra- and inter-disciplinary understandings.

Supported by the Centre for Ideas and the Maison Européenne des sciences de l’homme et de la société (Lille), this workshop builds on an informal scientific collaboration between the School of Science and Technology at Middlesex University and the research group Savoirs, Textes, Langage of the University of Lille3.

To register to attend simply email Dr Giuseppe Primiero E: g.primiero@mdx.ac.uk

 

Programme

10:00 – 10:30          Registration & Refreshments

10:30                            Introduction – G. Primiero

Session 1: History and Philosophy

10:30 – 11:15

Liesbeth de Mol (CNRS & Lille3): Formalization and calculation. Uncertainty and unpredictability in early computing.

11:15 – 12:00

Tomas Petricek (University of Cambridge): Philosophical reflections on programming with context.

12:00 – 13:30            Lunch

Session 2: Modelling Uncertainty

13:30 – 14:15

Franco Raimondi (Middlesex University): Reasoning about quantified beliefs.

14:15 – 15:00

Hykel Hosni (Pisa, LSE): Uncertain reasoning: from applications to foundations.

15:00 – 15:30          Mid-Afternoon Break

Session 3: Applications

15:30 – 16:15

Florian Kammueller (Middlesex University): Modeling Human Behaviour with Higher Order Logic: Insider Threats.

16:15 – 17:00

Chris Rooney (Middlesex University): Computing, representing and understanding uncertainty in police intelligence analysis: the problems we face in the FP7 VALCRI project.

— End —

For further information please contact Mita Vaghji (Event Coordinator Cfi & RKTO), T: 0208 411 6664 E: m.vaghji@mdx.ac.uk