Simon Forest
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2016–2024
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | LICS | An Analysis of Symmetry in Quantitative Semantics. | Pierre Clairambault, Simon Forest |
| 2023 | LICS | The Cartesian Closed Bicategory of Thin Spans of Groupoids. | Pierre Clairambault, Simon Forest |
| 2022 | IJCNN | Combining Manifold Learning and Neural Field Dynamics for Multimodal Fusion. | Simon Forest, Jean-Charles Quinton, Mathieu Lefort |
| 2019 | LICS | Describing free $\omega$ -categories. | Simon Forest, Samuel Mimram |
| 2016 | POPL | Dependent types and multi-monadic effects in F. | Nikhil Swamy, Catalin Hritcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cdric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean Karim Zinzindohoue, Santiago Zanella-Bguelin |