• Sign in
  • Sign up
conf.researchr.org / Sophie Tourret
  • POPL 2021 profile
  • POPL 2022 profile
  • POPL 2026 profile

Registered user since Tue 12 Jan 2021

Name:Sophie Tourret
Affiliation:Max Planck Institute for Informatics

Contributions

2026

CPP

  • Committee Member in Program Committee within the CPP 2026-track

2022

CPP

  • Committee Member in Program Committee within the CPP 2022-track

2021

CPP

  • Author of A Modular Isabelle Framework for Verifying Saturation Provers within the CPP 2021-track
Share
xSat 12 Jul 09:07
using conf.researchr.org (v1.69.1)
Support page
Sign Up