Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] [Call for Participation] Summer School TAROT, Clermont-Ferrand (France), July

  • Subject: [Frama-c-discuss] [Call for Participation] Summer School TAROT, Clermont-Ferrand (France), July
  • From: Julien.Signoles at cea.fr (Julien Signoles)
  • Date: Wed, 13 Mar 2019 16:59:01 +0100
-------------------------------------------------------------------------------
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
* Hector Menendez, College London University, UK, title: Diversifying 
Search and Symbolic Execution techniques for Software Testing.
* 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 at 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)