École Jeunes Chercheuses et Jeunes Chercheurs en Programmation (EJCP)

L'école du GDR GPL.

CC by attribution, Matthieu Riegler

Main EJCP2025 Édition précédente (2024) About Contact

Édition 2025 (30 Juin au 04 Juillet 2025)

L’édition 2025 de l’école aura lieu à Vannes. Elle est organisée par le laboratoire IRISA, ainsi qu’avec la participation de l’UBS et l’ENSIBS.

Les frais d’inscription comprennent le logement ainsi que les repas en demi-pension (incluant petit-déjeuner à l’hôtel, déjeuner du midi ainsi que des pauses).

Pour permettre un démarrage de l’EJCP au lundi matin (30 Juin), les logements sont prévus du dimanche soir (29 Juin) jusqu’au vendredi matin (04 Juillet). Les participants et participantes (ainsi que les intervenants et intervenantes) peuvent arriver sur Vannes dès le dimanche. Pour les inscrits et inscrites, il est fort probable que que vous ayez à partager votre chambre (2 max par chambres).

Inscriptions

Les frais d’inscription incluent l’hébergement ainsi que l’ensemble des repas en demi-pension pour la durée du séjour (comprenant les petit-déjeuners, repas du midi, et pause en après-midi). Le nombre d’inscription sera limité à 40 participants et participantes au maximum.

Le tarif est unique et est fixé à 500€ par personne. Le lien pour vous inscrire est le suivant: azur-colloque. Si vous rencontrez un quelconque problème, merci de contacter l’adresse rf-irisa@univ-rennes.fr. Le système Azur génère automatiquement un devis (si paiement par bon) ou une facture (si paiement par CB).

Lieu

L’adresse de l’école est :

TBA

Les logements se situeront au :

TBA

Programme

Les cours ainsi que les TP/TD de l’après midi auront lieu sur place. Ils sont prévus de commencer le lundi 30 Juin et de se terminer Vendredi 04 Juillet à midi (le repas du Vendredi midi est cependant prévu, pour ceux et celles qui le désirent, sur place) pour permettre à chacun et chacune de se déplacer dans d’autres villes si nécessaire.

Pour les TP, les participants et participantes utiliseront leur ordinateur personnel. Nous nous engageons à communiquer aux participants et participantes tout matériel qui nous sera fourni au préalable afin que les installations puissent se faire au mieux (et éventuellement pouvoir faire remonter des difficultés d’installation ou de mise en place).

Les soirées sont laissées libres.

Voici une ébauche de programme :

Lundi 30 juin 2025

Intervenant.e.s : Sophie Quinton (Equipe Spades, Inria Grenoble) Titre et description TBA

Mardi 1er Juillet 2025

Intervenant.e.s : David Baelde et Joseph Lallemand (Equipe Spicy, IRISA, UnivRennes)

Titre : Proving Cryptographic Protocols with Squirrel

Description : Cryptographic protocols are concurrent programs that use cryptographic primitives to carry out various tasks securely. They are used to authenticate agents online, to keep digital communications secret, to ensure privacy when voting, etc. Designing and proving cryptographic protocols can be challenging, even when they are small, due to the complexity of cryptographic assumptions and the adversarial environment in which protocols execute.

This course will present a specific approach to protocol verification, embodied in the Squirrel proof assistant. It will not assume any pre-requisite in cryptography, logic or proof assistants. It will be composed of: (1) a lecture introducing cryptographic protocols and the Squirrel approach to model and reason about them; (2) a practical session during which participants will be able to take their first steps in formally proving cryptographic protocols.

Mercredi 2 Juillet 2025

Intervenant.e.s : Laure Gonnord (Equipe CTSYS, LCIS, ESISAR Valence, Grenoble INP)

Titre : sparse abstract interpretation

Description : TBA

Jeudi 3 Juillet 2025

Intervenant.e.s : Yann Orlarey (Equipe Emeraude, Inria Lyon)

Titre : Atelier de lutherie numérique avec Faust

Description : L’atelier propose une découverte ludique du langage Faust et de la programmation audio, à travers la construction d’instruments de musique numériques. Comme nous le verrons avec des exemples pratiques, Faust repose sur un calcul de circuits. Programmer en Faust consiste à construire un circuit audio par composition de circuits primitifs, selon une approche purement fonctionnelle. Le circuit résultant est ensuite compilé en une implémentation optimisée, ciblant à la fois un langage (C++, Rust, WebAssembly, LLVM, etc.) et une architecture (VST, LV2, Jack, WebAudio, etc.). Les participants auront l’occasion d’implémenter quelques techniques classiques de synthèse sonore (soustractive, additive, FM) et de traitement du signal (filtrage, délais, réverbération). Ils découvriront en parallèle comment l’approche par composition de circuits facilite l’implémentation et la combinaison de ces techniques pour créer des instruments expressifs. La séance se terminera par une jam session collective, où les participants pourront jouer les instruments qu’ils auront créés, sur smartphone ou sur ordinateur.

Vendredi 4 Juillet 2025

Intervenant.e.s : Gilles Perrouin (FNRS, UNamur, Belgique) Titre et description TBA

Comité d’organisation

Pour plus d’information concernant l’EJCP25, vous pouvez écrire à Paul (paul.temple@irisa.fr) et Jamal (jamal.el-hachem@irisa.fr).