La XXVIII° édition des journées FAC aura lieu les 5 et 6 avril 2023 à l’ISAE, bâtiment 61, amphithéâtre 4.
Ces journées sont organisées par le groupe IFSE du RTRA STAE avec un soutien spécial de l’INSA Toulouse, de l’ISAE, de l’ONERA, et de l’Université Toulouse III, Paul Sabatier.
Conférenciers invités
Cette année nos conférenciers invités sont:
- Mathieu Martel : (LAMPS, Univ. Perpignan) Matrix Computations: In Seek of Frugality
Frugal computing is becoming an important topic for environmental reasons. In this context, several techniques have been proposed to reduce the storage of scientific data by dedicated compression methods specially tailored for arrays of floating-point numbers. While these techniques are quite efficient to save memory, they introduce additional computations to com- press and decompress data before processing them. In this article, we introduce a new lossy, fixed-rate compression technique for 2D-arrays of floating-point numbers which allows one to compute directly on the compressed data, without decompressing them. We obtain important speedups since less operations are needed to compute among the compressed data and since no decompression and re-compression is needed. More precisely, our technique makes it possible to perform basic linear algebra operations such as addition, multiplication by a constant among compressed matrices and dot product and matrix multiplication among partly uncompressed matrices. This work has been implemented into a tool named blaz and we present a comparison with the well- known compressor zfp in terms of execution-time and accuracy.
- Jean-Christophe Filliâtre (LMF, Univ. Paris-Saclay): Why3, une plateforme pour la vérification déductive
Dans cet exposé, nous présentons l’outil Why3, une plateforme pour la vérification déductive de programmes développée au Laboratoire Méthodes Formelles (Université Paris-Saclay, CNRS, ENS Paris-Saclay / Inria Saclay). Cette plateforme est utilisée dans les milieux académiques et industriels pour la vérification d’algorithmes, de codes écrits dans langages tels que C, Ada ou OCaml, ou encore la vérification de protocoles cryptographiques. La plateforme Why3 est également exploitée pour enseigner la vérification de programmes. Cet exposé met en avant les atouts de la plateforme Why3 et décrit le cœur de métier de son équipe de développement.
Dates importantes
| Étape | Date |
|---|---|
| Déclaration d’intention avec résumé : | 17 février 2023 |
| Soumission de l’article complet : | 24 février |
| Notification d’acceptation : | 17 mars |
| Version finale de l’article : | 31 mars |
| Journées FAC: | 5-6 avril - ISAE SupAero |
À propos des journées FAC
La « formalisation des activités concurrentes » constitue un thème majeur de l’informatique, et fait l’objet de nombreux travaux de recherche et de développement, aussi bien au niveau national qu’international.
Au niveau local, ce thème est traité par le groupe de travail IFSE du RTRA STAE, et par les équipes de plusieurs laboratoires toulousains: IRIT-CNRS-UPS-INPT, LAAS-CNRS, ONERA.
Le groupe IFSE, précédemment groupe SVF de la fédération CNRS FéRIA, organise entre autres les journées FAC. Ces journées ont pour objet de présenter des travaux toulousains sur le thème de la « formalisation des activités concurrentes » : méthodes, techniques d’analyse, environnements logiciels reposant sur des bases formelles et assistant la spécification, la conception, le développement et la mise au point de systèmes réactifs, répartis et coopératifs, de réseaux de communication, de systèmes critiques…
À bientôt aux journées FAC.
Jean-Paul Bodeveix, Julien Brunel, Silvano Dal Zilio, Mamoun Filali, Christophe Garion, Didier Le Botlan, Iulian Ober, Marc Pantel, Célia Picard, Philippe Quéinnec, Jean-Baptiste Raclet, Pierre Roux, Matthieu Roy, Pascal Sotin.