OSCAR Symbolic Tools
Summer School 09/2025
Aims Exercises Participants Preparation Program Registration

Participants

  1. Aaruni Kaushik (RPTU Kaiserslautern-Landau)
  2. Anne Frühbis-Krüger (Uni Oldenburg)
  3. Claus Fieker (RPTU Kaiserslautern-Landau)
  4. David Schlang (RWTH Aachen)
  5. Ibrahim Ahmad (RWTH Aachen)
  6. Janika Peters (RWTH Aachen)
  7. Lars Göttgens (RWTH Aachen)
  8. Lena Hocke (Hannover)
  9. Leon Pernak (Universität des Saarlandes)
  10. Marco Albert (RPTU Kaiserslautern-Landau)
  11. Mattia Puddu (RWTH Aachen)
  12. Max Horn (RPTU Kaiserslautern-Landau)
  13. Silvia Properzi (Vrije Universiteit Brussel)
  14. Stefan Lippert (Uni Siegen)
  15. Till Müller (RPTU Kaiserslautern-Landau)
  16. Tobias Schnieders (Uni Tübingen / Saarland University)
  17. Veronika Körber (Uni Tübingen)
Edit this page Contact Imprint Privacy policy © 2018-2025 The OSCAR Team