Six papers coauthored by IRIF members will be presented at the prestigious conference LICS'20 this summer. Topics include the semantics of probabilistic and nondeterministic programming languages, as well as extensions of the proof-program correspondence to classical logic.