Skip to content

Commit

Permalink
add JFLA talk
Browse files Browse the repository at this point in the history
  • Loading branch information
zapashcanon committed Feb 1, 2025
1 parent d413cf2 commit 9bf3b1f
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -117,6 +117,7 @@ We only list proposals that reached phase 3 at least.
- april 2024: [OUPS (OCaml UserS in Paris)]
- [november 2024]: [LVP working group] day of the [GdR GPL]
- [december 2024]: Léo Andrès' PhD defense
- january 2025: [JFLA 2025]

### Spelling and pronunciation

Expand Down Expand Up @@ -172,6 +173,7 @@ This project was partly funded through the [NGI0 Core] Fund, a fund established
[december 2024]: https://www.zapashcanon.fr/phd#:~:text=after%20the%20defense.-,Defense,My%20slides%20are%20available%20here.,-%F0%9F%94%9D%20%7C%20nothing%20to%20hide
[documentation]: https://ocamlpro.github.io/owi/api/owi
[Exécution symbolique pour tous ou Compilation d'OCaml vers WebAssembly]: https://fs.zapashcanon.fr/pdf/manuscrit_these_leo_andres.pdf
[JFLA 2025]: https://jfla.inria.fr/jfla2025.html
[GdR GPL]: https://gdr-gpl.cnrs.fr/
[how to install opam]: https://opam.ocaml.org/doc/Install.html
[ICFP OCaml track]: https://icfp23.sigplan.org/home/ocaml-2023
Expand Down

0 comments on commit 9bf3b1f

Please sign in to comment.