-------------------------------------------------------------------------------
15th International Summer School on Training And Research On Testing

University Clermont Auvergne (UCA), France

July 1-5th, 2019
https://tarot2019.limos.fr
-------------------------------------------------------------------------------

SCOPE

TAROT (Training And Research On Testing) is summer school that brings together people concerned by software testing and related areas. It provides a friendly environment for students to interact with practitioners and leaders in research both in academia and in industry.
The program includes 5 sessions on Verification/testing, RV/Passive-testing, Security, Software quality and
an Industrial session. Besides, all the students will be encouraged to present their work to receive feedback.

The Summer School is organized by the University Clermont Auvergne and the LIMOS lab. It will be held in Clermont-Ferrand, France.


VENUE

TAROT 2019 will be hosted in Clermont-Ferrand "the City on a Volcano". Clermont-Ferrand is the natural gateway to the vast Massif Central territory and has a strategic position in the centre of France at the crossroads of Europe.
The capital of the Auvergne region has exceptional surroundings, between the Chaîne des Puys Mountain Range and its volcanoes, majestically overlooked by the famous Puy de Dôme, and the former battlefield of Gergovia where Vercingétorix defeated Cæsar. The Chaîne des Puys (80 dormant volcanoes) has been granted World Heritage status by Unesco. The chain of volcanoes becomes mainland France's first natural Heritage site. It is worth noting that Clermont Ferrand is also the town of Michelin, the Bibendum multinational, whose famous guides open up the world to so many tourists.

The School will take place in the University campus next to the LIMOS laboratory, very close to the city center.
[https://tinyurl.com/yar68ej7]
The nearest international airport is Clermont-Ferrand Auvergne Airport (French: Aéroport de Clermont-Ferrand Auvergne) (IATA: CFE, ICAO: LFLC). It is located 6.7 km (3.6 nautical miles) east of the city. The airport is connected to Clermont Ferrand by taxi and intercity buses.
More directions at https://tarot2019.limos.fr/?venue.


CONFIRMED SPEAKERS

*Ana Paiva, Faculty of Engineering, University of Porto, Portugal, title: Model Based GUI Testing
*Timothy Griffin, University of Cambridge, UK
*Francisco Palomo-Lozano, University of Cádiz, Spain, title: Formal verification with ACL2
*Julien Signoles, CEA LIST, France, title: Runtime Verification of Safety and Security Properties of C Programs with E-ACSL
*Wissam Mallouli, Montimage, France
*Yliès Falcone, INRIA Grenoble, France, title: Introduction to Runtime Verification and Runtime Enforcement
*Pascal Lafourcade, University Clermont Auvergne, France title: Verification Tools for Cryptographic Protocols
*Laurent Mounier University Grenoble Alpes, Verimag, France, title: Checking the robustness of a software against fault-injection ?
*Sebastien Bardin, Software Safety & Security Lab, CEA, France, title: Toward automated (low-level) vulnerability analysis -- Cyber Grand Challenge and beyond
*Cédric Bouhours, University Clermont Auvergne, France
*Hervé Leblanc, Toulouse University, France


REGISTRATION

Registration types, fees and details are available at https://tarot2019.limos.fr/?registration.
Early registration is available at a substantial discount by April 20. There will be a limited number of grants available to (partially) cover the registration fees for graduate students. We also propose cheap rooms on the Campus. See the web site for more information.

Registration fees include:

* Attendance to courses.
* Lunches from Monday July 1 to Friday July 5
* Coffee breaks.
* Visit and Gala Dinner.

STUDENT PRESENTATIONS

Students are strongly encouraged to briefly introduce their work at the Students' presentation sessions.
While the registration process, the students should confirm that they intend to present a short talk by providing a talk title.

GRANTS

As a priority, full-time students coming from a low-income country or from institutions sending more than one student will be considered. Grant applications will be assessed in strict first-come first-served order.
If you want to apply for a grant, please, send an e-mail to the organizing committee at etarot2018@gmail.com (subject: Grant Application) by April 2, 2019. Please, indicate your situation and provide a brief description of yourself and your work, including verifiable links. We will answer by April 15 and, if a grant is given, you will be required to complete your registration by April 20, 2019.


ORGANIZATION

Steering Committee

* Ana Cavalli (TELECOM SudParis, France)
* Robert Hierons (Brunel University, United Kingdom)
* Manuel Núñez (Universidad Complutense de Madrid, Spain)

Organizing Committee

*Cédric Bouhours, Université Clermont Auvergne, France
*Pascal Lafourcade, Université Clermont Auvergne, France
*Patrice Laurençot, Université Clermont Auvergne, France
*Antoine Rollet, Bordeaux INP / Université de Bordeaux, France
*Sébastien Salva, Université Clermont Auvergne, France (Chair)