[robotics-worldwide] [meetings]Call for Participation: 2015 RSS Workshop on Abstraction and Synthesis of Correct-by-Construction Robotics Software

jief jief at seas.upenn.edu
Tue Jun 30 19:35:59 PDT 2015


We invite you to participate in the 2015 RSS Workshop on Abstraction and
Synthesis of Correct-by-Construction Robotics Software: Reuniting Formal
Methods with Model-Driven Software Engineering (AbSynth 2015). This workshop
will bring together a community of robotic researchers who are working in
the area of formal methods and Model-Driven Software Engineering (MDSE). It
is designed to be as interactive as possible, with organized discussions and
informal breakout sessions. This workshop will encourage the development of
theories and techniques from formal methods and MDSE that can provide formal
guarantees on the performance of the robotic systems.

Workshop URL:  http://absynth2015.github.io/index.html
<http://absynth2015.github.io/index.html>  

Workshop description:
AbSynth 2015 is a two-day workshop to be held in conjunction with the 2015
Robotics Science and Systems (RSS) conference in Rome, Italy on July 16-17,
2015.
The increasing use of automation in safety- and mission-critical situations
encourages the development of theories and techniques that can provide
formal guarantees on the performance of the system. Model-Driven Software
Engineering (MDSE) and Formal Methods (FM) are closely related in that that
they both seek abstractions that preserve the important properties of the
underlying concrete system, as well as provide rigorous methods for system
design to ensure desirable behavior with respect to complex specifications.
However, much like the divergence of classical AI and Robotics into separate
fields concerned with high-level and low-level details of the same systems
(i.e. robots), FM and MDSE have diverged. MDSE research in robotics is
aligned with the primary goal of creating quality low-level software for
robotic systems, while formal methods apply chiefly to the design and
validation of systems at a high-level of abstraction. It is clear, however,
that the two are complimentary, and that a reunification is overdue.
Quality, reliable software for robotic systems created using MDSE will
facilitate the abstraction and modeling of robotic systems, which further
promotes the adoption of FM in constructing robotic systems with a high
degree of autonomy.

Invited Speakers:
	▪	Prof. Calin Belta, Boston University, USA
	▪	Prof. Davide Brugali, University of Bergamo, Italy
	▪	Prof. Alessandro Abate, University of Oxford, UK
	▪	Prof. Erika Abraham, RWTH Aachen University, Germany
	▪	Prof. Herman Bruyninckx, KU Leuven and Eindhoven University of Technology
	▪	Prof. Rudiger Ehlers, University of Bremen, Germany
	▪	Prof. Goran Frehse, Universite Joseph Fourier, France
	▪	Prof. Felix Ingrand, LAAS, France
	▪	Prof. Joost-Pieter Katoen, RWTH Aachen University, Germany
	▪	Prof. Hadas Kress-Gazit, Cornell University, USA
	▪	Prof. Jun Liu, University of Sheffield, UK

Program:
Day 1
8:45 - 9:00 Welcome and Workshop Overview
Session 1: Chair - Arunkumar Ramaswamy	
09:00 - 09:30 Speaker: Prof. Herman Bruyninckx, KU Leuven, Belgium
09:30 - 10:00 Speaker: Prof. Felix Ingrand, LAAS, France
10:00 - 10:30 Speaker: Prof. Alessandro Abate, University of Oxford, UK
10:30 - 11:00 Break
Session 2: Chair - Ben Johnson	
11:00 - 11:30 Speaker: Prof. Jun Liu, University of Sheffield, UK
11:30 - 12:00 Speaker: Prof. Davide Brugali, University of Bergamo, Italy
12:00 - 12:30 Speaker: Prof. Joost-Pieter Katoen, RWTH Aachen University,
Germany
12:30 - 14:30 Lunch
Session 3
14:30 - 16:00 Panel Discussion

Day 2
Session 1: Chair - Vasu Raman
9:15 - 9:30 Welcome
9:30 - 10:00 Speaker: Prof. Calin Belta, Boston University, USA
10:00 - 10:30 Speaker: Prof. Hadas Kress-Gazit, Cornell University, USA
10:30 - 11:00 Break
Session 2: Chair - Shashank Pathak
11:00 - 11:30 Speaker: Prof. Erika Abraham, RWTH Aachen University, Germany
11:30 - 12:00 Speaker: Prof. Rudiger Ehlers, University of Bremen, Germany
12:00 - 12:30 Speaker: Prof. Goran Frehse, Universite Joseph Fourier, France
12:30 - 14:30 Lunch
Session 3: Chair - TBD
14:30 - 15:00 CONTRIBUTED PAPERS AND TOOL DEMOS
15:00 - 16:00 Discussion and Workshop Summary
16:00 - 16:30 Break
Session 4
16:30 - 18:00 Reserved time for discussions

Organizers:
Jie Fu, UPenn, USA
Benjamin Johnson, Naval Research Laboratory, USA
Shashank Pathak, IIT, Italy
Vasu Raman, Caltech, USA
Arunkumar Ramaswamy, ENSTA-ParisTech, France
Prof. Bruno Monsuez, ENSTA-ParisTech, France
Prof. Adriana Tapus, ENSTA-ParisTech, France



--
View this message in context: http://robotics-worldwide.1046236.n5.nabble.com/meetings-Call-for-Participation-2015-RSS-Workshop-on-Abstraction-and-Synthesis-of-Correct-by-Construe-tp5711781.html
Sent from the robotics-worldwide mailing list archive at Nabble.com.


More information about the robotics-worldwide mailing list