Keynotes

The 2016 edition of ICCS is proud to host keynotes speeches given by eminent scientists: Mateja Jamnik and Fabien Gandon

Dr Gandon's keynote details

TITLE: On the many graphs of the Web and the interest of adding their missing links.

ABSTRACT: The initial graph of Web page links has been joined during the last decade by a growing number of other graphs and it is now mixed with sociograms capturing the social network structure, workflows specifying the decision paths to be followed, browsing logs capturing the trails of our navigation, service compositions specifying distributed processing, open data linking distant datasets, etc. Moreover, these graphs are not centralized in a single central repository but distributed over many different sources. Some sub-graphs are small and local (e.g. a user's profile on a device), some are huge and hosted on clusters (e.g. Wikipedia), some are largely stable (e.g. thesaurus of Latin), some change several times per second (e.g. social network statuses), etc. And each type of network of the Web is not an isolated island. Networks interact with each other: the networks of communities influence the message flows, their subjects and types, the semantic links between terms interact with the links between sites and vice-versa, etc. Not only do we need means to represent and analyse each kind of graphs, we also do need the means to combine them and to perform multi-criteria analysis on their combination. We will present some of the contributions of the WIMMICS team [1] that studies models and methods to bridge formal semantics and social semantics on the Web [2]. In our work we follow a multidisciplinary approach [3] to analyse and model these Web applications, their communities of users and their interactions. We provide algorithms to compute these models from traces on the Web including, knowledge extraction from text, semantic social network analysis, argumentation theory, emotion detection and sentiment analysis and multi-agent simulations. We then formalize and reason on these models using graphs-based knowledge representation from the semantic Web to propose new analysis tools and indicators, and support new functionalities and better management. This keynote will provide an overview of chosen research results and applications

[1] http://wimmics.inria.fr

[2] Fabien Gandon, et al., Challenges in Bridging Social Semantics and Formal Semantics on the Web, 5h International Conference, ICEIS 2013, Jul 2013, Angers, France. Springer, 190, pp.3-15, 2014, Lecture Notes in Business Information Processing.

[3] Fabien Gandon. The three 'W' of the World Wide Web callfor the three 'M' of a Massively Multidisciplinary Methodology. Valérie Monfort; Karl-Heinz Krempels. 10th International Conference, WEBIST 2014, Apr 2014, Barcelona, Spain. Springer International Publishing, 226, Web Information Systems and Technologies.

BIO: Dr. Fabien Gandon is research Director in Informatics and Computer Science at Inria and Leader of the Wimmics team at the Sophia-Antipolis (UCA, Inria, CNRS, I3S). Fabien is also the Inria representative at the World-Wide Web Consortium (W3C) where he participated in several standardization groups. His professional interests include: Web, Semantic Web, Social Web, Ontologies, Knowledge Engineering and Modelling, Mobility, Privacy, Context-Awareness, Semantic Social Network / Semantic Analysis of Social Network, Intraweb, Distributed Artificial Intelligence. Fabien previously worked for the Mobile Commerce Laboratory of Carnegie Mellon in Pittsburgh and was General Co-chair of WWW 2012, Program Co-chair ESWC 2014 and General Chair ESWC 2015. http://fabien.info

Dr Jamnik's keynote details

Title: Automating human-like reasoning with diagrams on machines

Abstract:

Human-like visual reasoning on machines?

Intelligent systems are becoming ubiquitous in every aspect of our lives. There are numerous recent examples like driverless cars, personalised medicine and drug discovery, and real time translators and conversing systems. Yet most expert and intelligent systems are unintuitive to use and require a highly specialized human expert to utilise them.

In my own work, I am modelling human intuitive reasoning, in particular with visual information, on machines to enable them to discover and learn new knowledge. My aim is to essentially humanise computer thinking. I explore how people solve problems using informal techniques like diagrams. I computationally model this type of reasoning on computers to enable machines reason in a similar way to humans by:

• devising techniques for automated reasoning systems to prove theorems using “informal” human-oriented approaches like diagrams, analogy, symmetry;
• analysing and combining multiple representations (e.g., sentences, diagrams, images, natural language.) in a uniform framework;
• applying these techniques to inference systems to try to understand human reasoning better.

In this talk I will present our approach to mechanising human-like visual reasoning in mathematics.

Bio: Dr Mateja Jamnik is currently a University Senior Lecturer at the University of Cambridge Computer Laboratory having previously held an EPSRC Advanced Research Fellowship. Her research focusses on how people solve problems using informal techniques like diagrams, and she then computationally models this type of reasoning on computers to enable machines to reason in a similar way to humans. She is essentially trying to humanise computer thinking. Her PhD work at the University of Edinburgh focussed on diagrammatic forms of mathematical reasoning and was published by Stanford University's CSLI Press.

At the start of the millenium, Mateja was one of the founders of a new interdisciplinary research area and conference series "Diagrams" on the theory and application of diagrams. She has served on the EPSRC Peer Review College, and is currently serving on the CPHC/BCS Distinguished Dissertation committee and the BCS Academy group for Women in Computing Research.

Mateja is passionate about bringing science closer to the general public and engages frequently in public science events. She is an active supporter of women scientists and in 2003 founded a national network, women@CL, for women in computing research.