Propositions de sujets de stage
Cut elimination in focusing with selection
(niveau recommandé Master 2)
Automated CTL proofs in proof assistants
(niveau recommandé Master 2)
Combinaison des approches algébrique et "à la Hoare" : Preuve de concept
(niveau recommandé Master 2)