Internship proposals for 2023-2023
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