Bibtex, PDF, recorded presentation, slides, and story of the paper are available by clicking on the title of a research paper.

Replicate: The code is linked to the version of the project that was used in the paper.

  1. Combining Constraint Languages via Abstract Interpretation
    Pierre Talbot, David Cachera, Éric Monfroy and Charlotte Truchet
    31st IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2019)
  2. Spacetime Programming: A Synchronous Language for Composable Search Strategies
    Pierre Talbot
    21st International Symposium on Principles and Practice of Declarative Programming (PPDP 2019)
  3. Octogones entiers pour le problème RCPSP
    Pierre Talbot, David Cachera, Éric Monfroy and Charlotte Truchet
    Quinzièmes Journées Francophones de Programmation par Contraintes (JFPC 2019)
  4. Spacetime Programming: A Synchronous Language for Constraint Search
    Pierre Talbot
    Doctoral dissertation, Sorbonne University, Paris, 2018.
  5. Interactive computer-aided composition with constraints
    Pierre Talbot, Carlos Agon, and Philippe Esling
    Proceedings of the 2017 International Computer Music Conference (ICMC 2017)
  6. Langage pour la vérification de modèles par contraintes
    Pierre Talbot and Clément Poncelet
    Treizièmes Journées Francophones de Programmation par Contraintes (JFPC 2017)
  7. Search strategies as synchronous processes (extended abstract)
    Pierre Talbot
    Doctoral Program of the International Joint Conference on Artificial Intelligence (IJCAI 2017)