Decisions problems about propabilistic programs over finite fields, decidability and complexity.


Date
Sep 26, 2019
Lieu
LICS'20, Annual PhD students day of the formal methods department of LORIA
Charlie Jacomme
Charlie Jacomme
PostDoc au CISPA