Ecole Jeunes Chercheurs(ses) en Programmation - EJCP 2024, @GdrGPL will take place in Argelès-sur-Mer (Pyrénées-Orientales) from 17 to 21 June 2024. Registration will open soon! @mmartel66
https://t.co/Z5se6Yuqfz
Doing research on verification of scientific software? Consider submitting to the aptly-named workshop on Verification of Scientific Software, deadline Feb 1st. Relevant topics include specification and verification of GPU code and case studies on FM
https://t.co/BEdwOsJTwn
Friday was the last day of the “ice breaking” project with the IATSED24 class. This project, which aims to develop drones from A to Z right through to flight, is part of the first week of the IATSED master's program.
@Enac_iiLab
It's back to classes this week for the #IATSED24 promotion, with the week-long Ice breaking project. In this project, students will develop drones from scratch to flight. It's our second day and things are progressing well between the groups. @enacfrance@Enac_iiLab
Thursday is FPTalks 2024, the annual workshop on numerics. This year we have some exciting talks on quantization as well as great talks on bread and butter topics like verification, hardware, tools, and applications.
There's still time to register:
https://t.co/6mzNi33olM
Tomorrow I will present with @mmartel66 our paper "Efficient Implementation of Neural Networks Usual Layers on Fixed-Point Architectures" at the LCTES conference in Copenhague.
The paper is available here : https://t.co/cyUdZzSGn1
Day 4 of the EJCP: Emmanuelle Saillard, research scientist (CRCN) at Inria of the university of Bordeaux, on static and dynamic analysis of HPC applications.
@mmartel66
Day 3 of the EJCP : Caterina Urban, research scientist at INRIA research team, with a class on "Formal Methods for Machine Learning Pipelines".
@caterinaurban@mmartel66
Check out our program for the rest of the week at: https://t.co/Z5se6Yuqfz
Day 2 of the EJCP : Martin Monperrus, Professor of Software Technology at KTH Royal Institute of Technology, with a class on Automated Program Repair
@martinmonperrus@mmartel66
The program is here : https://t.co/Z5se6Yuqfz
Today is the first day of the EJCP . 29 PhD students are with us in this edition https://t.co/Z5se6Yuqfz.
The first class is on Measuring energy consumption: from hardware to software source code by @adelnoureddine@mmartel66@GdrGPL
Don't miss FPTalks 2024! Join us on July 11th for great talks on floating-point research. There's something for everybody: numerical representations, error analysis, verification, and hardware design!
Register at: https://t.co/2El3BOEtMR
Our paper " Rigorous Floating-Point to Fixed-Point
Quantization of Deep Neural Networks
on STM32 Micro-controllers" is accepted at CoDIT'24 ( IEEE 10th International Conference on Control, Decision and Information Technologies)