== Internship proposals for 2023-2023 ==


Here are some internship proposals for 2023-2024: 

  * [[https://www.irif.fr/_media/users/saurin/teaching/lmfi/internship-proposals-2023/sujet-gio.pdf|Testing preorders for asynchronous processes]], by Giovanni Bernardi, IRIF, Paris
  * [[https://www.irif.fr/_media/users/saurin/teaching/lmfi/internship-proposals-2023/sujet-raph.pdf|Behavioural Distances for Higher-Order Languages with Continuous Probabilities]], by Raphaëlle Crubillé, LIS, Marseille
  * [[https://www.irif.fr/_media/users/saurin/teaching/lmfi/internship-proposals-2023/internship_proposal_2024-nofar-carmeli.pdf|Fine-Grained Complexity of Query Answering]], by Nofar Carmeli, LIRMM, Montpellier
  * [[https://www.irif.fr/_media/users/saurin/teaching/lmfi/internship-proposals-2023/internship-proposal-carral.pdf|Reasoning over Bounded First-Order Logic Ontologies]], by David Carral, LIRMM, Montpellier
  * [[https://www.irif.fr/_media/users/saurin/teaching/lmfi/internship-proposals-2023/stage-chouquet.pdf|Consommation de ressources par les programmes réactifs fonctionnels]], by Jules Chouquet, LIFO, Orléans