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

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

FacebookTwitterLinkedInGoogle

Link: https://tarot2019.limos.fr
 
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
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)

Related Resources

SERD 2022   2022 International Conference on Software Engineering Research & Development
SD-LLOD 2022   4th Summer Datathon on Linguistic Linked Open Data
VS3 2022   Vision and Sports Summer School 2022
LSSSC 2022   XII Lisbon Summer School for the Study of Culture - MASQUERADES
ESSLLI 2022   33rd European Summer School in Logic, Language and Information
USENIX 2022   USENIX Security 2022 : 31st USENIX Security Symposium (Summer Deadline)
Ethical & Responsible AI 2022   Practical & Comprehensive Ethical & Responsible AI Framework Development Training & Certification
Open Astronomy 2022   The Hubble Tension: Current Research and New Perspectives
ACM--ICETT--EI Compendex, Scopus 2022   ACM--2022 8th International Conference on Education and Training Technologies (ICETT 2022)--EI Compendex, Scopus
DigitalTwinsXR 2022   Exploring Synergies between the Digital Twin Paradigm and eXtended Reality (Frontiers in Virtual Reality - Research Topic)