FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
VAVAS ON THURSDAY, JULY 19TH
Days:
previous day
all days

View: session overviewtalk overviewside by side with other conferences

09:00-10:30 Session 131I: Invited Speaker; Robotics

Invited Speaker

Contributed Talks: Robotics I

Location: Maths LT1
09:00
Reproducibility in Robotics - The Big 5 Issues

ABSTRACT. The range of difficulties that can occur when running an experimental study in robotics is broad.
Subjects can behave in unforeseen ways, rendering the experimental scenario inconclusive, or
misunderstand questionnaire items or instructions. The robot may exhibit seemingly random
physical behaviors, or break down in the middle of the experiment. To increase the intricacy, imagine
the experiment being reproduced in another lab, research field, or country by other researchers with a
regular research publication as their only starting point.

Furthermore, assume that the publication is in an interdisciplinary research field, like social robotics or
HRI, in which authors from different fields often carry different levels of knowledge and disciplinary
interest about the social science methodologies, the technical system, and the conceptual background of the work.

Based on my experience in the field, I will introduce and discuss the "big five" issues of reproducible robotics
from both, a developer's and also from a reviewer's perspective. The discussed topics range from technical, to
methodological, to social aspects of reproducible robotics and are motivated by applied "real life"
projects and scenarios.

10:00
RoboTool: Modelling and Verification with RoboChart

ABSTRACT. We propose to demonstrate the application of RoboChart and its associated tool, RoboTool, for the verification and validation of robotic applications. In our demonstration, we will consider a few small examples for illustration, and the larger example of a transporter. It is part of a swarm and cooperates with other identical robots to push an object to a target location.

10:30-11:00Coffee Break
11:00-11:30 Session 133I: Robotics Demo

Contributed Talks: Robotics II

Location: Maths LT1
11:00
Robot Demonstration
SPEAKER: Nick Hawes
11:30-12:30 Session 134: Panel Session

Panel session focusing on key issues relating to the verification and validation of autonomous systems. Panelists include Calin Belta (Boston University), Jérémie Guiochet  (University of Toulouse III), Florian Lier  (Bielefeld University)  and Alice Miller (University of Glasgow).

Location: Maths LT1
12:30-14:00Lunch Break
15:30-16:00Coffee Break