Here are some internship proposals for 2023-2024:

• Testing preorders for asynchronous processes, by Giovanni Bernardi, IRIF, Paris
• Behavioural Distances for Higher-Order Languages with Continuous Probabilities, by Raphaëlle Crubillé, LIS, Marseille
• Fine-Grained Complexity of Query Answering, by Nofar Carmeli, LIRMM, Montpellier
• Reasoning over Bounded First-Order Logic Ontologies, by David Carral, LIRMM, Montpellier
• Consommation de ressources par les programmes réactifs fonctionnels, by Jules Chouquet, LIFO, Orléans