OSCAR Symbolic Tools
OSCAR Coding Sprint 03/2025
Participants Program

Participants

  1. Albin Ahlbäck (LIX, CNRS, École Polytechnique)
  2. Anne Frühbis-Krüger (remote) (Uni Oldenburg)
  3. Antony Della Vecchia (TU Berlin)
  4. Berenike Dieterle (RPTU Kaiserslautern-Landau)
  5. Christian Eder (RPTU Kaiserslautern-Landau)
  6. Claus Fieker (RPTU Kaiserslautern-Landau)
  7. James Nohilly (RPTU Kaiserslautern-Landau)
  8. Janko Böhm (RPTU Kaiserslautern-Landau)
  9. John Abbott (RPTU Kaiserslautern-Landau)
  10. Martin Bies (RPTU Kaiserslautern-Landau)
  11. Martin Wagner (RPTU Kaiserslautern-Landau)
  12. Matthias Zach (RPTU Kaiserslautern-Landau)
  13. Max Horn (RPTU Kaiserslautern-Landau)
  14. Miķelis Emīls Miķelsons (RPTU Kaiserslautern-Landau)
  15. Morgan Rodgers (RPTU Kaiserslautern-Landau)
  16. Oliver Clarke (Durham University)
  17. Thomas Breuer (RWTH Aachen)
  18. Tommy Hofmann (University of Siegen)
  19. Yue Ren (remote) (Durham University)

Edit this page Contact Imprint Privacy policy Supported by SFB-TRR 195 © 2018-2025 The OSCAR Team