Research team in LaBRI, Bordeaux


The Synthesis team is one of the five teams in the Formal Models and Methods (M2F) department at LaBRI (Bordeaux). It gathers researchers around the Synthesis problem, which in very general term is a family of techniques aiming at automatically constructing programs (models) from their specifications.

You can sign up to the dedicated mailing list for team announcements: send an email to labri.synth-ext[@] with subject subscribe synth-ext FIRST_NAME LAST_NAME where you substitute FIRST_NAME and LAST_NAME as appropriate. Or just click here.

Weekly seminar

We meet every Wednesday at 1.30pm.


  • Program synthesis / code generation / inductive programming
  • Controller synthesis / reactive synthesis
  • Machine learning
  • Network dynamics
  • Model synthesis for biology and ecology
  • Strategy synthesis / algorithmic game theory
  • Decision making
  • Theory of social choice


  • 28/03/2024: The paper LTL learning on GPUs was accepted in CAV'24. Written by Mojtaba Valizadeh, Nathanaël Fijalkow, and Martin Berger
  • 22/03/2024: Nathanaël Fijalkow did a live coding session on LLMs, see the corresponding Github repository on LLM from scratch
  • 14/03/2024: Creation of the team


  • ANR JCJC Games4Synthesis
  • LabCom Parcoursup
  • PEPR Santé Numérique
  • ANR BNeDiction and RD2Bool
  • UB RI3 HeMaMox


Permanent members

Important members