Synthesis
Research team in LaBRI, Bordeaux
Presentation
You can sign up to the dedicated mailing list for team announcements: send an email to labri.synth-ext[@]diff.u-bordeaux.fr 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
Keywords
- 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
News
- 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
Projects
- ANR JCJC Games4Synthesis
- PEPR IA SAIF
- LabCom Parcoursup
- PEPR Santé Numérique
- ANR BNeDiction and RD2Bool
- UB RI3 HeMaMox