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

Name: Decisions problems about propabilistic programs over finite fields, decidability and complexity.
Start: 2019-09-26T00:00:00Z
Location: LICS'20, Annual PhD students day of the formal methods department of LORIA