posted by user: sasa27 || 256 views || tracked by 1 users: [display]

TAROT 2019 : 15th International Summer School on Training And Research On Testing


When Jul 1, 2019 - Jul 5, 2019
Where Clermont Ferrand, France
Submission Deadline TBD

Call For Papers

15th International Summer School on Training And Research On Testing

University Clermont Auvergne (UCA), France

July 1-5th, 2019


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.


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.
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


*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 types, fees and details are available at
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.


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.


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 (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.


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)

Related Resources

EEML 2019   Eastern European Machine Learning Summer School
RVSS 2019   Robotic Vision Summer School
RAAI Summer School 2019   RAAI School 2019: Summer School of Russian Association for Artificial Intellgence
ADASIVA 2019   2nd National Workshop and Summer School Advances in Deep Architectures for Signal, Image and Vision Applications (ADASIVA2019)
UBISS 2019   10th International UBI Summer School 2019
SummerSoC 2019   13th Symposium and Summer School On Service-Oriented Computing, June 17 – June 23, 2019 in Crete, Greece
ISSonDL 2019   International Summer School on Deep Learning, ISSonDL 2019
PHSS 2019   Public History Summer School
SSBSS 2019   6th International Synthetic & Systems Biology Summer School