coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] École d'été LASER : Île d'Elbe, septembre, software for robotics

From: Bertrand Meyer <Bertrand.Meyer AT inf.ethz.ch>
To: <coq-club AT inria.fr>
Cc: <meyer AT inf.ethz.ch>, <meyer AT inf.ethz.ch>, <meyer AT inf.ethz.ch>
Subject: [Coq-Club] École d'été LASER : Île d'Elbe, septembre, software for robotics
Date: Mon, 3 Apr 2017 21:07:44 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Bertrand.Meyer AT inf.ethz.ch; spf=None smtp.mailfrom=bertrand.meyer AT inf.ethz.ch; spf=None smtp.helo=postmaster AT edge20.ethz.ch
Ironport-phdr: 9a23:FdihJhKgp0f7FudoXtmcpTZWNBhigK39O0sv0rFitYgeLf7xwZ3uMQTl6Ol3ixeRBMOAuq4C07KempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9ZDeZwpFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLdQgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QLYpUjqg8qhrUgfliD0HOTAn7W/ZhM9+g61Hrxymuxxy2JTbbJ2aNPdmYK/RYc4WSGxcVchRTSxBBYa8YpMSAuUfJ+ZYs5P9qEEIrRSjGAKiA/3gyz9WiX/swKY31PksHh/c3Aw8BdIBqnLUo8jvOKkVT++0zLfHzS/YYvNX3zf95pLEfQ49ofGMXLN8a9beyUk2Gg7Dk16ep4vlPzaP2eQMtWiW9+pgVeWzi2E5rwF+vyagxsMjionOgoIVxFfE+T94wIYpPdG4TFR0YcW6H5tKri2aOYx2Qt4kQ251oik61rwGuZm9fCQQz5Qn3RHfZvqaeIaL+hLuTOWcLSliiH54dr+zmwy+/Eykx+HmSMW50U5GojdbntTIrHwByhLe5tadRvdj4kus3SyD2x3Q5+xFJ00/iLDVJIQ7wrEqk5oeqUTDETHymEXxlKKZaFgr+ue25Oj5frnqvIGTN5N0igD/KKghhsy/Dfw5MggIQWeb5fyx2b798UHjXblHgOE6nrPdvZ3eP8gXuK+0DxdQ0ok56ha/Czmm0M4fnXkCNF9KYwyIj5L1O1HUOv/4C+qwj06pkDh1x/HJIKfhD47MLnjFnrftZ6hy61JcyAsy19xQ+5JUBqkbIP3vQk/xqMDYDhghPgOoxObnEcxx2Z8aWWKSGaCUK7jSsF+N5uI3OeaAfo4VuDDnK/gk/fHil3E5mUVONZWuiM8cb2n9FfB7KW2YZ2Dti5EPCzFZhAcmSP3WjwjWezNJe2y7Wa56wzwqBZiODIHNAI2xgK7H1yftTbNMYWUTIF2WDW3hcYnMfvodZTjaduVsiCAeXL6tDaosxBy0nA78xfxqMurGvCYY48GwnONp7vHewElhvQd/CN6QhjmA

The 2017 LASER summer school (https://www.laser-foundation.org/) will be devoted to Software for Robotics. It takes place from 9 to 17 September in the exceptional setting of the Hotel del Golfo in Procchio, Elba Island, Italy.

Robotics is progressing at an amazing pace, bringing improvements to almost areas of human activity. Today’s robotics systems rely ever more fundamentally on complex software, raising difficult issues. The LASER 2016 summer school both covers the current state of robotics software technology and open problems. The lecturers are top international experts with both theoretical contributions and major practical achievements in developing robotics systems.
The LASER school is intended for professionals from the industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from the pioneers in the field. The school’s focus is applied, although theory is welcome to establish solid foundations. The format of the school favors extensive interaction between participants and speakers.

We have lined up an impressive roster of speakers from the leading edge of both industry and academia:

• Rodolphe Gélin, Aldebaran Robotics
• Ashish Kapoor, Microsoft Research
• Davide Brugali, University of Bergamo, on Managing software variability in robotic control systems
• Nenad Medvidovic, University of Southern California, on Software Architectures of Robotics Systems
• Bertrand Meyer, Politecnico di Milano & Innopolis University, on Concurrent Object-Oriented Robotics Software
• Issa Nesnas, NASA Jet Propulsion Laboratory, on Experiences from robotic software development for research and planetary flight robots

The school takes place at the magnificent Hotel del Golfo (http://www.hoteldelgolfo.it/) in the Gulf of Procchio, Elba. Along with an intensive scientific program, participants will have time to enjoy the countless natural and cultural riches of this wonderful, history-laden jewel of the Mediterranean.

For more information about the school, the speakers and registration see the LASER site at https://www.laser-foundation.org/.

-- Bertrand Meyer
Politecnico di Milano / IRIT (Univ. de Toulouse) / Innopolis

[Coq-Club] École d'été LASER : Île d'Elbe, septembre, software for robotics, Bertrand Meyer, 04/03/2017