PFIA 2024

Tutoriels

Machine Learning Meets Program Synthesis - 1

Nathanaël Fijalkow

le  mer, 14:50 ! En direct dans  B103 pendant  70min

Program synthesis is an ideal where the program is automatically generated from its specification. It has recently gained momentum thanks to the use of machine learning techniques: the goal of this tutorial is to survey this recent line of work and highlight its main challenges for the future.

 Aperçu  Programme

Types de présentations
Invitation Présentation Ateliers Tutoriels Organisation Démonstration Poster Table ronde
Légende
Invitation Prix Article long Article court Positionnement Prospection Déjà publié Communication orale Poster Démonstration Partenaire Information Table ronde Multiple Repas Apéritif Café Promenade